Search results for "Object-Z"

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]