Search results for "TCOZ"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
161	Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang	XML-Based Static Type Checking and Dynamic Visualization for TCOZ.	ICFEM	2002	DBLP DOI BibTeX RDF	TCOZ tool support, XML/XSL, UML/XMI
155	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
120	Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang	An XML/XSL Approach to Visualize and Animate TCOZ.	APSEC	2001	DBLP DOI BibTeX RDF	specification animation, XML/XSL, UML, Formal methods, XMI, TCOZ, Oz
114	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
103	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001	Timed Automata Patterns.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
99	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
99	Jing Liu, Jin Song Dong, Jing Sun 0002	TRMCS in TCOZ.	IWSSD	2000	DBLP BibTeX RDF	real-time modeling, formal specification, CSP, Z, TCOZ
93	Hui Liang	Regression Testing of Classes Based on TCOZ Specification.	ICECCS	2005	DBLP DOI BibTeX RDF
93	Brendan P. Mahony, Jin Song Dong	Sensors and Actuators in TCOZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
89	Jin Song Dong, Shengchao Qin, Jun Sun 0001	Generating MSCs from an Integrated Formal Specification Language.	IFM	2004	DBLP DOI BibTeX RDF	Requirement Engineering, MSC, TCOZ
79	Brendan P. Mahony, Jin Song Dong	Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	TCSP, Integrated Formal Methods, Object-Z, TCOZ
72	Tim Miller 0001, Peter McBurney	Multi-agent System Specification Using TCOZ.	MATES	2005	DBLP DOI BibTeX RDF
62	Brendan P. Mahony, Jin Song Dong	Timed Communicating Object Z.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z
52	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
52	Henry Novianus Palit	Using TCOZ for Modeling Web Caching.	APSEC	2001	DBLP DOI BibTeX RDF
47	Tim Miller 0001, Leo Freitas, Petra Malik, Mark Utting	CZT Support for Z Extensions.	IFM	2005	DBLP DOI BibTeX RDF	Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ
31	Hai H. Wang, Jin Song Dong, Jing Sun 0002, Yuan-Fang Li	TCOZ Approach to OWL-S Process Model Design.	SEKE	2005	DBLP BibTeX RDF
31	Brendan P. Mahony, Jin Song Dong	Overview of the Semantics of TCOZ.	IFM	1999	DBLP DOI BibTeX RDF
31	Jin Song Dong, Brendan P. Mahony	Active Objects in TCOZ.	ICFEM	1998	DBLP DOI BibTeX RDF
31	Brendan P. Mahony, Jin Song Dong	Network Topology and a Case Study in TCOZ.	ZUM	1998	DBLP DOI BibTeX RDF
31	Brendan P. Mahony, Jin Song Dong	Blending Object-Z and Timed CSP: An Introduction to TCOZ.	ICSE	1998	DBLP DOI BibTeX RDF