|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![Elsevier The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Augusto Sampaio, Alexandre Mota 0001, Rodrigo Ramos |
Class and Capsule Refinement in UML for Real Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 23-51, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Patrícia D. L. Machado |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 1-2, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christiano Braga, Alexandre Sztajnberg |
Towards a Rewriting Semantics for a Software Architecture Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 149-168, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 111-129, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gift Nuka, Jim Woodcock 0001 |
Mechanising the Alphabetised Relational Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 209-225, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cristina Vieira de Melo |
A Study On The Potential Active Names of pi-Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 269-286, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Franklin Ramalho, Jacques Robin, Ulrich Schiel |
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 83-109, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 63-82, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 287-305, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Anamaria Martins Moreira, Anderson Santana de Oliveira |
Simulating Algebraic Specification Genericity on Languages with Initial Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 131-148, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Callejas-Bedregal, Benjamín René Callejas Bedregal |
Acióly-Scott Interval Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 169-187, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jim Woodcock 0001 |
Using Circus for Safety-critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 3-22, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel |
Problems and Methods for Testing Infinite State Machines: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 53-62, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 189-208, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Gheyi, Paulo Borba |
Refactoring Alloy Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 227-243, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Luciana Foss, Leila Ribeiro 0001 |
A Translation from Object-Based Hypergraph Grammars into pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 245-267, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|