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
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A user interface management system
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Graphical specification of user interfaces with behavior abstraction
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Hi-index | 0.00 |
A knowledge based software development environment under development at Lockheed's Software Technology Center (STC) in Austin, Texas. The environment, called Express, consists of several very high level executable specification languages, their corresponding translation systems, and a knowledge based framework to integrate and manage the specifications both at specification time and execution time. Express generates code automatically via a series of correctness-preserving transformations on the specifications. The ultimate effect is a dramatic increase in software development productivity and maintainability. This paper provides an overview of the environment and highlights the development of the Graphical Specification Subsystem which is the component of the environment for prototyping the interface between the target user and the embedded system interface.