nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Alloy as a Refactoring Checker?
|
Estler, H.-Christian |
|
2008 |
214 |
C |
p. 331-357 27 p. |
artikel |
2 |
An Algebraic Approach to Refinement with Fair Choice
|
Sekerinski, Emil |
|
2008 |
214 |
C |
p. 51-79 29 p. |
artikel |
3 |
ArcAngelC: a Refinement Tactic Language for Circus
|
Oliveira, M.V.M. |
|
2008 |
214 |
C |
p. 203-229 27 p. |
artikel |
4 |
Completeness of ASM Refinement
|
Schellhorn, Gerhard |
|
2008 |
214 |
C |
p. 25-49 25 p. |
artikel |
5 |
Experimenting Formal Proofs of Petri Nets Refinements
|
Choppy, Christine |
|
2008 |
214 |
C |
p. 231-254 24 p. |
artikel |
6 |
General Refinement, Part One: Interfaces, Determinism and Special Refinement
|
Reeves, Steve |
|
2008 |
214 |
C |
p. 277-307 31 p. |
artikel |
7 |
General Refinement, Part Two: Flexible Refinement
|
Reeves, Steve |
|
2008 |
214 |
C |
p. 309-329 21 p. |
artikel |
8 |
Linking Event-B and Concurrent Object-Oriented Programs
|
Edmunds, Andrew |
|
2008 |
214 |
C |
p. 159-182 24 p. |
artikel |
9 |
Modal Tools for Separation and Refinement
|
Struth, Georg |
|
2008 |
214 |
C |
p. 81-101 21 p. |
artikel |
10 |
More Relational Concurrent Refinement: Traces and Partial Relations
|
Derrick, John |
|
2008 |
214 |
C |
p. 255-276 22 p. |
artikel |
11 |
Observational Refinement Process
|
Madeira, Alexandre |
|
2008 |
214 |
C |
p. 103-129 27 p. |
artikel |
12 |
Preface
|
Boiten, Eerke |
|
2008 |
214 |
C |
p. 1- 1 p. |
artikel |
13 |
Refactoring Real-time Specifications
|
Smith, Graeme |
|
2008 |
214 |
C |
p. 359-380 22 p. |
artikel |
14 |
Refinement-Based Verification of Interactive Real-Time Systems
|
Spichkova, Maria |
|
2008 |
214 |
C |
p. 131-157 27 p. |
artikel |
15 |
Refinement for Pipelining in Event-B
|
Evans, Neil |
|
2008 |
214 |
C |
p. 183-202 20 p. |
artikel |
16 |
Simulation Refinement for Concurrency Verification
|
Hesselink, Wim H. |
|
2008 |
214 |
C |
p. 3-23 21 p. |
artikel |