default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th WMF 2003: Campina Grande, Brazil
- Ana Cavalcanti, Patrícia D. L. Machado:
Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003. Electronic Notes in Theoretical Computer Science 95, Elsevier 2004 - Ana Cavalcanti, Patrícia D. L. Machado:
Preface. 1-2 - Jim Woodcock
:
Using Circus for Safety-critical Applications. 3-22 - Augusto Sampaio, Alexandre Mota, Rodrigo Ramos:
Class and Capsule Refinement in UML for Real Time. 23-51 - Marie-Claude Gaudel:
Problems and Methods for Testing Infinite State Machines: Extended Abstract. 53-62 - André Luis Silva, Manoel Messias Menezes, Leila Silva:
Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. 63-82 - Franklin Ramalho, Jacques Robin, Ulrich Schiel:
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. 83-109 - 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. 111-129 - Anamaria Martins Moreira, Anderson Santana de Oliveira:
Simulating Algebraic Specification Genericity on Languages with Initial Semantics. 131-148 - Christiano Braga, Alexandre Sztajnberg:
Towards a Rewriting Semantics for a Software Architecture Description Language. 149-168 - Roberto Callejas-Bedregal, Benjamín René Callejas Bedregal:
Acióly-Scott Interval Categories. 169-187 - Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise:
Proving and Debugging Set-Based Specifications. 189-208 - Gift Nuka, Jim Woodcock:
Mechanising the Alphabetised Relational Calculus. 209-225 - Rohit Gheyi, Paulo Borba:
Refactoring Alloy Specifications. 227-243 - Luciana Foss, Leila Ribeiro:
A Translation from Object-Based Hypergraph Grammars into pi-Calculus. 245-267 - Ana Cristina Vieira de Melo:
A Study On The Potential Active Names of pi-Agents. 269-286 - Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero:
Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. 287-305
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-20 23:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
