Electronic Notes in Theoretical Computer Science, Volume 95

Volume 95, 17 May 2004

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