| 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
|
98 |
P4 |
p. 516-530
15 p.
|
artikel
|
| 2 |
An integrated framework for adapting WS-BPEL scenario execution using QoS and collaborative filtering techniques
|
Margaris, D.
|
|
2015
|
98 |
P4 |
p. 707-734
28 p.
|
artikel
|
| 3 |
A perspective on architectural re-engineering
|
Sanchez, Alejandro
|
|
2015
|
98 |
P4 |
p. 764-784
21 p.
|
artikel
|
| 4 |
Approximate by thinning: Deriving fully polynomial-time approximation schemes
|
Mu, Shin-Cheng
|
|
2015
|
98 |
P4 |
p. 484-515
32 p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
2015
|
98 |
P4 |
p. IFC-
1 p.
|
artikel
|
| 6 |
EVL: A framework for multi-methods in C++
|
Le Goc, Yannick
|
|
2015
|
98 |
P4 |
p. 531-550
20 p.
|
artikel
|
| 7 |
Extraction of domain concepts from the source code
|
Abebe, Surafel Lemma
|
|
2015
|
98 |
P4 |
p. 680-706
27 p.
|
artikel
|
| 8 |
Managing the evolution of a software architecture at minimal cost under performance and reliability constraints
|
Cortellessa, Vittorio
|
|
2015
|
98 |
P4 |
p. 439-463
25 p.
|
artikel
|
| 9 |
Model checking of concurrent programs with static analysis of field accesses
|
Parízek, Pavel
|
|
2015
|
98 |
P4 |
p. 735-763
29 p.
|
artikel
|
| 10 |
Reducing operational costs through MIPS management
|
Kwiatkowski, Łukasz M.
|
|
2015
|
98 |
P4 |
p. 551-588
38 p.
|
artikel
|
| 11 |
Reusing metadata across components, applications, and languages
|
Song, Myoungkyu
|
|
2015
|
98 |
P4 |
p. 617-644
28 p.
|
artikel
|
| 12 |
Safety assessment of AltaRica models via symbolic model checking
|
Bozzano, Marco
|
|
2015
|
98 |
P4 |
p. 464-483
20 p.
|
artikel
|
| 13 |
Two techniques to improve the precision of a demand-driven null-dereference verification approach
|
Margoor, Amogh
|
|
2015
|
98 |
P4 |
p. 645-679
35 p.
|
artikel
|
| 14 |
XPL: A language for modular homogeneous language embedding
|
Clark, Tony
|
|
2015
|
98 |
P4 |
p. 589-616
28 p.
|
artikel
|
Tijdschrift beschrijving