18 registros retornados

• David Déharbe,  Anamaria Martins Moreira.  Software Engineering with the B Method. 

• Patricia D. L. Machado,  Daniel A. Silva,  Alexandre Cabral Mota.  Towards Property Oriented Testing. 

• David Déharbe,  Silvio Ranise,  Jorgiano Vidal.  Distributing the Workload in a Lazy Theorem-Prover. 

• Antonio Carvalho Júnior,  Leila Silva,  Márcio Cornélio.  Using CafeOBJ to Mechanise Refactoring Proofs and Application. 

• Ana Cavalcanti,  Manuela Xavier.  Mechanised Refinement of Procedures. 

• Anamaria Martins Moreira,  Bruno Emerson Gurgel Gomes,  David Déharbe.  Developing Java Card Applications with B. 

• Andrea Corradini.  Graph Transformation. 

• Ewen Denney.  Formal Approaches to Ensuring the Safety of Space Software. 

• Rafael Magalhães Borges,  Alexandre Cabral Mota.  Integrando UML e Métodos Formais. 

• Fábio Pasini,  Fernando Luís Dotti.  Code generation for parallel applications modelled with Object-Based Graph Grammars. 

• Regivan H. N. Santiago,  Anamaria Martins Moreira,  Katiane Lopes.  Implementing Local Intervals in CASL. 

• Odorico M. Mendizabal,  Fernando Luís Dotti,  Leila Ribeiro.  Stochastic Object-Based Graph Grammars. 

• James Welch,  Jim Davies,  David Faitelson.  From predicates to programs: the semantics of a method language. 

• Carlos Bazílio,  Edward H. Haeusler,  Markus Endler.  Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. 

• Rohit Gheyi,  Paulo Borba,  Tiago Massoni.  Type-safe Refactorings for Alloy. 

• Mike Reed.  Open source, component systems, and formal methods. 

• Ewen Denney.  Logical Foundations for Code Generation. 

• Patricia D. L. Machado,  Dalton Guerrero,  Jorge Figueiredo.  Automatic Test Generation.