Publication | Closed Access
Stepwise refinement and verification in box-structured systems
137
Citations
2
References
1988
Year
EngineeringStepwise RefinementVerificationData AbstractionsComputer-aided VerificationSoftware EngineeringSystem-level DesignSystems DesignModel CheckingArchitecture SpecificationFormal VerificationBox StructuresSystems EngineeringFormal SpecificationDesignComputer ScienceSoftware DesignSpecification LanguageAutomated ReasoningFormal MethodsFunctional VerificationSystem SpecificationAbstraction Technique
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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1