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

verificationsoftware engineeringtool support

Mathematics Subject Classification ID

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

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

• 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?)
• A brief history of Timed CSP
• A program refinement tool
• A specification-oriented semantics for the refinement of real-time systems
• 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

(5)

• The variety of variables in computer-aided real-time programming
• Construction of programs for real-time processing and analysis of measuring information
• The variety of variables in automated real-time refinement
• scientific article; zbMATH DE number 1696506 (Why is no real title available?)
• A sequential real-time refinement calculus

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)