|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
20 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A comparison of refinement orderings and their associated simulation rules |
Bolton, Christie |
2002 |
70 | 3 |
p. 297-310 14 p. |
artikel |
|
| 2 | Composition and Refinement of Specifications of Parameterized Data Types |
Lamo, Yngve |
2002 |
70 | 3 |
p. 199-216 18 p. |
artikel |
|
| 3 | Concurrency and Refinement in the Unified Modeling Language |
Davies and, Jim |
2002 |
70 | 3 |
p. 217-243 27 p. |
artikel |
|
| 4 | Contract-based Mutation Testing in the Refinement Calculus |
Aichernig, Bernhard K. |
2002 |
70 | 3 |
p. 281- 1 p. |
artikel |
|
| 5 | Junctive Compositions of Specifications in Total and General Correctness |
Dunne, Steve |
2002 |
70 | 3 |
p. 4-20 17 p. |
artikel |
|
| 6 | Preface |
Derrick, John |
2002 |
70 | 3 |
p. 1-2 2 p. |
artikel |
|
| 7 | Refactoring by Transformation |
Cornélio, Márcio |
2002 |
70 | 3 |
p. 311-330 20 p. |
artikel |
|
| 8 | Refactoring in Maintenance and Development of Z Specifications and Proofs |
Stepney, Susan |
2002 |
70 | 3 |
p. 50-69 20 p. |
artikel |
|
| 9 | Refinement and the Z Schema Calculus |
Groves, Lindsay |
2002 |
70 | 3 |
p. 70-93 24 p. |
artikel |
|
| 10 | Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model |
Fecher, Harald |
2002 |
70 | 3 |
p. 260-280 21 p. |
artikel |
|
| 11 | Refinement of Actions in Circus, |
Cavalcanti, Ana |
2002 |
70 | 3 |
p. 132-162 31 p. |
artikel |
|
| 12 | Refining Specifications to Programmable Logic |
Hiltont, Adrian |
2002 |
70 | 3 |
p. 37-49 13 p. |
artikel |
|
| 13 | Scalable Distributed Model Checking: Experiences, Lessons, and Expectations |
Schuster, Assaf |
2002 |
70 | 3 |
p. 3- 1 p. |
artikel |
|
| 14 | Superposition |
Lopes, Antónia |
2002 |
70 | 3 |
p. 282-296 15 p. |
artikel |
|
| 15 | Tabular Verification and Refinement |
Sekerinski, Emil |
2002 |
70 | 3 |
p. 179-198 20 p. |
artikel |
|
| 16 | Taking Decisions Late: End-Based Choice Combined with Action Refinement |
Fecher, Harald |
2002 |
70 | 3 |
p. 244-259 16 p. |
artikel |
|
| 17 | The Variety of Variables in Computer-Aided Real-Time Programming |
Wildman, Luke |
2002 |
70 | 3 |
p. 21-36 16 p. |
artikel |
|
| 18 | Towards a refinement theory that supports reasoning about knowledge and time for multiple agents |
Engelhardt, Kai |
2002 |
70 | 3 |
p. 178- 1 p. |
artikel |
|
| 19 | Towards Component Based Systems: Refining Connectors |
Anlauff, Matthias |
2002 |
70 | 3 |
p. 163-177 15 p. |
artikel |
|
| 20 | Unifying Concurrent and Relational Refinement |
Boiten, Eerke |
2002 |
70 | 3 |
p. 94-131 38 p. |
artikel |
20 gevonden resultaten