Title of article
Software Is More Than Code
Author/Authors
Rajamani, Sriram K. Microsoft Research, India
From page
602
To page
606
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
Record number
2574603
Link To Document