View Item 

Show simple item record

Stepwise refinement revisited
dc.contributor.authorRajlich, Václaven_US
dc.date.accessioned2006-04-07T19:09:13Z
dc.date.available2006-04-07T19:09:13Z
dc.date.issued1985-02en_US
dc.identifier.citationRajlich, Vaclav (1985/02)."Stepwise refinement revisited." Journal of Systems and Software 5(1): 81-88. <http://hdl.handle.net/2027.42/25759>en_US
dc.identifier.urihttp://www.sciencedirect.com/science/article/B6V0N-48TD1YW-W/2/ec2ee39b80b129ffee920cd7ca7f6f85en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/25759
dc.description.abstractIn this paper, rigorous application of stepwise refinement is explored. The steps of definition, decomposition, and completion are described, where completion is a newly introduced step. This combination of steps extends the use of stepwise refinement to larger systems. The notions of range, active objects, and backlog interface are introduced. Verification of incomplete programs via interactive testing is described. The paradigm is demonstrated in an example. The relationship between the paradigm and the current programming languages is considered. It is argued that the WHILE-DO loop is a harmful construct from this point of view.en_US
dc.format.extent727546 bytes
dc.format.extent3118 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherElsevieren_US
dc.titleStepwise refinement revisiteden_US
dc.typeArticleen_US
dc.rights.robotsIndexNoFollowen_US
dc.subject.hlbsecondlevelPhilosophyen_US
dc.subject.hlbsecondlevelComputer Scienceen_US
dc.subject.hlbtoplevelHumanitiesen_US
dc.subject.hlbtoplevelEngineeringen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumUniversity of Michigan, U.S.A.en_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/25759/1/0000320.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1016/0164-1212(85)90009-3en_US
dc.identifier.sourceJournal of Systems and Softwareen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
0000320.pdf
Size:
710.4KB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe its collections in a way that respects the people and communities who create, use, and are represented in them. We encourage you to Contact Us anonymously if you encounter harmful or problematic language in catalog records or finding aids. More information about our policies and practices is available at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.