TY - JOUR
T1 - Real-time systems development with MASS??
AU - Gafni, Vered
AU - Feldman, Yishai
AU - Yehudai, Amiram
PY - 1999
Y1 - 1999
N2 - In this paper, we demonstrate the capability of MASS, a real-time design language, for large systems specification. The paper presents a hierarchical specification of an automatic cruise controller that evolves through stepwise refinement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of specifications in MASS.
AB - In this paper, we demonstrate the capability of MASS, a real-time design language, for large systems specification. The paper presents a hierarchical specification of an automatic cruise controller that evolves through stepwise refinement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of specifications in MASS.
UR - http://www.scopus.com/inward/record.url?scp=19144370395&partnerID=8YFLogxK
U2 - 10.1016/S1571-0661(04)00133-1
DO - 10.1016/S1571-0661(04)00133-1
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???
AN - SCOPUS:19144370395
SN - 1571-0661
VL - 25
SP - 73
EP - 86
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
T2 - The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems
Y2 - 23 October 1998 through 26 October 1998
ER -