|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33 occurrences of 23 keywords
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 311-322, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 483-498, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 453-460, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 321-340, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(6), pp. 844-859, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
99 | Jin Song Dong, Yuan-Fang Li, Hai H. Wang |
TCOZ approach to semantic web services design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Track Papers & Posters) ![In: Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 442-443, 2004, ACM, 1-58113-912-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 63-74, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
real-time modeling, formal specification, CSP, Z, TCOZ |
93 | Hui Liang |
Regression Testing of Classes Based on TCOZ Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 450-457, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
93 | Brendan P. Mahony, Jin Song Dong |
Sensors and Actuators in TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1166-1185, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
89 | Jin Song Dong, Shengchao Qin, Jun Sun 0001 |
Generating MSCs from an Integrated Formal Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 168-186, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 142-160, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
TCSP, Integrated Formal Methods, Object-Z, TCOZ |
72 | Tim Miller 0001, Peter McBurney |
Multi-agent System Specification Using TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings, pp. 216-221, 2005, Springer, 3-540-28740-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Brendan P. Mahony, Jin Song Dong |
Timed Communicating Object Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(2), pp. 150-177, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, pp. 405-, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
integrated formal specification and verification |
52 | Henry Novianus Palit |
Using TCOZ for Modeling Web Caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 13-, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Tim Miller 0001, Leo Freitas, Petra Malik, Mark Utting |
CZT Support for Z Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 227-245, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005, pp. 354-359, 2005, 1-891706-16-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
31 | Brendan P. Mahony, Jin Song Dong |
Overview of the Semantics of TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, pp. 66-85, 1999, Springer, 1-85233-107-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Jin Song Dong, Brendan P. Mahony |
Active Objects in TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 16-25, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Brendan P. Mahony, Jin Song Dong |
Network Topology and a Case Study in TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 308-327, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Brendan P. Mahony, Jin Song Dong |
Blending Object-Z and Timed CSP: An Introduction to TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25, 1998., pp. 95-104, 1998, IEEE Computer Society, 0-8186-8368-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|