|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
20 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Abstract Equivalence Notion for Object Models |
Gheyi, Rohit |
2005 |
130 | C |
p. 3-21 19 p. |
article |
|
| 2 | A New Method for Transforming Timed Automata |
Khoumsi, Ahmed |
2005 |
130 | C |
p. 101-128 28 p. |
article |
|
| 3 | Architectural Prototyping: From CCS to .Net |
Rodrigues, Nuno F. |
2005 |
130 | C |
p. 151-167 17 p. |
article |
|
| 4 | A Rewriting Semantics for a Software Architecture Description Language |
Rademaker, Alexandre |
2005 |
130 | C |
p. 345-377 33 p. |
article |
|
| 5 | Automatic Verification of Safety Rules for a Subway Control Software |
Ferreira, Nelson Guimarães |
2005 |
130 | C |
p. 323-343 21 p. |
article |
|
| 6 | Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations |
Ziemann, Paul |
2005 |
130 | C |
p. 263-280 18 p. |
article |
|
| 7 | Complete Test Graph Synthesis For Symbolic Real-time Systems |
Khoumsi, Ahmed |
2005 |
130 | C |
p. 79-100 22 p. |
article |
|
| 8 | Early Verification of Computer Systems Temporal Properties |
Muniz Silva, Paulo Sérgio |
2005 |
130 | C |
p. 211-233 23 p. |
article |
|
| 9 | Efficient Reduction Techniques for Systems with Many Components |
Emerson, E. Allen |
2005 |
130 | C |
p. 379-399 21 p. |
article |
|
| 10 | Explicit-Symbolic Modelling for Formal Verification |
Costa, Umberto |
2005 |
130 | C |
p. 301-321 21 p. |
article |
|
| 11 | Formality, Evolution, and Model-driven Software Engineering |
Davies, Jim |
2005 |
130 | C |
p. 39-55 17 p. |
article |
|
| 12 | From Active Names to π-calculus Rewriting Rules |
de Melo, Ana C.V. |
2005 |
130 | C |
p. 169-185 17 p. |
article |
|
| 13 | Integrating Time and Resource into Circus |
Pu, Geguang |
2005 |
130 | C |
p. 401-418 18 p. |
article |
|
| 14 | Memoryless Strategies for Stochastic Games via Domain Theory |
Morgan, Carroll |
2005 |
130 | C |
p. 23-37 15 p. |
article |
|
| 15 | Preface |
Mota, Alexandre |
2005 |
130 | C |
p. 1-2 2 p. |
article |
|
| 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. |
article |
|
| 17 | Refactoring Towards a Layered Architecture |
Cornélio, Márcio |
2005 |
130 | C |
p. 281-300 20 p. |
article |
|
| 18 | Testing from Structured Algebraic Specifications: The Veritas Case Study |
Machado, Patrícia D.L. |
2005 |
130 | C |
p. 235-261 27 p. |
article |
|
| 19 | Towards a Rigorous Approach to UML-Based Development |
Liu, Zhiming |
2005 |
130 | C |
p. 57-77 21 p. |
article |
|
| 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. |
article |
20 results found