Blending Object-Z and timed CSP: An introduction to TCOZ

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1998, Pages 95-104

  Mahony, Brendan ^a   Dong, Jin Song ^a  

^a DEFENCE SCIENCE AND TECHNOLOGY LABORATORY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; COMPUTATIONAL LINGUISTICS; CONCURRENCY CONTROL; DATA STRUCTURES; FORMAL LANGUAGES; HUMAN COMPUTER INTERACTION; SOFTWARE ENGINEERING;

MULTI THREADED CONCURRENCY; SOFTWARE PACKAGE OBJECT Z;

SOFTWARE ENGINEERING; OBJECT ORIENTED PROGRAMMING;

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

References (18)