IEEE - Institute of Electrical and Electronics Engineers, Inc. - High-integrity code generation for state-based formalisms

Proceedings of International Conference on Software Engineering

Author(s): M.W. Whalen
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2000
Conference Location: Limerick, Ireland, Ireland
Conference Date: 9 June 2000
Page Count: 3
Page(s): 725 - 727
ISBN (Paper): 1-58113-206-9
ISSN (Paper): 0270-5257
DOI: 10.1145/337180.337615
Regular:

We are attempting to create a translator for a formal state-based specification language (RSML/sup -e/) that is suitable for use in safety-critical systems. For such a translator, there are two... View More

Advertisement