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 64
Page 100
... output module , however , hides the exact way output is performed . This allows a family of programs to be designed , where the different members differ in the type of devices to which the output is directed . Some devices output data ...
... output module , however , hides the exact way output is performed . This allows a family of programs to be designed , where the different members differ in the type of devices to which the output is directed . Some devices output data ...
Page 163
... outputs : • • D may output a result just to one of the two output bubbles E and F , again in a nondeterministic but exclusive way . D may output the same data to both E and F. D may output distinct data to both E and F. Other ...
... outputs : • • D may output a result just to one of the two output bubbles E and F , again in a nondeterministic but exclusive way . D may output the same data to both E and F. D may output distinct data to both E and F. Other ...
Page 204
... output values . More precisely , assume that P reads all input values from and writes all output values into sequential files ; < i1 , ¡ 2 , ... , İn > is the sequence of values stored in the input file in the order in which P reads ...
... output values . More precisely , assume that P reads all input values from and writes all output values into sequential files ; < i1 , ¡ 2 , ... , İn > is the sequence of values stored in the input file in the order in which P reads ...
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