Parceria:
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
II Simpósio Brasileiro de Métodos Formais - 2005 - Porto Alegre, RS, Brasil
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
. 
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
Biblioteca Digital Brasileira de Computação
Mantida por: