Computer-aided development of a real-time program

DOI10.1007/S003780000006MaRDI QIDQ4798476zbMATH OpenOpenAlexFDO

Authors

Publication date 2000

Published in Software - Concepts & Tools (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s003780000006

zbMATH Keywords

software engineeringtool supportverification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• A sequential real-time refinement calculus
• scientific article; zbMATH DE number 2088653
• The variety of variables in computer-aided real-time programming
• Real-time refinement in Manna and Pnueli's temporal logic
• A specification-oriented semantics for the refinement of real-time systems

Cites work

• A brief history of Timed CSP
• A program refinement tool
• A specification-oriented semantics for the refinement of real-time systems
• scientific article; zbMATH DE number 1303982 (Why is no real title available?)
• scientific article; zbMATH DE number 1304003 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1104377 (Why is no real title available?)
• scientific article; zbMATH DE number 1104387 (Why is no real title available?)
• Refinement Calculus
• Supporting contexts in program refinement
• Transformational design of real-time systems. I: From requirements to program specifications
• Transformational design of real-time systems. II: From program specifications to programs

Cited in

(8)

• Transformational vs reactive refinement in real-time systems
• Construction of programs for real-time processing and analysis of measuring information
• Real-time refinement in Manna and Pnueli's temporal logic
• scientific article; zbMATH DE number 1696506 (Why is no real title available?)
• The variety of variables in computer-aided real-time programming
• scientific article; zbMATH DE number 1304003 (Why is no real title available?)
• A sequential real-time refinement calculus
• The variety of variables in automated real-time refinement

This page was built for publication: Computer-aided development of a real-time program

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4798476)