Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Niklaus Wirth
Program Development by Stepwise Refinement
Communications of the ACM
Computer Science
Related publications
Aspect Refinement — Unifying AOP and Stepwise Refinement.
Journal of Object Technology
Software
Integrating Non-Functional Properties in Model Driven Development: A Stepwise Refinement View
International Journal of Information Technology and Computer Science
“To Program Is to Model”: Software Development Is Stepwise Improvement of Models
Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques
On Abstraction Refinement for Program Analyses in Datalog
Switchbox Routing by Stepwise Reshaping
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Net Refinement by Pullback Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stepwise Development of Algorithms for the Nonlinear Projection Methods
Developing Security Protocols by Refinement
