Formal and informal software engineering approaches and tools. Software engineering education at Delft University: a formatic approach

摘要

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.