| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A basis for compositionally ensuring safety properties and its connection to relational algebraic operators
|
Majster-Cederbaum, Mila
|
|
2015
|
141-142 |
P4 |
p. 516-530
15 p.
|
artikel
|
| 2 |
A graph mining approach for detecting identical design structures in object-oriented design models
|
Tekin, Umut
|
|
2014
|
141-142 |
P4 |
p. 406-425
20 p.
|
artikel
|
| 3 |
An insight into the dispersion of changes in cloned and non-cloned code: A genealogy based empirical study
|
Mondal, Manishankar
|
|
2014
|
141-142 |
P4 |
p. 445-468
24 p.
|
artikel
|
| 4 |
An integrated framework for adapting WS-BPEL scenario execution using QoS and collaborative filtering techniques
|
Margaris, D.
|
|
2015
|
141-142 |
P4 |
p. 707-734
28 p.
|
artikel
|
| 5 |
A perspective on architectural re-engineering
|
Sanchez, Alejandro
|
|
2015
|
141-142 |
P4 |
p. 764-784
21 p.
|
artikel
|
| 6 |
Approximate by thinning: Deriving fully polynomial-time approximation schemes
|
Mu, Shin-Cheng
|
|
2015
|
141-142 |
P4 |
p. 484-515
32 p.
|
artikel
|
| 7 |
A survey of grammatical inference in software engineering
|
Stevenson, Andrew
|
|
2014
|
141-142 |
P4 |
p. 444-459
16 p.
|
artikel
|
| 8 |
A tutorial on metamodelling for grammar researchers
|
Paige, Richard F.
|
|
2014
|
141-142 |
P4 |
p. 396-416
21 p.
|
artikel
|
| 9 |
Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions
|
Shahbaz, Muzammil
|
|
2015
|
141-142 |
P4 |
p. 405-425
21 p.
|
artikel
|
| 10 |
CD-Form: A clone detector based on formal methods
|
Cuomo, Antonio
|
|
2014
|
141-142 |
P4 |
p. 390-405
16 p.
|
artikel
|
| 11 |
Domain-specific program profiling and its application to attribute grammars and term rewriting
|
Sloane, Anthony M.
|
|
2014
|
141-142 |
P4 |
p. 488-510
23 p.
|
artikel
|
| 12 |
Editorial Board
|
|
|
2015
|
141-142 |
P4 |
p. IFC-
1 p.
|
artikel
|
| 13 |
Editorial Board
|
|
|
2015
|
141-142 |
P4 |
p. IFC-
1 p.
|
artikel
|
| 14 |
EVL: A framework for multi-methods in C++
|
Le Goc, Yannick
|
|
2015
|
141-142 |
P4 |
p. 531-550
20 p.
|
artikel
|
| 15 |
Extraction of domain concepts from the source code
|
Abebe, Surafel Lemma
|
|
2015
|
141-142 |
P4 |
p. 680-706
27 p.
|
artikel
|
| 16 |
Managing the evolution of a software architecture at minimal cost under performance and reliability constraints
|
Cortellessa, Vittorio
|
|
2015
|
141-142 |
P4 |
p. 439-463
25 p.
|
artikel
|
| 17 |
Model-based mutation testing via symbolic refinement checking
|
Aichernig, Bernhard K.
|
|
2015
|
141-142 |
P4 |
p. 383-404
22 p.
|
artikel
|
| 18 |
Model checking of concurrent programs with static analysis of field accesses
|
Parízek, Pavel
|
|
2015
|
141-142 |
P4 |
p. 735-763
29 p.
|
artikel
|
| 19 |
Monolithic and modular termination analyses for higher-order attribute grammars
|
Krishnan, Lijesh
|
|
2014
|
141-142 |
P4 |
p. 511-526
16 p.
|
artikel
|
| 20 |
Reducing operational costs through MIPS management
|
Kwiatkowski, Łukasz M.
|
|
2015
|
141-142 |
P4 |
p. 551-588
38 p.
|
artikel
|
| 21 |
Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors
|
Pham, Thanh-Trung
|
|
2015
|
141-142 |
P4 |
p. 426-457
32 p.
|
artikel
|
| 22 |
Reusing metadata across components, applications, and languages
|
Song, Myoungkyu
|
|
2015
|
141-142 |
P4 |
p. 617-644
28 p.
|
artikel
|
| 23 |
Safety assessment of AltaRica models via symbolic model checking
|
Bozzano, Marco
|
|
2015
|
141-142 |
P4 |
p. 464-483
20 p.
|
artikel
|
| 24 |
SeByte: Scalable clone and similarity search for bytecode
|
Keivanloo, Iman
|
|
2014
|
141-142 |
P4 |
p. 426-444
19 p.
|
artikel
|
| 25 |
Software language engineering (SLE '12)
|
Czarnecki, Krzysztof
|
|
2014
|
141-142 |
P4 |
p. 395-
1 p.
|
artikel
|
| 26 |
Special issue on software clones (IWSC'12)
|
Inoue, Katsuro
|
|
2014
|
141-142 |
P4 |
p. 389-
1 p.
|
artikel
|
| 27 |
Special issue: Selected papers from the 12th International Conference on Quality Software (QSIC 2012)
|
Muccini, Henry
|
|
2015
|
141-142 |
P4 |
p. 381-382
2 p.
|
artikel
|
| 28 |
Specification of temporal properties with OCL
|
Kanso, Bilal
|
|
2014
|
141-142 |
P4 |
p. 527-551
25 p.
|
artikel
|
| 29 |
The design and implementation of Object Grammars
|
van der Storm, Tijs
|
|
2014
|
141-142 |
P4 |
p. 460-487
28 p.
|
artikel
|
| 30 |
Two techniques to improve the precision of a demand-driven null-dereference verification approach
|
Margoor, Amogh
|
|
2015
|
141-142 |
P4 |
p. 645-679
35 p.
|
artikel
|
| 31 |
Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling
|
Guizzardi, Giancarlo
|
|
2014
|
141-142 |
P4 |
p. 417-443
27 p.
|
artikel
|
| 32 |
XPL: A language for modular homogeneous language embedding
|
Clark, Tony
|
|
2015
|
141-142 |
P4 |
p. 589-616
28 p.
|
artikel
|
Tijdschrift beschrijving