Volume 95, 17 May 2004

Proceedings of the Brazilian Workshop on Formal Methods, Campina Grande, Brazil, 12 - 14 October 2003

• 
  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