Mathematical foundations of software engineering: a roadmap

Although we do not profess to be capable of defining a `roadmap' for the foundations of SE over the next ten years, we can discern some important steps that would be extremely useful for the systematisation of design knowledge. The focal point is the concept of normaldesign, introduced by [Vincenti] to describe the systematic approach of mature engineering disciplines to standard design problems. Using his categorisation of engineering knowledge and a framework based on the epistemology of science developed by the logical empiricists, we were able to outline some useful theoretical and methodological issues, which would contribute to developing a mature SE praxis.

• Type: Conference
• Year: 2000
• Where: ICSE
• Authors: T. S. E. Maibaum
• Keywords: ICSE 2000, Mature Engineering Disciplines, Mature Se Praxis, Software Engineering, Standard Design Problems