Intelligent Software Engineering
Papers from the AAAI Workshop
Aditya Ghose, Time Menzies, and Ken Satoh, Program Cochairs
Technical Report WS-99-09 published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Model-Based Specification and Generation of Programs / 1
Takumi Aida, Shuhei Kawasaki, and Setsuo Ohsuga
Formal Requirements Engineering: Tracing and Resolving Conflicts Using Nonmonotonic Representations / 7
Grigoris Antoniou and Aditya Ghose
Dressing AI in COTS Clothing / 13
Robert M. Balzer and Neil M. Goldman
Intelligent Component Retrieval via Automated Reasoning / 21
Bernd Fischer, Michael Lowry, and John Penix
Data Flow Analysis of IntelligentPad - A Basis of Reusing and Synthesizing Component Pads / 29
Makoto Haraguchi, Atsushi Hirata, and Ken Sadohara
Business Rules for Automating Business Policy / 37
Srinivas Krovvidy, Colleen McClintock, and Jacqueline Sobieski
A Semantic Approach Towards Software Engineering of Knowledge Bases / 45
Mala Mehrotra
Intelligent Testing Can Be Lazy / 53
Tim Menzies and Bojan Cukic
Minimal Revision of Logic Specification Using Extended Logic Programming: Preliminary Report / 61
Ken Satoh
Detecting and Locating Faults in Hardware Designs / 66
Markus Stumptner and Franz Wotawa
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.