DocumentCode :
2577427
Title :
Introducing formality into the software development process: experience with a software project course
Author :
Nicholl, Robin A.
Author_Institution :
Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
fYear :
1990
fDate :
31 Oct-2 Nov 1990
Firstpage :
717
Lastpage :
726
Abstract :
One testbed for examining formal methods is a software project course. The author describes how the software process model used for such a course is now at the point where students are required to adopt an entirely formal approach to the development of their software projects. This software process model also strictly separates the responsibility for building a software system from the responsibility for specifying it; a separation that is facilitated by the use of formal notation to achieve precise communication. The author describes this software development process and assesses it both from an engineering and from an educational perspective. He also identifies areas where the effectiveness of formal methods must be further increased
Keywords :
computer science education; educational courses; software engineering; systems analysis; formal methods; software development process; software process model; software project course; Communication system software; Computer science; Design engineering; Formal specifications; Programming; Software engineering; Software maintenance; Software quality; Software systems; Software testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-2054-4
Type :
conf
DOI :
10.1109/CMPSAC.1990.139468
Filename :
139468
Link To Document :
بازگشت