|
Journals in DBLP
- Ana Cavalcanti, Patrícia D. L. Machado
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:1-2 [Journal]
- Jim Woodcock
Using Circus for Safety-critical Applications. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:3-22 [Journal]
- Augusto Sampaio, Alexandre Mota, Rodrigo Ramos
Class and Capsule Refinement in UML for Real Time. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:23-51 [Journal]
- Marie-Claude Gaudel
Problems and Methods for Testing Infinite State Machines: Extended Abstract. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:53-62 [Journal]
- André Luis Silva, Manoel Messias Menezes, Leila Silva
Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:63-82 [Journal]
- Franklin Ramalho, Jacques Robin, Ulrich Schiel
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:83-109 [Journal]
- Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda
VeriAgent: an Approach to Integrating UML and Formal Verification Tools. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:111-129 [Journal]
- Anamaria Martins Moreira, Anderson Santana de Oliveira
Simulating Algebraic Specification Genericity on Languages with Initial Semantics. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:131-148 [Journal]
- Christiano Braga, Alexandre Sztajnberg
Towards a Rewriting Semantics for a Software Architecture Description Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:149-168 [Journal]
- Roberto Callejas-Bedregal, Benjamín René Callejas Bedregal
Acióly-Scott Interval Categories. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:169-187 [Journal]
- Gift Nuka, Jim Woodcock
Mechanising the Alphabetised Relational Calculus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:209-225 [Journal]
- Rohit Gheyi, Paulo Borba
Refactoring Alloy Specifications. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:227-243 [Journal]
- Luciana Foss, Leila Ribeiro
A Translation from Object-Based Hypergraph Grammars into pi-Calculus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:245-267 [Journal]
- Ana Cristina Vieira de Melo
A Study On The Potential Active Names of pi-Agents. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:269-286 [Journal]
- Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero
Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:287-305 [Journal]
|