Software Is More Than Code

Sriram K. Rajamani (Microsoft Research, India)

Abstract: This paper reviews the current practice of software engineering and outlines someprospects for developing a more holistic and formally grounded approach.

Keywords: formal methods, software engineering

Categories: D.2.4, F.3.1