Fundamentals of Software EngineeringThis volume provides a look at the fundamentals of software engineering - stressing principles, methods, and rigorous formal and informal approaches. |
Contents
ITS NATURE AND QUALITIES | 17 |
Measurement of Quality | 40 |
SOFTWARE VERIFICATION 255 | 46 |
Copyright | |
14 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 data type abstract object activity Ada programming language algebra algorithm analysis analyze application approach buffer called Chapter client modules compiler complete components concurrent control flow graph correctness cycle data structure defined described discussed document elevator environment error example execution Exercise exported Figure floor formal function goal graph implementation incremental information hiding input insert instance integration interaction interface issues loop M₁ machine Modula-2 modular node object-oriented operating system output performance PERT chart Petri nets phase principles problem procedure programming language prototype QUEUE real-time systems relation reliability represent requests requirements reusable schedule Section semantics separation of concerns sequence software design software development software engineering software production software system specification statement stepwise refinement symbolic syntax-directed editor t₁ techniques test set transition UNIX variable verification waterfall model