Requirements Engineering for Real-Time and Embedded Systems
Comparing software systems developed today with systems developed some years ago, one can often observe an enormous increase in complexity. Consider the size of the systems: in the fifties programmers were content to solve mathematical equations or formulas with programs containing some hundred lines of code. Today, new software projects often involve many 100,000 lines of code, addressing complete factory automation or complicated weapon systems.
KeywordsControl Specification Mini Specification State Transition Diagram Case Tool Data Dictionary
Unable to display preview. Download preview PDF.
- DeMarco, “Structured Analysis and System Specification”8, Yourdon Press, Prentice Hall, New York, 1978Google Scholar
- Derek Hatley, “The Use of Structured Methods in the Development of Large”, Software-Based Avionic Systems, Proc. AIAA, pp. 6–15, Baltimore, 1984Google Scholar
- Peter Hruschka, “ProMod at the age of 5”, LNCS 289, ESEC’ 87 (Nichols, Simpson Eds.), Springer, Hamburg, 1978Google Scholar
- Derek Hatley, Imtiaz Pirbhai, “Strategies for Real-Time SystemSpecification”, Dorset House, New York; in Europe: John Wiley, London, 1987Google Scholar