dblp.uni-trier.de www.uni-trier.de

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



Paolo Ciancarini
Dip. di Matematica,
P. di Porta S. Donato, 5, 40127 Bologna, Italy.

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

Copyright © Sat May 16 23:20:24 2009 by Michael Ley (ley@uni-trier.de)