|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Acióly-Scott Interval Categories |
Callejas-Bedregal, Roberto |
2004 |
95 | C |
p. 169-187 19 p. |
artikel |
|
| 2 | A Study On The Potential Active Names of π-Agents |
de Melo, Ana C.V. |
2004 |
95 | C |
p. 269-286 18 p. |
artikel |
|
| 3 | A Translation from Object-Based Hypergraph Grammars into π-Calculus |
Foss, Luciana |
2004 |
95 | C |
p. 245-267 23 p. |
artikel |
|
| 4 | Class and Capsule Refinement in UML for Real Time |
Sampaio, Augusto |
2004 |
95 | C |
p. 23-51 29 p. |
artikel |
|
| 5 | Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams |
Ramalho, Franklin |
2004 |
95 | C |
p. 83-109 27 p. |
artikel |
|
| 6 | Mechanising the Alphabetised Relational Calculus |
Nuka, Gift |
2004 |
95 | C |
p. 209-225 17 p. |
artikel |
|
| 7 | Preface |
Cavalcanti, Ana |
2004 |
95 | C |
p. 1-2 2 p. |
artikel |
|
| 8 | Problems and Methods for Testing Infinite State Machines |
Gaudel, Marie-Claude |
2004 |
95 | C |
p. 53-62 10 p. |
artikel |
|
| 9 | Proving and Debugging Set-Based Specifications |
Couchot, J.-F. |
2004 |
95 | C |
p. 189-208 20 p. |
artikel |
|
| 10 | Refactoring Alloy Specifications |
Gheyi, Rohit |
2004 |
95 | C |
p. 227-243 17 p. |
artikel |
|
| 11 | Simulating Algebraic Specification Genericity on Languages with Initial Semantics |
Moreira, Anamaria Martins |
2004 |
95 | C |
p. 131-148 18 p. |
artikel |
|
| 12 | Towards a Rewriting Semantics for a Software Architecture Description Language |
Braga, Christiano |
2004 |
95 | C |
p. 149-168 20 p. |
artikel |
|
| 13 | Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning |
Silva, André Luis |
2004 |
95 | C |
p. 63-82 20 p. |
artikel |
|
| 14 | Using Circus for Safety-critical Applications |
Woodcock, J.C.P. |
2004 |
95 | C |
p. 3-22 20 p. |
artikel |
|
| 15 | Using Coloured Petri Nets to Compare Mobile Agent Design Patterns |
de Araújo Lima, Emerson Ferreira |
2004 |
95 | C |
p. 287-305 19 p. |
artikel |
|
| 16 | VeriAgent: an Approach to Integrating UML and Formal Verification Tools |
Mota, E. |
2004 |
95 | C |
p. 111-129 19 p. |
artikel |
16 gevonden resultaten