Fundamentals of Software EngineeringThis volume provides a look at the fundamentals of software engineering - stressing principles, methods, and rigorous formal and informal approaches. |
From inside the book
Results 1-3 of 90
Page 2
... system should do . In designing an electrical engineering system , such as an amplifier , the system is specified precisely . All parameters and tolerance ... Software Engineering : A Preview The Role of Software Engineering in System Design.
... system should do . In designing an electrical engineering system , such as an amplifier , the system is specified precisely . All parameters and tolerance ... Software Engineering : A Preview The Role of Software Engineering in System Design.
Page 6
... system . A rigid fragmentation of roles , however , is often counterproductive . 1.4 THE SOFTWARE LIFE CYCLE From the inception of an idea for a software system , until it is implemented and delivered to a customer , and even after that ...
... system . A rigid fragmentation of roles , however , is often counterproductive . 1.4 THE SOFTWARE LIFE CYCLE From the inception of an idea for a software system , until it is implemented and delivered to a customer , and even after that ...
Page 10
... system is determined before any queries are made to the system . On the other hand , since not all types of queries ... software engineering is quite strong primarily because operating systems were the first really large software systems ...
... system is determined before any queries are made to the system . On the other hand , since not all types of queries ... software engineering is quite strong primarily because operating systems were the first really large software systems ...
Contents
SOFTWARE VERIFICATION 255 | 13 |
ITS NATURE AND QUALITIES | 17 |
Measurement of Quality | 40 |
Copyright | |
15 other sections not shown
Other editions - View all
Fundamentals of Software Engineering Carlo Ghezzi,Mehdi Jazayeri,Dino Mandrioli No preview available - 2003 |
Common terms and phrases
abstract activity affect allows analysis application approach build called Chapter client compiler complex components concurrent consider consists contains correctness cost data structure defined depends described discussed document elements elevator environment errors example execution Exercise existing exported fact Figure floor formal function given identify illustrated implementation important incremental initial input instance integration interaction interface issues loop machine means methods module natural notation object operation organization output particular performance phase possible practice presented principles problem procedure programming language properties qualities reason relation reliability represent requests requirements result separately sequence shows software engineering specification standard statement structure Suppose symbolic task techniques testing variables verify write