Intelligent Software Engineering

Contents

• Model-Based Specification and Generation of Programs

  Takumi Aida, Shuhei Kawasaki, and Setsuo Ohsuga

  1

  PDF

• Formal Requirements Engineering: Tracing and Resolving Conflicts Using Nonmonotonic Representations

  Grigoris Antoniou, Aditya Ghose

  7

  PDF

• Dressing AI in COTS Clothing

  Robert M. Balzer, Neil M. Goldman

  13

  PDF

• Intelligent Component Retrieval via Automated Reasoning

  Bernd Fischer, Michael Lowry, and John Penix

  21

  PDF

• Data Flow Analysis of IntelligentPad – A Basis of Reusing and Synthesizing Component Pads

  Makoto Haraguchi, Atsushi Hirata, and Ken Sadohara

  29

  PDF

• Business Rules for Automating Business Policy

  Srinivas Krovvidy, Colleen McClintock, and Jacqueline Sobieski

  37

  PDF

• A Semantic Approach Towards Software Engineering of Knowledge Bases

  Mala Mehrotra

  45

  PDF

• Intelligent Testing Can Be Lazy

  Tim Menzies, Bojan Cukic

  53

  PDF

• Minimal Revision of Logic Specification Using Extended Logic Programming: Preliminary Report

  Ken Satoh

  61

  PDF

• Detecting and Locating Faults in Hardware Designs

  Markus Stumptner, Franz Wotawa

  66

  PDF