IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal methods in the classroom: the logic of real-time software design

Proceedings of Workshop on Real-Time Systems Education (RTEW'98)

Author(s): Ostroff, J.S. ; Paige, R.F.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1998
Conference Location: Poznan, Poland, Poland
Conference Date: 21 November 1998
Page(s): 63 - 70
ISBN (Paper): 0-7695-0134-6
DOI: 10.1109/RTSE.1998.766514
Regular:

In recent years, much progress has been made towards the development of mathematical methods ("formal methods") through which it is possible, in principle, to specify and design software to... View More

Advertisement