JUCS - Journal of Universal Computer Science 13(5): 602-606, doi: 10.3217/jucs-013-05-0602
Software Is More Than Code
expand article infoSriram K. Rajamani‡
‡ Microsoft Research, Bangalore, India

Corresponding author: Sriram Rajamani ( sriram@microsoft.com )

© Sriram Rajamani.
This article is freely available under the J.UCS Open Content License.
Citation: Rajamani SK (2007) Software Is More Than Code. JUCS - Journal of Universal Computer Science 13(5): 602-606. https://doi.org/10.3217/jucs-013-05-0602
Open Access
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