DocumentCode
2397840
Title
Formal and informal software engineering approaches and tools. Software engineering education at Delft University: a formatic approach
Author
van Katwijk, Jan ; Toetenel, Hans
Author_Institution
Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
fYear
1994
fDate
22-25 Nov 1994
Firstpage
178
Lastpage
184
Abstract
We report on our experiences in an attempt to radically change the programming and software engineering education within the framework of the Informatics curriculum of the faculty Technical Mathematics and Informatics. Some general issues are discussed, and an example of the integration of developing a simple software tool, using a sound mix of formalisms and pragmatism
Keywords
computer aided software engineering; computer science education; formal specification; program verification; software tools; Delft University; formal software engineering approaches; informal software engineering approaches; software engineering education; software tool; Educational programs; Educational technology; Engineering education; Informatics; Magnetic resonance imaging; Mathematical programming; Mathematics; Programming profession; Software engineering; Software tools;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Education Conference, 1994. Proceedings.
Conference_Location
Dunedin
Print_ISBN
0-8186-5870-3
Type
conf
DOI
10.1109/SEDC.1994.475334
Filename
475334
Link To Document