A XML/XSL approach to visualize and animate TCOZ

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 453-460

  Sun, Jing ^a   Dong, Jin Song ^a   Liu, Jing ^a   Wang, Hai ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Formal methods; Oz; Specification animation; TCOZ; UML; XMI; XML XSL

Indexed keywords

ANIMATION; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; DATA STRUCTURES; FORMAL LANGUAGES; MULTIPROGRAMMING; PROGRAM TRANSLATORS; REAL TIME SYSTEMS; XML;

EXTENSIBLE STYLESHEET LANGUAGE; FORMAL METHODS; SPECIFICATION ANIMATION; TIMED COMMUNICATING OBJECT-Z; UNIFIED MODELING LANGUAGE;

OBJECT ORIENTED PROGRAMMING;

EID: 0035692666     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Object-Z: An object-oriented extension to Z
2. Active objects in TCOZ
3. Timed communicating object Z
4. A brief history of timed CSP
5. Animating z: Interactivity, transparency and equivalence
6. Software development: Two approaches to animation of z specifications using prolog