Volume 184, July 2007

Proceedings of the Second Brazilian Symposium on Formal Methods (SBMF 2005)

• 
  Augusto Sampaio: Preface. 1-2
• 
  Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota: Towards Property Oriented Testing. 3-19
• 
  David Déharbe, Silvio Ranise, Jorgiano Vidal: Distributing the Workload in a Lazy Theorem-Prover. 21-37
• 
  Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio: Using CafeOBJ to Mechanise Refactoring Proofs and Application. 39-61
• 
  Manuela Xavier, Ana Cavalcanti: Mechanised Refinement of Procedures. 63-80
• 
  Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe: Developing Java Card Applications with B. 81-96
• 
  Rafael Magalhães Borges, Alexandre Cabral Mota: Integrating UML and Formal Methods. 97-112
• 
  Fábio Pasini, Fernando Luís Dotti: Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. 113-131
• 
  Regivan H. Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes: Implementing Local Intervals in CASL. 133-149
• 
  Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro: Stochastic Object-Based Graph Grammars. 151-170
• 
  David Faitelson, James Welch, Jim Davies: From Predicates to Programs: The Semantics of a Method Language. 171-187
• 
  Carlos Bazílio, Edward Hermann Haeusler, Markus Endler: Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. 189-207
• 
  Rohit Gheyi, Tiago Massoni, Paulo Borba: A Static Semantics for Alloy and its Impact in Refactorings. 209-233