A wide-spectrum language for object-based development of real-time systems

DOI10.1016/S0020-0255(99)00039-0MaRDI QIDQ1961818zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 1999

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0255(99)00039-0

zbMATH Keywords

interval temporal logictemporal agent model

Mathematics Subject Classification ID

Temporal logic (03B44) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1487727
• A formal design language for real-time systems with data
• An introduction to Real-Time Object-Z.
• A specification-oriented semantics for the refinement of real-time systems
• scientific article; zbMATH DE number 2086956

Cites work

• A calculus of durations
• A specification-oriented semantics for the refinement of real-time systems
• A wide-spectrum language for object-based development of real-time systems
• scientific article; zbMATH DE number 1686270 (Why is no real title available?)
• scientific article; zbMATH DE number 1686271 (Why is no real title available?)
• scientific article; zbMATH DE number 3831759 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• scientific article; zbMATH DE number 1304384 (Why is no real title available?)
• scientific article; zbMATH DE number 763725 (Why is no real title available?)
• scientific article; zbMATH DE number 860050 (Why is no real title available?)
• Process algebra for synchronous communication
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Richer types for \(Z\)

Cited in

(3)

• A wide-spectrum language for object-based development of real-time systems
• A formal design language for real-time systems with data
• Modular design of real-time systems using hierarchical communicating real-time state machines

Describes a project that uses

Uses Software

• RT-ASLAN

This page was built for publication: A wide-spectrum language for object-based development of real-time systems

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