Title :
A software engineering curriculum incorporating formal methods: a progress report
Author :
Sobel, Ann E Kelley
Author_Institution :
Dept. of Syst. Anal., Miami Univ., Oxford, OH, USA
Abstract :
Summary form only given. This project, which is funded by the NSF Educational Innovation Program, integrates a 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; formal specification; software engineering; Miami University; NSF Educational Innovation Program; Systems Analysis Department; formal methods; government regulations; government standards; industry regulations; industry standards; mathematical model; progress report; software engineering curriculum; software engineering education; software system design; software system specification; software system verification; undergraduate curriculum; Application software; Computer industry; Computer languages; Data structures; Education; Problem-solving; Programming profession; Software engineering; Software systems; Springs;
Conference_Titel :
Frontiers in Education Conference, 1997. 27th Annual Conference. Teaching and Learning in an Era of Change. Proceedings.
Conference_Location :
Pittsburgh, PA
Print_ISBN :
0-7803-4086-8
DOI :
10.1109/FIE.1997.635991
