The variety of variables in computer-aided real-time programming

MaRDI QIDQ2844816zbMATH OpenFDO

Authors Luke Wildman, Colin Fidge

Publication date 19 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105804839

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

• The variety of variables in automated real-time refinement
• Computer-aided development of a real-time program
• scientific article; zbMATH DE number 1696506
• scientific article; zbMATH DE number 1949613
• A sequential real-time refinement calculus

Cited in

(4)

• scientific article; zbMATH DE number 1696506 (Why is no real title available?)
• Computer-aided development of a real-time program
• The variety of variables in automated real-time refinement
• Variability encoding: from compile-time to load-time variability

This page was built for publication: The variety of variables in computer-aided real-time programming

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