Electronic Notes in Theoretical Computer Science, Volume 184

Volume 184, July 2007

• 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