11. ICLP 1994, Workshop W7: Applications of Logic Programming to Software Engineering

We will discuss which features of logic programming are most useful for a software engineer, and which software engineering applications have been already developed based on a logic programming approach. Suggested topics are: Requirement analysis, specification and design based on logic programming, software engineering environments including rule-based components, Prolog-based tools, software process modeling based on logic languages, and Logic and Object-oriented programming methods.

Logic Programming for Software Process Modeling

Logic Programming as a Formal Method

maintained by Schloss Dagstuhl LZI at University of Trier