RTPA: A new approach to real-time system specification

Canadian Conference on Electrical and Computer Engineering

Volumn 2, Issue , 2002, Pages 663-668

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Formal methods; Real time systems; RTPA; Software engineering; Specification and refinement

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; SOFTWARE ENGINEERING; STORAGE ALLOCATION (COMPUTER);

REAL-TIME PROCESS ALGEBRA (RTPA);

REAL TIME SYSTEMS;

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

References (9)

1. The real-time process algebra (RTPA)
2. A new math for software engineering - The real-time process algebra (RTPA)
3. Formal description of the UML architecture and extendibility
4. Formal specification of a real-time lift dispatching system
5. Design and implementation of a web-based distributed control system
6. Case studies on translation of RTPA specifications into Java programs