| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Refinement Strategy for Circus
|
Cavalcanti, Ana
|
|
2003
|
|
2-3 |
p. 146-181
|
artikel
|
| 2 |
Collaborative models for autonomous systems controller synthesis
|
Fraser, Douglas
|
|
|
|
2-3 |
p. 157-186
|
artikel
|
| 3 |
Compositional Action System Refinement
|
Back, R. J. R.
|
|
2003
|
|
2-3 |
p. 103-117
|
artikel
|
| 4 |
Concurrency and Refinement in the Unified Modeling Language
|
Davies, Jim
|
|
2003
|
|
2-3 |
p. 118-145
|
artikel
|
| 5 |
Editorial
|
|
|
2003
|
|
2-3 |
p. 101-102
|
artikel
|
| 6 |
Editorial
|
Cavalcanti, Ana
|
|
|
|
2-3 |
p. 155
|
artikel
|
| 7 |
Exploring Tabular Verification and Refinement
|
Sekerinski, Emil
|
|
2003
|
|
2-3 |
p. 215-236
|
artikel
|
| 8 |
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light
|
Rashid, Adnan
|
|
|
|
2-3 |
p. 229-250
|
artikel
|
| 9 |
Legislation-driven development of a Gift Aid system using Event-B
|
Williams, David M.
|
|
|
|
2-3 |
p. 251-273
|
artikel
|
| 10 |
Mutation Testing in the Refinement Calculus
|
Aichernig, Bernhard K.
|
|
2003
|
|
2-3 |
p. 280-295
|
artikel
|
| 11 |
PuRSUE -from specification of robotic environments to synthesis of controllers
|
Bersani, Marcello M.
|
|
|
|
2-3 |
p. 187-227
|
artikel
|
| 12 |
Relational Concurrent Refinement
|
Derrick, John
|
|
2003
|
|
2-3 |
p. 182-214
|
artikel
|
| 13 |
Runtime enforcement of timed properties usinggames
|
Renard, Matthieu
|
|
|
|
2-3 |
p. 315-360
|
artikel
|
| 14 |
The ASM Refinement Method
|
Börger, Egon
|
|
2003
|
|
2-3 |
p. 237-257
|
artikel
|
| 15 |
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP
|
Sheng, Feng
|
|
|
|
2-3 |
p. 275-314
|
artikel
|
| 16 |
The Variety of Variables in Automated Real-Time Refinement
|
Wildman, Luke
|
|
2003
|
|
2-3 |
p. 258-279
|
artikel
|
Tijdschrift beschrijving