A software engineering curriculum incorporating an operational formal method

Author

Sobel, Ann E Kelley

Author_Institution

Dept. of Syst. Anal., Miami Univ., Oxford, OH, USA

Volume

2

fYear

1998

fDate

4-7 Nov. 1998

Firstpage

807

Abstract

This project, which is funded by the NSF Educational Innovation Program (CDA-9522257), integrates an operational formal method into the undergraduate software engineering curriculum of the Systems Analysis Department of Miami University. A formal method consists of a mathematical model and methodology to aid in the creation of the specification, design, and verification of a software system. The justification for the introduction of a formal method not only stems from government and industry regulations/standards, but also from the national perception that the discipline of software engineering education lacks sufficient emphasis on mathematics and engineering science.

Keywords

computer science education; educational courses; formal specification; formal verification; software engineering; Miami University; NSF Educational Innovation Program; Systems Analysis Department; industry regulations; industry standards; mathematical model; operational formal method; software engineering curriculum; software engineering education; software system design; software system specification; software system verification; undergraduate software engineering curriculum; Application software; Computer industry; Education; Government; Mathematical model; Problem-solving; Software engineering; Software standards; Software systems; Technological innovation;

fLanguage

English

Publisher

ieee

Conference_Titel

Frontiers in Education Conference, 1998. FIE '98. 28th Annual

Conference_Location

Tempe, AZ, USA

ISSN

0190-5848

Print_ISBN

0-7803-4762-5

Type

conf

DOI

10.1109/FIE.1998.738806

Filename

738806