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
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;
Conference_Titel :
Software Education Conference, 1994. Proceedings.
Conference_Location :
Dunedin
Print_ISBN :
0-8186-5870-3
DOI :
10.1109/SEDC.1994.475334
