Unformatted text preview: The architect must always be prepared to show an implementation for any feature he describes and always dictate the implementation. d. Almost all formal definitions turn out to embody or describe an implementation of the hardware or software system whose externals they are prescribing. e. Data for building isolated small programs are not applicable to programming systems products. 3. The second-system effect has another manifestation somewhat different from pure functional embellishment. That is a tendency to refine techniques whose very existence has been made obsolete by changes in basic system assumptions. The author enumerated three examples in OS/360. What are these three examples? And please give a simple description of them. 4. What are the merits and weaknesses of formal definitions?...
View Full Document
- Spring '08
- OS/360, Formal Definitions, isolated small programs, te chniques