Program Development by Stepwise Refinement

Communications of the ACM- United States

doi 10.1145/362575.362577

Full Text

Abstract

Available in

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
2012Dutch

“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

Developing Security Protocols by Refinement

2010English

Stepwise Development of Algorithms for the Nonlinear Projection Methods

1975English

Net Refinement by Pullback Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy