This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Stepwise Refinement and Verification in Box-Structured Systems
June 1988 (vol. 21 no. 6)
pp. 23-36

The author proposes that the formality of specifications and designs be developed together in box structures with many sponsor and user interfaces. Box structures of data abstractions allow the stepwise refinement and verification of hierarchical system designs from their specifications at formal and informal levels. He discusses the features and advantages of the approach. He used a navigation and weather buoy case study and gives a detailed, step-by-step application of the method.

Citation:
Harlan D. Mills, "Stepwise Refinement and Verification in Box-Structured Systems," Computer, vol. 21, no. 6, pp. 23-36, June 1988, doi:10.1109/2.948
Usage of this product signifies your acceptance of the Terms of Use.