Software Is More Than Code
Дата
Авторы
Rajamani,Sriram
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
This paper reviews the current practice of software engineering and outlines someprospects for developing a more holistic and formally grounded approach.
Ключевые слова
formal methods , software engineering