Stepwise Refinement and Verification in Box-Structured Systems

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/2.948

June 1988 (vol. 21 no. 6) pp. 23-36

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Harlan D. Mills

	ASCII Text	x
	Harlan D. Mills, "Stepwise Refinement and Verification in Box-Structured Systems," Computer, vol. 21, no. 6, pp. 23-36, June, 1988.

	BibTex	x
	@article{ 10.1109/2.948, author = {Harlan D. Mills}, title = {Stepwise Refinement and Verification in Box-Structured Systems}, journal ={Computer}, volume = {21}, number = {6}, issn = {0018-9162}, year = {1988}, pages = {23-36}, doi = {http://doi.ieeecomputersociety.org/10.1109/2.948}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - Computer TI - Stepwise Refinement and Verification in Box-Structured Systems IS - 6 SN - 0018-9162 SP23 EP36 EPD - 23-36 A1 - Harlan D. Mills, PY - 1988 VL - 21 JA - Computer ER -

Harlan D. Mills

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.