A knowledge-based problem-specific program generator
ACM SIGPLAN Notices
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A knowledge-base environment for the development of software parts composition systems
ICSE '89 Proceedings of the 11th international conference on Software engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Models of Software Development Environments
IEEE Transactions on Software Engineering
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
ACM Computing Surveys (CSUR)
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
IEEE Transactions on Software Engineering
Managing performance requirements for information systems
Proceedings of the 1st international workshop on Software and performance
Management of Performance Requirements for Information Systems
IEEE Transactions on Software Engineering
KBMS: A Knowledge-Based System for Modeling Software System Specifications
IEEE Transactions on Knowledge and Data Engineering
Planning by Transformational Synthesis
IEEE Expert: Intelligent Systems and Their Applications
Model-Based Automatic Generation of Sequence-Control Programs from Design Information
IEEE Expert: Intelligent Systems and Their Applications
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Control Localization in Domain Specific Translation
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Requirements for information system reverse engineering support
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
Wrapper-based evolution of legacy information systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic programming for sequence control
IAAI'92 Proceedings of the fourth conference on Innovative applications of artificial intelligence
The transformational approach to database engineering
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Reverse engineering and reusing COBOL programs: a program transformation approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
| Hi-index | 0.00 |
This paper reports on efforts to extend the transformational implementation (TI) model of software development [1]. In particular, we describe a system that uses AI techniques to automate major portions of a transformational implementation. The work has focused on the formalization of the goals, strategies, selection rationale, and finally the transformations used by expert human developers. A system has been constructed that includes representations for each of these problem-solving components, as well as machinery for handling human-system interaction and problem-solving control. We will present the system and illustrate automation issues through two annotated examples.