Deriving real-time programs from duration calculus specifications

DOI10.1007/3-540-44798-9_7MaRDI QIDQ4787216zbMATH OpenFDO

Authors François Siewe, Dang Van Hung

Publication date 9 January 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2144/21440092

zbMATH Keywords

concurrencycontinuous specificationdiscrete designHoare triplesreal-time programshared variables

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Transformational design of real-time systems. I: From requirements to program specifications
• A sequential real-time refinement calculus
• Quantitative temporal reasoning
• Real-Time Systems
• Real-time systems development with duration calculi: an overview.

Cited in

(2)

• Transformational design of real-time systems. II: From program specifications to programs
• Separating timing and calculation in real-time refinement

This page was built for publication: Deriving real-time programs from duration calculus specifications

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