The foundations of program verification
The foundations of program verification
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Automating the Transformational Development of Software
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Research on Knowledge-Based Software Environments at Kestrel Institute
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Understanding and Automating Algorithm Design
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Advances in software inspections
IEEE Transactions on Software Engineering
Knowledge-based programming: a survey of program design and construction techniques
IEEE Transactions on Software Engineering
The application of formal methods to the assessment of high integrity software
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Systematic software development using VDM
Systematic software development using VDM
Readings in artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
Software engineering concepts
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
On the use of formal methods in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Structured walkthroughs: 4th edition
Structured walkthroughs: 4th edition
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Please: executable specifications for incremental software development
Journal of Systems and Software
Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Language constructs for managing change in process-centered environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Cognitive walkthroughs: a method for theory-based evaluation of user interfaces
International Journal of Man-Machine Studies
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
ACM SIGSOFT Software Engineering Notes
Tutorial on Software Design Techniques
Tutorial on Software Design Techniques
Tutorial, Human Factors in Software Development
Tutorial, Human Factors in Software Development
The Science of Programming
A Discipline of Programming
Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
A Study of 12 Specifications of the Library Problem
IEEE Software
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hi-index | 0.00 |
We are investigating software design processes using a three part approach. For a design method of interest, we first perform walkthroughs on a number of small problems. Second, we construct a simulation program which duplicates the designs produced by the walkthroughs, and third, we construct a process program that supports human application of the method. We have been pursuing this program for the formal design process developed by Dijkstra and Gries. In this paper, we describe our first step towards process programming this method: ISLET, a language-oriented program/proof editor. ISLET supports simple stepwise refinement with proof by automatically generating and mechanically certifying verification conditions. In addition, through ISLET the programmer has access to a library of pre-verified cliches that can be used to create programs more easily. We have constructed a prototype implementation in Prolog and used it to generate a number of example designs.