Computer-aided development of a real-time program

DOI10.1007/S003780000006MaRDI QIDQ4798476zbMATH OpenOpenAlexFDO

Authors Luke Wildman, Colin Fidge, David B. Carrington

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 605806 (Why is no real title available?)
• Refinement calculus. A systematic introduction
• Refinement of infeasible real-time programs
• Separating timing and calculation in real-time refinement
• Supporting contexts in program refinement
• Supporting contexts in the sequential real-time refinement calculus
• The refinement calculator: Proof support for 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
• Real-time program refinement using auxiliary variables
• The variety of variables in computer-aided real-time programming
• Supporting contexts in the sequential real-time refinement calculus
• 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)