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