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
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
Domain Specific Languages
Derivation of Efficient Implementations
Automatic Software Generation
Testing and Debugging
Test Case Generation
Software Process Discovery
Analysis of Software Systems/Software Process
Software Quality Assurance
Off-site workshop webpage
Electronically submit a postscript, pdf, or a word file to
Papers should be a maximum of 15 pages.
Informal proceedings will be published and will
be available during the workshop.
Vanden Bossche, Mission Critical, Belgium
programming for software engineering
Gopal Gupta <email@example.com>, U Texas-Dallas,