CLPSE 2002

(Constraint) Logic Programming and Software Engineering
Copenhagen, Denmark, July 28th, 2002
Affiliated with ICLP 2002


Overview:

The aim of this workshop is to explore applications of logic programming and constraint programming to the process of constructing reliable software and to programming-in-the-large. Papers and experience reports describing use of LP and CLP techniques to various aspects of the software engineering process are invited. The workshop is a continuation of the highly successful CLPSE 2000 and CLPSE 2001. workshops held during CL2000 in London and ICLP'01 in Cyprus respectively. Topics of interest include (but are not limited to):
  • Rapid prototopying and System Modeling
  • Software Design Methodologies based on LP/CLP
  • Software Specification
  • Domain Specific Languages
  • Derivation of Efficient Implementations from Specifications
  • Automatic Software Generation
  • Testing and Debugging
  • Test Case Generation
  • Software Verification
  • Software Process Discovery
  • Software Reuse
  • Analysis of Software Systems/Software Process
  • Software Quality Assurance
  • Requirements Analysis
  • Security Issues

Off-site workshop webpage

http://www.utdallas.edu/~gupta/clpse/index.html.

Submission procedure

Electronically submit a postscript, pdf, or a word file to Papers should be a maximum of 15 pages.

Proceedings:

Informal proceedings will be published and will be available during the workshop.

Invited speaker

  • Michel Vanden Bossche, Mission Critical, Belgium
    Logic programming for software engineering

Organizer

Gopal Gupta <>, U Texas-Dallas, USA