| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A distributed logic for Networked Cyber-Physical Systems
|
Kim, Minyoung
|
|
2013
|
141-142 |
12 |
p. 2453-2467
15 p.
|
artikel
|
| 2 |
A framework for evolution of modelling languages
|
Meyers, Bart
|
|
2011
|
141-142 |
12 |
p. 1223-1246
24 p.
|
artikel
|
| 3 |
An analysis of unit tests of a flight software product line
|
Ganesan, Dharmalingam
|
|
2013
|
141-142 |
12 |
p. 2360-2380
21 p.
|
artikel
|
| 4 |
An open implementation for context-oriented layer composition in ContextJS
|
Lincke, Jens
|
|
2011
|
141-142 |
12 |
p. 1194-1209
16 p.
|
artikel
|
| 5 |
Applying a dynamic threshold to improve cluster detection of LSI
|
van der Spek, Pieter
|
|
2011
|
141-142 |
12 |
p. 1261-1274
14 p.
|
artikel
|
| 6 |
Architecting automotive product lines: Industrial practice
|
Eklund, Ulrik
|
|
2013
|
141-142 |
12 |
p. 2347-2359
13 p.
|
artikel
|
| 7 |
A resource-efficient event algebra
|
Carlson, Jan
|
|
2010
|
141-142 |
12 |
p. 1215-1234
20 p.
|
artikel
|
| 8 |
A system for compositional verification of asynchronous objects
|
Ahrendt, Wolfgang
|
|
2012
|
141-142 |
12 |
p. 1289-1309
21 p.
|
artikel
|
| 9 |
A text-based approach to feature modelling: Syntax and semantics of TVL
|
Classen, Andreas
|
|
2011
|
141-142 |
12 |
p. 1130-1143
14 p.
|
artikel
|
| 10 |
A top-down strategy to reverse architecting execution views for a large and complex software-intensive system: An experience report
|
Callo Arias, Trosky B.
|
|
2011
|
141-142 |
12 |
p. 1098-1112
15 p.
|
artikel
|
| 11 |
Author index of Volume 75
|
|
|
2010
|
141-142 |
12 |
p. 1270-1274
5 p.
|
artikel
|
| 12 |
Compositional reasoning for weighted Markov decision processes
|
Deng, Yuxin
|
|
2013
|
141-142 |
12 |
p. 2537-2579
43 p.
|
artikel
|
| 13 |
Context-dependent product line engineering with lightweight formal approaches
|
Ubayashi, Naoyasu
|
|
2013
|
141-142 |
12 |
p. 2331-2346
16 p.
|
artikel
|
| 14 |
Defining variability in activity diagrams and Petri nets
|
Heuer, André
|
|
2013
|
141-142 |
12 |
p. 2414-2432
19 p.
|
artikel
|
| 15 |
Diagnosing and correcting design inconsistencies in source code with logical abduction
|
Castro, Sergio
|
|
2011
|
141-142 |
12 |
p. 1113-1129
17 p.
|
artikel
|
| 16 |
Efficient deadlock analysis of component-based software architectures
|
Lambertz, Christian
|
|
2013
|
141-142 |
12 |
p. 2488-2510
23 p.
|
artikel
|
| 17 |
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
|
Hwong, Yi Ling
|
|
2013
|
141-142 |
12 |
p. 2435-2452
18 p.
|
artikel
|
| 18 |
From extended feature models to constraint logic programming
|
Karataş, Ahmet Serkan
|
|
2013
|
141-142 |
12 |
p. 2295-2312
18 p.
|
artikel
|
| 19 |
Fundamentals of Software Engineering (selected papers of FSEN 2011)
|
Arbab, Farhad
|
|
2013
|
141-142 |
12 |
p. 2433-2434
2 p.
|
artikel
|
| 20 |
Incompleteness of relational simulations in the blocking paradigm
|
Boiten, Eerke
|
|
2010
|
141-142 |
12 |
p. 1262-1269
8 p.
|
artikel
|
| 21 |
MobiLine: A Nested Software Product Line for the domain of mobile and context-aware applications
|
Marinho, Fabiana G.
|
|
2013
|
141-142 |
12 |
p. 2381-2398
18 p.
|
artikel
|
| 22 |
Modal event-clock specifications for timed component-based design
|
Bertrand, Nathalie
|
|
2012
|
141-142 |
12 |
p. 1212-1234
23 p.
|
artikel
|
| 23 |
Multifunctional software systems: Structured modeling and specification of functional requirements
|
Broy, Manfred
|
|
2010
|
141-142 |
12 |
p. 1193-1214
22 p.
|
artikel
|
| 24 |
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
|
Barnat, Jiří
|
|
2012
|
141-142 |
12 |
p. 1272-1288
17 p.
|
artikel
|
| 25 |
On the specification of modal systems: A comparison of three frameworks
|
Aceto, Luca
|
|
2013
|
141-142 |
12 |
p. 2468-2487
20 p.
|
artikel
|
| 26 |
Predicting the maintainability of XSL transformations
|
Karus, Siim
|
|
2011
|
141-142 |
12 |
p. 1161-1176
16 p.
|
artikel
|
| 27 |
Preface to the special issue on software evolution, adaptability and variability
|
Zaidman, Andy
|
|
2011
|
141-142 |
12 |
p. 1075-1077
3 p.
|
artikel
|
| 28 |
Prototyping Dynamic Software Product Lines to evaluate run-time reconfigurations
|
Cetina, Carlos
|
|
2013
|
141-142 |
12 |
p. 2399-2413
15 p.
|
artikel
|
| 29 |
Reachability analysis of complex planar hybrid systems
|
Hansen, Hallstein A.
|
|
2013
|
141-142 |
12 |
p. 2511-2536
26 p.
|
artikel
|
| 30 |
Scoping strategies for distributed aspects
|
Tanter, Éric
|
|
2010
|
141-142 |
12 |
p. 1235-1261
27 p.
|
artikel
|
| 31 |
Software product lines (SPLC 2010)
|
Bosch, Jan
|
|
2013
|
141-142 |
12 |
p. 2293-2294
2 p.
|
artikel
|
| 32 |
Special issue: International Conference on Formal Engineering Methods—ICFEM 2009
|
Cavalcanti, Ana
|
|
2012
|
141-142 |
12 |
p. 1211-
1 p.
|
artikel
|
| 33 |
Studying software evolution using artefacts’ shared information content
|
Arbuckle, Tom
|
|
2011
|
141-142 |
12 |
p. 1078-1097
20 p.
|
artikel
|
| 34 |
Supporting simultaneous versions for software evolution assessment
|
Laval, Jannik
|
|
2011
|
141-142 |
12 |
p. 1177-1193
17 p.
|
artikel
|
| 35 |
Supporting software evolution in component-based FOSS systems
|
Di Cosmo, Roberto
|
|
2011
|
141-142 |
12 |
p. 1144-1160
17 p.
|
artikel
|
| 36 |
The transformation of requirements into software primitives: Studying evolvability based on systems theoretic stability
|
Mannaert, Herwig
|
|
2011
|
141-142 |
12 |
p. 1210-1222
13 p.
|
artikel
|
| 37 |
Unifying design and runtime software adaptation using aspect models
|
Parra, Carlos
|
|
2011
|
141-142 |
12 |
p. 1247-1260
14 p.
|
artikel
|
| 38 |
Using MDA for integration of heterogeneous components in software supply chains
|
Hartmann, Herman
|
|
2013
|
141-142 |
12 |
p. 2313-2330
18 p.
|
artikel
|
| 39 |
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
|
Bae, Kyungmin
|
|
2012
|
141-142 |
12 |
p. 1235-1271
37 p.
|
artikel
|
Tijdschrift beschrijving