Search results for "WMF"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Ana Cavalcanti 0001, Patrícia D. L. Machado (eds.)	Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003	WMF	2004	DBLP BibTeX RDF
1	Augusto Sampaio, Alexandre Mota 0001, Rodrigo Ramos	Class and Capsule Refinement in UML for Real Time.	WMF	2003	DBLP DOI BibTeX RDF
1	Ana Cavalcanti 0001, Patrícia D. L. Machado	Preface.	WMF	2003	DBLP DOI BibTeX RDF
1	Christiano Braga, Alexandre Sztajnberg	Towards a Rewriting Semantics for a Software Architecture Description Language.	WMF	2003	DBLP DOI BibTeX RDF
1	Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Y. Kanda	VeriAgent: an Approach to Integrating UML and Formal Verification Tools.	WMF	2003	DBLP DOI BibTeX RDF
1	Gift Nuka, Jim Woodcock 0001	Mechanising the Alphabetised Relational Calculus.	WMF	2003	DBLP DOI BibTeX RDF
1	Ana Cristina Vieira de Melo	A Study On The Potential Active Names of pi-Agents.	WMF	2003	DBLP DOI BibTeX RDF
1	Franklin Ramalho, Jacques Robin, Ulrich Schiel	Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams.	WMF	2003	DBLP DOI BibTeX RDF
1	André Luis Silva, Manoel Messias Menezes, Leila Silva	Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning.	WMF	2003	DBLP DOI BibTeX RDF
1	Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero	Using Coloured Petri Nets to Compare Mobile Agent Design Patterns.	WMF	2003	DBLP DOI BibTeX RDF
1	Anamaria Martins Moreira, Anderson Santana de Oliveira	Simulating Algebraic Specification Genericity on Languages with Initial Semantics.	WMF	2003	DBLP DOI BibTeX RDF
1	Roberto Callejas-Bedregal, Benjamín René Callejas Bedregal	Acióly-Scott Interval Categories.	WMF	2003	DBLP DOI BibTeX RDF
1	Jim Woodcock 0001	Using Circus for Safety-critical Applications.	WMF	2003	DBLP DOI BibTeX RDF
1	Marie-Claude Gaudel	Problems and Methods for Testing Infinite State Machines: Extended Abstract.	WMF	2003	DBLP DOI BibTeX RDF
1	Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise	Proving and Debugging Set-Based Specifications.	WMF	2003	DBLP DOI BibTeX RDF
1	Rohit Gheyi, Paulo Borba	Refactoring Alloy Specifications.	WMF	2003	DBLP DOI BibTeX RDF
1	Luciana Foss, Leila Ribeiro 0001	A Translation from Object-Based Hypergraph Grammars into pi-Calculus.	WMF	2003	DBLP DOI BibTeX RDF

Publications at "WMF"( http://dblp.L3S.de/Venues/WMF )