|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
13 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Analysis of Operation-Refinement in an Abortive Paradigm |
Deutsch, Moshe |
2005 |
137 | 2 |
p. 67-92 26 p. |
article |
|
| 2 | Angelic Nondeterminism and Unifying Theories of Programming |
Cavalcanti, Ana |
2005 |
137 | 2 |
p. 45-66 22 p. |
article |
|
| 3 | Breaking the Model: Finalisation and a Taxonomy of Security Attacks |
Clark, John A. |
2005 |
137 | 2 |
p. 225-242 18 p. |
article |
|
| 4 | Emergent Properties Do Not Refine |
Polack, Fiona |
2005 |
137 | 2 |
p. 163-181 19 p. |
article |
|
| 5 | Model Checking Downward Simulations |
Smith, Graeme |
2005 |
137 | 2 |
p. 205-224 20 p. |
article |
|
| 6 | Preface |
Derrick, John |
2005 |
137 | 2 |
p. 1-3 3 p. |
article |
|
| 7 | Refinement Patterns for UML |
Lano, K. |
2005 |
137 | 2 |
p. 131-149 19 p. |
article |
|
| 8 | Refinement via Consistency Checking in MDA |
Paige, Richard F. |
2005 |
137 | 2 |
p. 151-161 11 p. |
article |
|
| 9 | Simpler Reasoning About System Properties: a Proof-by-Refinement Technique |
Atiya, D. |
2005 |
137 | 2 |
p. 5-22 18 p. |
article |
|
| 10 | Tank Monitoring: A pAMN Case Study |
Schneider, Steve |
2005 |
137 | 2 |
p. 183-204 22 p. |
article |
|
| 11 | The Specification Logic ν Z |
Henson, Martin C. |
2005 |
137 | 2 |
p. 111-129 19 p. |
article |
|
| 12 | Using the Alloy Analyzer to Verify Data Refinement in Z |
Bolton, Christie |
2005 |
137 | 2 |
p. 23-44 22 p. |
article |
|
| 13 | Verifying Concurrent Data Structures by Simulation |
Colvin, Robert |
2005 |
137 | 2 |
p. 93-110 18 p. |
article |
13 results found
Toegankelijkheidsverklaring