On convergence toward a database of program transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The foundations of program verification
The foundations of program verification
Artificial Intelligence
An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
A 15 Year Perspective on Automatic Programming
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
The Programmer's Apprentice: A Session with KBEmacs
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
Data structured programming: Programm design without Arrays and Pointers
IEEE Transactions on Software Engineering
Functional programming, formal specification, and rapid prototyping
IEEE Transactions on Software Engineering
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
RT-ASLAN: A specification language for real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
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
Muse A Computer Assisted Verification System
IEEE Transactions on Software Engineering - Special issue on computer security and privacy
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language
IEEE Transactions on Software Engineering - Special issue on computer security and privacy
Experience with a data base of programs
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The SAGA approach to automated project management
An international workshop on Advanced programming environments
Maintaining Configurations of Evolving Software Systems
IEEE Transactions on Software Engineering
Software engineering concepts
On the use of formal methods in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Version control in the Inscape environment
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Database system support for software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Software evolution management: an integrated discipline for managing software
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Knowledge-based software design using design schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Please: executable specifications for incremental software development
Journal of Systems and Software
Tree-oriented interactive processng with an application to theorem-proving
Proceedings of the second conference on Software development tools, techniques, and alternatives
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Automating the software development process
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Program Transformation Systems
ACM Computing Surveys (CSUR)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Social processes and proofs of theorems and programs
Communications of the ACM
Database abstractions: aggregation
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
The Science of Programming
Reference Manual for the ADA Programming Language
Reference Manual for the ADA Programming Language
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Art of Software Testing
Management Methodology for Software Product Engineering
Management Methodology for Software Product Engineering
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software Specification Techniques (International Computer Science Series)
Software Specification Techniques (International Computer Science Series)
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Arcturus: A prototype advanced Ada@@@@ programming environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The SAGA project: A system for software development
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Stanford Pascal Verifier user manual
Stanford Pascal Verifier user manual
Rapid prototyping workshop: overview
Proceedings of the workshop on Rapid prototyping
Introduction of a formal technique into a software development environment: early observations
ACM SIGSOFT Software Engineering Notes
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
An example of formal specification as an aid to design and development
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
A tailored design language: putting model based formal specification into practice
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
ENCOMPASS is an environment to support the incremental construction of Ada® programs using executable specifications and formal techniques similar to the Vienna Development Method. ENCOMPASS supports the rigorous development of software: parts of a project may use completely formal methods, while other, less critical parts use less expensive techniques. ENCOMPASS provides automated support for all aspects of the development process including specification, prototyping, testing, formal verification, documentation, configuration control and project management. In ENCOMPASS, software can be specified using PLEASE, an Ada-based executable specification language which can be automatically translated into Prolog. A prototype implementation of ENCOMPASS has been constructed. In this paper, we give an overview of ENCOMPASS, describe the decisions made in the design of the prototype, and discuss the lessons learned in the process.