nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
ACCo: a novel approach to measure cohesion using hierarchical slicing of Java programs
|
Panda, S. |
|
2015 |
|
4 |
p. 243-260 |
artikel |
2 |
A comparative analysis between two techniques for the prediction of software defects: fuzzy and statistical linear regression
|
Valles-Barajas, Fernando |
|
2015 |
|
4 |
p. 277-287 |
artikel |
3 |
Adding flexibility to workflows through incremental planning
|
Fernandes, Abilio |
|
2007 |
|
4 |
p. 291-302 |
artikel |
4 |
Advances in modeling, verification and testing of safety-critical software architectures
|
Ait Wakrime, Abderrahim |
|
|
|
4 |
p. 483-484 |
artikel |
5 |
A dynamic capture–recapture model for software defect prediction
|
Bucholz, Robert |
|
2009 |
|
4 |
p. 265-270 |
artikel |
6 |
A dynamic model for short-term prediction of stream attributes
|
Misra, Sumit |
|
2017 |
|
4 |
p. 261-269 |
artikel |
7 |
A formal nethod (a networked formal method)
|
Breuer, Peter T. |
|
2010 |
|
4 |
p. 255-268 |
artikel |
8 |
A framework for business process modeling by QoS-based pruning
|
Deb, Dipankar |
|
2017 |
|
4 |
p. 271-278 |
artikel |
9 |
A generic framework: from modeling to code
|
Méry, Dominique |
|
2011 |
|
4 |
p. 227-235 |
artikel |
10 |
Agile knowledge management: a survey of Indian perceptions
|
Singh, Amitoj |
|
2014 |
|
4 |
p. 297-315 |
artikel |
11 |
A hybrid one-class rule learning approach based on swarm intelligence for software fault prediction
|
Abdi, Yousef |
|
2015 |
|
4 |
p. 289-301 |
artikel |
12 |
ALF formal
|
Perseil, Isabelle |
|
2011 |
|
4 |
p. 325-326 |
artikel |
13 |
A model-driven approach for the generation of configurations for highly available software systems
|
Salehi, Pejman |
|
2018 |
|
4 |
p. 273-307 |
artikel |
14 |
Analysis of object-oriented software reliability model development
|
Schneidewind, Norman F. |
|
2009 |
|
4 |
p. 243-253 |
artikel |
15 |
Applying analytical hierarchy process to system quality requirements prioritization
|
Kassab, Mohamad |
|
2015 |
|
4 |
p. 303-312 |
artikel |
16 |
A proposal for extending UML-B to support a conceptual model
|
Sousa, Thiago C. de |
|
2011 |
|
4 |
p. 293-301 |
artikel |
17 |
A requirements engineering process for control engineering software
|
Valles-Barajas, Fernando |
|
2007 |
|
4 |
p. 217-227 |
artikel |
18 |
A second look at Faster, Better, Cheaper
|
El-Rawas, Oussama |
|
2010 |
|
4 |
p. 319-335 |
artikel |
19 |
A semiautomatic approach for segmentation of carotid vasculature from patients’ CTA images
|
Guha, Indranil |
|
2017 |
|
4 |
p. 243-250 |
artikel |
20 |
A statistical study of the relevance of lines of code measures in software projects
|
Barb, Adrian S. |
|
2014 |
|
4 |
p. 243-260 |
artikel |
21 |
Automated classification of software issue reports using machine learning techniques: an empirical study
|
Pandey, Nitish |
|
2017 |
|
4 |
p. 279-297 |
artikel |
22 |
Awas: AADL information flow and error propagation analysis framework
|
Thiagarajan, Hariharan |
|
|
|
4 |
p. 485-504 |
artikel |
23 |
Bootstrap aggregation ensemble learning-based reliable approach for software defect prediction by using characterized code feature
|
Suresh Kumar, P. |
|
|
|
4 |
p. 355-379 |
artikel |
24 |
Bridging the gap between test cases and requirements by abstract testing
|
Merz, Florian |
|
2015 |
|
4 |
p. 233-242 |
artikel |
25 |
Code-based prioritization: a pre-testing effort to minimize post-release failures
|
Ray, Mitrabinda |
|
2012 |
|
4 |
p. 279-292 |
artikel |
26 |
Combining UML, ASTD and B for the formal specification of an access control filter
|
Milhau, J. |
|
2011 |
|
4 |
p. 303-313 |
artikel |
27 |
Component meets service: what does the mongrel look like?
|
Krämer, Bernd J. |
|
2008 |
|
4 |
p. 385-394 |
artikel |
28 |
Computer-aided discovery of formal specification behavioral requirements and requirement to implementation mappings
|
Drusinsky, Doron |
|
2014 |
|
4 |
p. 271-281 |
artikel |
29 |
Connecting research and practice: an experience report on research infusion with software architecture visualization and evaluation
|
Lindvall, Mikael |
|
2010 |
|
4 |
p. 255-277 |
artikel |
30 |
Constrained permutation-based test scenario generation from concurrent activity diagrams
|
Shirole, Mahesh |
|
|
|
4 |
p. 343-353 |
artikel |
31 |
Copilot: monitoring embedded systems
|
Pike, Lee |
|
2013 |
|
4 |
p. 235-255 |
artikel |
32 |
Coupling-based transformations of Z specifications into UML diagrams
|
Bollin, Andreas |
|
2011 |
|
4 |
p. 283-292 |
artikel |
33 |
Deliberative, search-based mitigation strategies for model-based software health management
|
Mahadevan, Nagabhushan |
|
2013 |
|
4 |
p. 293-318 |
artikel |
34 |
Development of an automated MBT toolchain from UML/SysML models
|
Lasalle, Jonathan |
|
2011 |
|
4 |
p. 247-256 |
artikel |
35 |
Effective identifier names for comprehension and memory
|
Lawrie, Dawn |
|
2007 |
|
4 |
p. 303-318 |
artikel |
36 |
Enumerating message paths for interaction testing of object-oriented systems
|
Kundu, Debasish |
|
2015 |
|
4 |
p. 279-301 |
artikel |
37 |
Eventual consensus in Synod: verification using a failure-aware actor model
|
Paul, Saswata |
|
|
|
4 |
p. 395-410 |
artikel |
38 |
Extending interactive data language with higher-order functions
|
Kneusel, Ronald T. |
|
2008 |
|
4 |
p. 329-339 |
artikel |
39 |
Finding the optimal parameters for a software reliability model
|
Schneidewind, Norman F. |
|
2007 |
|
4 |
p. 319-332 |
artikel |
40 |
Formal approach to fault diagnosis in distributed discrete event systems with OBDD
|
Xue, Fei |
|
2007 |
|
4 |
p. 259-267 |
artikel |
41 |
Formally verified bundling and appraisal of evidence for layered attestations
|
Petz, Adam |
|
|
|
4 |
p. 411-426 |
artikel |
42 |
Formal model-driven executable DSLs
|
Idani, Akram |
|
|
|
4 |
p. 543-566 |
artikel |
43 |
Formal object-oriented development of a voting system test oracle
|
Gibson, J. Paul |
|
2011 |
|
4 |
p. 237-245 |
artikel |
44 |
Formal verification and validation of run-to-completion style state charts using Event-B
|
Morris, K. |
|
|
|
4 |
p. 523-541 |
artikel |
45 |
Formal verification of components assembly based on SysML and interface automata
|
Chouali, Samir |
|
2011 |
|
4 |
p. 265-274 |
artikel |
46 |
Formal verification of SysML diagram using case studies of real-time system
|
Ali, Sajjad |
|
2018 |
|
4 |
p. 245-262 |
artikel |
47 |
From algebraic semantics to denotational semantics for Verilog
|
Zhu, Huibiao |
|
2008 |
|
4 |
p. 341-360 |
artikel |
48 |
FTFL: A Fisher’s test-based approach for fault localization
|
Dutta, Arpita |
|
|
|
4 |
p. 381-405 |
artikel |
49 |
Fully employing software inspections data
|
Shull, Forrest |
|
2010 |
|
4 |
p. 243-254 |
artikel |
50 |
Genesys: service-oriented construction of property conform code generators
|
Jörges, Sven |
|
2008 |
|
4 |
p. 361-384 |
artikel |
51 |
Institutionalising UML 2.0 state machines
|
Calegari, Daniel |
|
2011 |
|
4 |
p. 315-323 |
artikel |
52 |
Integrating runtime verification into an automated UAS traffic management system
|
Hammer, Abigail |
|
|
|
4 |
p. 567-580 |
artikel |
53 |
Introduction to special issue on ‘intelligent computing and adaptive systems’
|
Pathan, Al-Sakib Khan |
|
2017 |
|
4 |
p. 241-242 |
artikel |
54 |
Introduction to special issue: papers from UML&FM’2011
|
Perseil, I. |
|
2011 |
|
4 |
p. 225-226 |
artikel |
55 |
Linking denotational semantics with operational semantics for web services
|
Zhu, Huibiao |
|
2010 |
|
4 |
p. 283-298 |
artikel |
56 |
Maintaining the health of software monitors
|
Person, Suzette |
|
2013 |
|
4 |
p. 257-269 |
artikel |
57 |
Making a concolic tester achieve increased MC/DC
|
Godboley, Sangharatna |
|
2016 |
|
4 |
p. 319-332 |
artikel |
58 |
Mapping of improvement models as a risk reduction strategy: a theoretical comparison for the aerospace industry
|
Eito-Brun, Ricardo |
|
2014 |
|
4 |
p. 283-295 |
artikel |
59 |
Matching object catalogues
|
Leme, Luiz André P. |
|
2008 |
|
4 |
p. 315-328 |
artikel |
60 |
Measuring and specifying combinatorial coverage of test input configurations
|
Kuhn, D. Richard |
|
2015 |
|
4 |
p. 249-261 |
artikel |
61 |
Model-based engineering for change-tolerant systems
|
Bohner, Shawn |
|
2007 |
|
4 |
p. 237-257 |
artikel |
62 |
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems
|
Hachicha, Marwa |
|
|
|
4 |
p. 505-521 |
artikel |
63 |
Multi-objective test prioritization via a genetic algorithm
|
Ray, Mitrabinda |
|
2014 |
|
4 |
p. 261-270 |
artikel |
64 |
Online shielding for reinforcement learning
|
Könighofer, Bettina |
|
|
|
4 |
p. 379-394 |
artikel |
65 |
Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies
|
Apel, Sven |
|
2007 |
|
4 |
p. 281-289 |
artikel |
66 |
Product backlog rating: a case study on measuring test quality in scrum
|
Kayes, Imrul |
|
2016 |
|
4 |
p. 303-317 |
artikel |
67 |
PTSC: probability, time and shared-variable concurrency
|
Zhu, Huibiao |
|
2009 |
|
4 |
p. 271-284 |
artikel |
68 |
QoS-oriented design of embedded systems with specification PEARL
|
Gumzej, Roman |
|
2007 |
|
4 |
p. 269-279 |
artikel |
69 |
Quantifying security threats and their potential impacts: a case study
|
Aissa, Anis Ben |
|
2010 |
|
4 |
p. 269-281 |
artikel |
70 |
Reasoning about software using metrics and expert opinion
|
Ahmad, Norita |
|
2007 |
|
4 |
p. 229-235 |
artikel |
71 |
Regularity and quantification: a new approach to verify distributed protocols
|
Goel, Aman |
|
|
|
4 |
p. 359-377 |
artikel |
72 |
Requirements-based execution time prediction of a partitioned real-time system using I/O and SLOC estimates
|
Prokop, Loraine E. |
|
2012 |
|
4 |
p. 309-320 |
artikel |
73 |
SCRUB: a tool for code reviews
|
Holzmann, Gerard J. |
|
2010 |
|
4 |
p. 311-318 |
artikel |
74 |
Selected extended papers of NFM 2021
|
Dutle, Aaron |
|
|
|
4 |
p. 337-338 |
artikel |
75 |
Service substitutability analysis based on behavior automata
|
Ren, Hongmin |
|
2012 |
|
4 |
p. 301-308 |
artikel |
76 |
Shared memory implementation and performance analysis of LSB steganography based on chaotic tent map
|
Gambhir, Gaurav |
|
|
|
4 |
p. 333-342 |
artikel |
77 |
SLDG: a metamodel for Simulink/Stateflow models and its applications
|
Prasad, Shambhu |
|
2015 |
|
4 |
p. 263-278 |
artikel |
78 |
Small multiples Euler-time diagrams for software engineering
|
Sathiyanarayanan, Mithileysh |
|
2017 |
|
4 |
p. 299-307 |
artikel |
79 |
Software architectural patterns in practice: an empirical study
|
Kassab, Mohamad |
|
2018 |
|
4 |
p. 263-271 |
artikel |
80 |
Software health management
|
Dubey, Abhishek |
|
2013 |
|
4 |
p. 217 |
artikel |
81 |
Software health management: a necessity for safety critical systems
|
Srivastava, Ashok N. |
|
2013 |
|
4 |
p. 219-233 |
artikel |
82 |
Software health management with Bayesian networks
|
Schumann, Johann |
|
2013 |
|
4 |
p. 271-292 |
artikel |
83 |
Software monitoring through formal specification animation
|
Liang, Hui |
|
2009 |
|
4 |
p. 231-241 |
artikel |
84 |
Specification decomposition for reactive synthesis
|
Finkbeiner, Bernd |
|
|
|
4 |
p. 339-357 |
artikel |
85 |
State of practice in requirements engineering: contemporary data
|
Kassab, Mohamad |
|
2014 |
|
4 |
p. 235-241 |
artikel |
86 |
TelePatch: a middle layer for screening device fragmentation
|
Mishra, R. K. |
|
2017 |
|
4 |
p. 251-259 |
artikel |
87 |
Test data generation for web application using a UML class diagram with OCL constraints
|
Fujiwara, Shoichiro |
|
2011 |
|
4 |
p. 275-282 |
artikel |
88 |
The network of faults: a complex network approach to prioritize test cases for regression testing
|
Kayes, Imrul |
|
2015 |
|
4 |
p. 261-275 |
artikel |
89 |
Transference and retrieval of voice message over low signal strength in satellite communication
|
Khan, Muhammad Fahad |
|
2012 |
|
4 |
p. 293-299 |
artikel |
90 |
UML/SysML semantic tunings
|
Ober, Ileana |
|
2011 |
|
4 |
p. 257-264 |
artikel |
91 |
Use of a lightweight formal method to model the static aspects of state machines
|
Valles-Barajas, Fernando |
|
2009 |
|
4 |
p. 255-264 |
artikel |
92 |
Use of a multidimensional approach to study the evolution of software complexity
|
Sangwan, Raghvinder S. |
|
2010 |
|
4 |
p. 299-310 |
artikel |
93 |
Using adaptive scheduling for increased resiliency in passive asynchronous replication
|
Adams, Kevin |
|
2007 |
|
4 |
p. 333-344 |
artikel |