AAAI-99 Workshop on
Intelligent Software Engineering (WISE'99): Program
Session 1: 9:00am - 10:40am
Intelligent component retrieval via automated reasoning
Fischer, Lowry and Penix
Dressing AI in COTS clothing
Balzer and Goldman
Detecting and locating faults in hardware designs
Stumptner and Wotawa
Data flow analysis of Intelligent Pad - A basis for reusing and
synthesizing component pads
Haraguchi, Hirata and Sadohara
Coffee break
Session 2: 11:00am - 12:15pm
Formal requirements engineering: Tracing and resolving conflicts
using nonmonotonic representations
Antoniou and Ghose
Minimal revision of logical specification using extended logic programming: Preliminary report
Satoh
Business
rules for automating business policy
Krovidy, McClintock and Sobieski
Lunch break
Session 3: 2:00pm - 3:15pm
Intelligent testing can be very lazy
Menzies and Cukic
A semantic approach towards software engineering of knowledge
bases
Mehrotra
Model-based specification and generation of programs
Aida, Kawasaki and Ohsuga
Coffee break
Session 4: 3:40pm - 5:20pm
Invited talk: Knowledge maintenance heresies: Meta-knowledge
confuses KM
Speaker: Tim Menzies, NASA IVV Facility/WVU
Panel discussion: AI techniques in software maintenance
Panelists: Ken Satoh, Bob Balzer, Tim Menzies, Aditya Ghose
|