nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An Abstract Equivalence Notion for Object Models
|
Gheyi, Rohit |
|
2005 |
130 |
C |
p. 3-21 19 p. |
artikel |
2 |
A New Method for Transforming Timed Automata
|
Khoumsi, Ahmed |
|
2005 |
130 |
C |
p. 101-128 28 p. |
artikel |
3 |
Architectural Prototyping: From CCS to .Net
|
Rodrigues, Nuno F. |
|
2005 |
130 |
C |
p. 151-167 17 p. |
artikel |
4 |
A Rewriting Semantics for a Software Architecture Description Language
|
Rademaker, Alexandre |
|
2005 |
130 |
C |
p. 345-377 33 p. |
artikel |
5 |
Automatic Verification of Safety Rules for a Subway Control Software
|
Ferreira, Nelson Guimarães |
|
2005 |
130 |
C |
p. 323-343 21 p. |
artikel |
6 |
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
|
Ziemann, Paul |
|
2005 |
130 |
C |
p. 263-280 18 p. |
artikel |
7 |
Complete Test Graph Synthesis For Symbolic Real-time Systems
|
Khoumsi, Ahmed |
|
2005 |
130 |
C |
p. 79-100 22 p. |
artikel |
8 |
Early Verification of Computer Systems Temporal Properties
|
Muniz Silva, Paulo Sérgio |
|
2005 |
130 |
C |
p. 211-233 23 p. |
artikel |
9 |
Efficient Reduction Techniques for Systems with Many Components
|
Emerson, E. Allen |
|
2005 |
130 |
C |
p. 379-399 21 p. |
artikel |
10 |
Explicit-Symbolic Modelling for Formal Verification
|
Costa, Umberto |
|
2005 |
130 |
C |
p. 301-321 21 p. |
artikel |
11 |
Formality, Evolution, and Model-driven Software Engineering
|
Davies, Jim |
|
2005 |
130 |
C |
p. 39-55 17 p. |
artikel |
12 |
From Active Names to π-calculus Rewriting Rules
|
de Melo, Ana C.V. |
|
2005 |
130 |
C |
p. 169-185 17 p. |
artikel |
13 |
Integrating Time and Resource into Circus
|
Pu, Geguang |
|
2005 |
130 |
C |
p. 401-418 18 p. |
artikel |
14 |
Memoryless Strategies for Stochastic Games via Domain Theory
|
Morgan, Carroll |
|
2005 |
130 |
C |
p. 23-37 15 p. |
artikel |
15 |
Preface
|
Mota, Alexandre |
|
2005 |
130 |
C |
p. 1-2 2 p. |
artikel |
16 |
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language
|
de Azevedo Guerra, Fabrício Vale |
|
2005 |
130 |
C |
p. 187-209 23 p. |
artikel |
17 |
Refactoring Towards a Layered Architecture
|
Cornélio, Márcio |
|
2005 |
130 |
C |
p. 281-300 20 p. |
artikel |
18 |
Testing from Structured Algebraic Specifications: The Veritas Case Study
|
Machado, Patrícia D.L. |
|
2005 |
130 |
C |
p. 235-261 27 p. |
artikel |
19 |
Towards a Rigorous Approach to UML-Based Development
|
Liu, Zhiming |
|
2005 |
130 |
C |
p. 57-77 21 p. |
artikel |
20 |
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
|
Di Iorio, Vladimir |
|
2005 |
130 |
C |
p. 129-150 22 p. |
artikel |