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
|