Title of article :
Software Is More Than Code
Author/Authors :
Rajamani, Sriram K. Microsoft Research, India
Abstract :
This paper reviews the current practice of software engineering and outlines some prospects for developing a more holistic and formally grounded approach
Keywords :
Formal Methods , Software Engineering
Journal title :
International Journal of Universal Computer Sciences
Journal title :
International Journal of Universal Computer Sciences
