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