Program Development by Stepwise Refinement

Communications of the ACM - United States
doi 10.1145/362575.362577
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Aspect Refinement — Unifying AOP and Stepwise Refinement.

Journal of Object Technology
Software
2007English

Integrating Non-Functional Properties in Model Driven Development: A Stepwise Refinement View

International Journal of Information Technology and Computer Science
2012English

“To Program Is to Model”: Software Development Is Stepwise Improvement of Models

2016English

Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques

English

On Abstraction Refinement for Program Analyses in Datalog

2013English

Switchbox Routing by Stepwise Reshaping

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
1989English

Net Refinement by Pullback Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Stepwise Development of Algorithms for the Nonlinear Projection Methods

1975English

Developing Security Protocols by Refinement

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy