Software Is More Than Code
|
|
|
|
|
|
|
|
نویسنده
|
Rajamani Sriram K.
|
|
منبع
|
journal of universal computer science - 2007 - دوره : 13 - شماره : 5 - صفحه:602 -606
|
|
چکیده
|
This paper reviews the current practice of software engineering and outlines some prospects for developing a more holistic and formally grounded approach
|
|
کلیدواژه
|
Formal Methods ,Software Engineering
|
|
آدرس
|
Microsoft Research, India
|
|
پست الکترونیکی
|
sriram@microsoft.com
|
|
|
|
|
|
|