Computer-aided development of a real-time program
From MaRDI portal
Publication:4798476
DOI10.1007/s003780000006zbMath1057.68570MaRDI QIDQ4798476
No author found.
Publication date: 2000
Published in: Software - Concepts & Tools (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s003780000006
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Cites Work
- A brief history of Timed CSP
- Transformational design of real-time systems. II: From program specifications to programs
- A program refinement tool
- Transformational design of real-time systems. I: From requirements to program specifications
- A specification-oriented semantics for the refinement of real-time systems
- Supporting contexts in program refinement
- Refinement Calculus
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item