Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 13 / Issue 5

available in:   HTML (14 kB) PDF (23 kB) PS (16 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-013-05-0602

 

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