nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Denotational Semantics for Circus
|
Oliveira, Marcel |
|
2007 |
187 |
C |
p. 107-123 17 p. |
artikel |
2 |
A Petri Net Based Method for Refining Object Oriented System Specifications
|
Cheung, K.S. |
|
2007 |
187 |
C |
p. 161-172 12 p. |
artikel |
3 |
Derivation of a Scalable Lock-Free Stack Algorithm
|
Groves, Lindsay |
|
2007 |
187 |
C |
p. 55-74 20 p. |
artikel |
4 |
FDR Explorer
|
Freitas, Leo |
|
2007 |
187 |
C |
p. 19-34 16 p. |
artikel |
5 |
Modelchecking Correctness of Refactorings - Some Experiments
|
Estler, H.-Christian |
|
2007 |
187 |
C |
p. 3-17 15 p. |
artikel |
6 |
Object-Oriented Structure Refinement – A Graph Transformational Approach
|
Liu, Xiaojian |
|
2007 |
187 |
C |
p. 145-159 15 p. |
artikel |
7 |
Preface
|
Aichernig, Bernhard |
|
2007 |
187 |
C |
p. 1- 1 p. |
artikel |
8 |
Refinement and Test Case Generation in UTP
|
Aichernig, Bernhard K. |
|
2007 |
187 |
C |
p. 125-143 19 p. |
artikel |
9 |
Relational Concurrent Refinement with Internal Operations
|
Derrick, John |
|
2007 |
187 |
C |
p. 35-53 19 p. |
artikel |
10 |
Semi-Automated Component-Based Development of Formally Verified Software
|
Hemer, David |
|
2007 |
187 |
C |
p. 173-188 16 p. |
artikel |
11 |
Simulation Machines for Checking Action System Refinements
|
Smith, Graeme |
|
2007 |
187 |
C |
p. 75-90 16 p. |
artikel |
12 |
Time Aware System Refinement
|
Westerlund, Tomi |
|
2007 |
187 |
C |
p. 91-106 16 p. |
artikel |