AAAI-99 Workshop on Intelligent Software Engineering (WISE'99): Accepted Papers

Held in conjunction with: Sixteenth National (US) Conference on Artificial Intelligence (AAAI-99)

Minimal revision of logical specification using extended logic programming: Preliminary report
Satoh

Business rules for automating business policy
Krovidy, McClintock and Sobieski

Intelligent testing can be very lazy
Menzies and Cukic

Intelligent component retrieval via automated reasoning
Fischer, Lowry and Penix

Dressing AI in COTS clothing
Balzer and Goldman

Data flow analysis of Intelligent Pad - A basis for reusing and synthesizing component pads
Haraguchi, Hirata and Sadohara

A semantic approach towards software engineering of knowledge bases
Mehrotra

Formal requirements engineering: Tracing and resolving conflicts using nonmonotonic representations
Antoniou and Ghose

Model-based specification and generation of programs
Aida, Kawasaki and Ohsuga

Detecting and locating faults in hardware designs
Stumptner and Wotawa