Formal methods in the classroom: The logic of real-time software design

J. S. Ostroff; R. F. Paige

doi:10.1109/RTSE.1998.766514

Formal methods in the classroom: The logic of real-time software design

J. S. Ostroff, R. F. Paige

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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 conform to specifications. In this paper, we provide an overview of how formal methods- A nd particularly real-time formal methods-can be used throughout the software development cycle, and what methods and tools can be introduced in the computer science curriculum to support software development.

Original language	English
Title of host publication	Proceedings - Real-Time Systems Education III, RTSE 1998
Editors	Janusz Zalewski, Jerzy Nawrocki, Jean-Jacques Schwarz
Publisher	IEEE
Pages	63-70
Number of pages	8
Volume	1998-November
ISBN (Electronic)	0769501346, 9780769501345
DOIs	https://doi.org/10.1109/RTSE.1998.766514
Publication status	Published - 1 Jan 1998
Event	3rd Workshop on Real-Time Systems Education, RTEW 1998 - Poznan, Poland Duration: 21 Nov 1998 → …

Conference

Conference	3rd Workshop on Real-Time Systems Education, RTEW 1998
Country/Territory	Poland
City	Poznan
Period	21/11/98 → …

Access to Document

10.1109/RTSE.1998.766514

Cite this

@inproceedings{15029964c755449283f8c2cd820c67d0,

title = "Formal methods in the classroom: The logic of real-time software design",

abstract = "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 conform to specifications. In this paper, we provide an overview of how formal methods- A nd particularly real-time formal methods-can be used throughout the software development cycle, and what methods and tools can be introduced in the computer science curriculum to support software development.",

author = "Ostroff, {J. S.} and Paige, {R. F.}",

year = "1998",

month = jan,

day = "1",

doi = "10.1109/RTSE.1998.766514",

language = "English",

volume = "1998-November",

pages = "63--70",

editor = "Janusz Zalewski and Jerzy Nawrocki and Jean-Jacques Schwarz",

booktitle = "Proceedings - Real-Time Systems Education III, RTSE 1998",

publisher = "IEEE",

address = "United States",

note = "3rd Workshop on Real-Time Systems Education, RTEW 1998 ; Conference date: 21-11-1998",

}

Ostroff, JS & Paige, RF 1998, Formal methods in the classroom: The logic of real-time software design. in J Zalewski, J Nawrocki & J-J Schwarz (eds), Proceedings - Real-Time Systems Education III, RTSE 1998. vol. 1998-November, 766514, IEEE, pp. 63-70, 3rd Workshop on Real-Time Systems Education, RTEW 1998, Poznan, Poland, 21/11/98. https://doi.org/10.1109/RTSE.1998.766514

TY - GEN

T1 - Formal methods in the classroom

T2 - 3rd Workshop on Real-Time Systems Education, RTEW 1998

AU - Ostroff, J. S.

AU - Paige, R. F.

PY - 1998/1/1

Y1 - 1998/1/1

N2 - 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 conform to specifications. In this paper, we provide an overview of how formal methods- A nd particularly real-time formal methods-can be used throughout the software development cycle, and what methods and tools can be introduced in the computer science curriculum to support software development.

AB - 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 conform to specifications. In this paper, we provide an overview of how formal methods- A nd particularly real-time formal methods-can be used throughout the software development cycle, and what methods and tools can be introduced in the computer science curriculum to support software development.

UR - http://www.scopus.com/inward/record.url?scp=84909969630&partnerID=8YFLogxK

U2 - 10.1109/RTSE.1998.766514

DO - 10.1109/RTSE.1998.766514

M3 - Conference contribution

AN - SCOPUS:84909969630

VL - 1998-November

SP - 63

EP - 70

BT - Proceedings - Real-Time Systems Education III, RTSE 1998

A2 - Zalewski, Janusz

A2 - Nawrocki, Jerzy

A2 - Schwarz, Jean-Jacques

PB - IEEE

Y2 - 21 November 1998

ER -

Formal methods in the classroom: The logic of real-time software design

Abstract

Conference

Access to Document

Other files and links

Cite this