Domain-independent planning: representation and plan generation
Artificial Intelligence
RCS—a system for version control
Software—Practice & Experience
PROUST: Knowledge-Based Program Understanding
IEEE Transactions on Software Engineering
Automating the Transformational Development of Software
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
Worlds: an organizing structure for object-bases
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Software processes are software too
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
An architecture for intelligent assistance in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Knowledge-based support of cooperative activities
Proceedings of the Twenty-First Annual Hawaii International Conference on Decision Support and Knowledge Based Systems Track
A planner for the automation of programming environment tasks
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
PMDB—a project master database for software engineering environments
ICSE '85 Proceedings of the 8th international conference on Software engineering
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
Talking to UNIX in English: an overview of UC
Communications of the ACM
A database model for effective configuration management in the programming environment
ICSE '81 Proceedings of the 5th international conference on Software engineering
Computer-Aided Software Engineering in a distributed workstation environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Plan Recognition in Open Worlds
Plan Recognition in Open Worlds
Meta-plans That Dynamically Reformulate Plans
Meta-plans That Dynamically Reformulate Plans
Low-cost, adaptable tool integration policies for integrated environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Communications of the ACM - Special issue on analysis and modeling in software development
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Process programming by hindsight
ICSE '92 Proceedings of the 14th international conference on Software engineering
Process and measurement support in SEEs
ACM SIGSOFT Software Engineering Notes
Combining local negotiation and global planning in cooperative software development projects
COCS '93 Proceedings of the conference on Organizational computing systems
Emerging technologies that support a software process life cycle
IBM Systems Journal
A hybrid approach to software reuse
SSR '95 Proceedings of the 1995 Symposium on Software reusability
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
Simulation and analysis of business processes using GOLOG
COCS '95 Proceedings of conference on Organizational computing systems
Automating process discovery through event-data analysis
Proceedings of the 17th international conference on Software engineering
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software process description using LOTOS and its enaction
ICSE '94 Proceedings of the 16th international conference on Software engineering
Assessing process-centered software engineering environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
Process programming: a structured multi-paradigm approach could be achieved
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Software process instantiation and the planning paradigm
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Test Case Generation as an AI Planning Problem
Automated Software Engineering
Effective coordination in the software process - historical perspectives and future directions
Software Quality Control
AI Planner Assisted Test Generation
Software Quality Control
A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes
IEEE Transactions on Knowledge and Data Engineering
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
Rule Chaining in Marvel: Dynamic Binding of Parameters
IEEE Expert: Intelligent Systems and Their Applications
Techniques for Process Model Evolution in EPOS
IEEE Transactions on Software Engineering
Modeling the software process using coordination rules
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Planner Based Error Recovery Testing
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Addressing requirements issues within a conceptual modeling environment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
The IBM-McGill project on software process
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Using objects to distribute configuration management tasks
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Rapid goal-oriented automated software testing using MEA-graph planning
Software Quality Control
Goal recognition through goal graph analysis
Journal of Artificial Intelligence Research
Method Engineering: State-of-the-Art Survey and Research Proposal
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Hi-index | 0.00 |
We describe how an environment can be extended to support the process of software development. Our approach is based on the AI planning paradigm. Processes are formally defined hierarchically via plan operators, using multiple levels of abstraction. Plans are constructed dynamically from the operators; the sequences of actions in plans are tailored to the context of their use, and conflicts among actions are prevented. Monitoring of the development process, to detect and avert process errors, is accomplished by plan recognition; this establishes a context in which programmer-selected goals can be automated via plan generation. We also show how nonmonotonic reasoning can be used to make an independent assessment of the credibility of complex process alternatives, and yet accede to the programmer's superior judgment. This extension to intelligent assistance provides deeper understanding of software processes.