A knowledge-based problem-specific program generator
ACM SIGPLAN Notices
An architecture for intelligent assistance in software development
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
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Program Translation Via Abstraction and Reimplementation
IEEE Transactions on Software Engineering
Managing knowledge about information system evolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Understanding and Controlling Software Costs
IEEE Transactions on Software Engineering
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Automatic programming for streams II: transformational implementation
ICSE '88 Proceedings of the 10th international conference on Software engineering
Incremental dynamic semantics for language-based programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Vanna: a visual environment for the design of distributed systems
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
ICSE '89 Proceedings of the 11th international conference on Software engineering
Scaling up: a research agenda for software engineering
Communications of the ACM
Models of Software Development Environments
IEEE Transactions on Software Engineering
An Executable Language for Modeling Simple Behavior
IEEE Transactions on Software Engineering
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Communications of the ACM
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Tool support for engineering adaptability into software architecture
Proceedings of the International Workshop on Principles of Software Evolution
Towards automated modification of legacy assets
Annals of Software Engineering
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
Synthesis of Mathematical-Modeling Software
IEEE Software
IEEE Expert: Intelligent Systems and Their Applications
Planning by Transformational Synthesis
IEEE Expert: Intelligent Systems and Their Applications
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Integrity Constraint Reformulation for Efficient Validation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
KBMS-Based Evolutionary Prototyping of Software Systems*
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Adaptable architecture generation for embedded systems
Journal of Systems and Software - Special issue: Computer systems
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using abstraction to automate program improvement by transformation
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Automatic programming for sequence control
IAAI'92 Proceedings of the fourth conference on Innovative applications of artificial intelligence
Hi-index | 0.03 |
We present a summary of the CHI project conducted at Kestrel Institute through mid-1984. The objective of this project was to perform research on knowledge-based software environments. Toward this end, key portions of a prototype environment, called CHI, were built that established the feasibility of this approach. One result of this research was the development of a wide-spectrum language that could be used to express all stages of the program development process in the system. Another result was that the prototype compiler was used to synthesize itself from very-high-level description of itself. In this way the system was bootstrapped. We describe the overall nature of the work done on this project, give highlights of implemented prototypes, and describe the implications that this work suggests for the future of software engineering. In addition to this historical perspective, current research projects at Kestrel Institute as well as commercial applications of the technology at Reasoning Systems are briefly surveyed.