|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 250 occurrences of 131 keywords
|
|
|
Results
Found 219 publication records. Showing 219 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
2 | John Derrick, Heike Wehrheim |
Non-atomic Refinement in Z and CSP. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
2 | Tim Miller 0001, Peter McBurney |
Multi-agent System Specification Using TCOZ. |
MATES |
2005 |
DBLP DOI BibTeX RDF |
|
2 | Hui Liang |
Regression Testing of Classes Based on TCOZ Specification. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
2 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001 |
Timed Patterns: TCOZ to Timed Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
Modeling and specification formalisms |
2 | Jin Song Dong, Yuan-Fang Li, Hai H. Wang |
TCOZ approach to semantic web services design. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
semantic web, formal methods, DAML+OIL, DAML-S, TCOZ |
2 | Roger Duke, Tim Miller, Paul A. Strooper |
Integrating Formal Specification and Software Verification and Validation. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
2 | Vincent Hilaire, Olivier Simonin 0001, Abder Koukam, Jacques Ferber |
A Formal Approach to Design and Reuse Agent and Multiagent Models. |
AOSE |
2004 |
DBLP DOI BibTeX RDF |
|
2 | Hong Li Yang, Jun Gang Han, Ke Gang Hao |
The Common Semantic Constructs of XML Family. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
2 | Shengchao Qin, Jin Song Dong, Wei-Ngan Chin |
A Semantic Foundation for TCOZ in Unifying Theories of Programming. |
FME |
2003 |
DBLP DOI BibTeX RDF |
UTP, integrated formal specifications, semantics |
2 | Heike Wehrheim |
Preserving Properties Under Change. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
2 | Maritta Heisel, Thomas Santen, Jeanine Souquières |
Toward a Formal Model of Software Components. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
2 | Vincent Hilaire, Abder Koukam, Pablo Gruer |
A Mechanism for Dynamic Role Playing. |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services |
2002 |
DBLP DOI BibTeX RDF |
Multi-agent systems, formal specification, methodology |
2 | Jing Sun 0002, Jin Song Dong |
Specifying and Reasoning about Generic Architecture in TCOZ. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
integrated formal specification and verification |
2 | Ana Cavalcanti 0001, Augusto Sampaio |
From CSP-OZ to Java with Processes. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
refinement calculi, concurrency, program development |
2 | Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim |
A CSP View on UML-RT Structure Diagrams. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
2 | Heike Wehrheim |
Data Abstraction Techniques in the Validation of CSP-OZ Specifications. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Integrated formal methods, CSP-OZ, Verification, Data abstraction |
2 | Heike Wehrheim |
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
2 | Heike Wehrheim |
Data Abstraction for CSP-OZ. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
2 | David Leadbetter |
An Integrated Approach to IS modeling. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #219 of 219 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|