CLPSE program

Sunday July 28th, 2002

All sessions take place in auditorium 8.

CLPSE's program is also available side by side with other meetings.

11:30-12:30  Session 1: Invited Talk

11:30  Michel Vanden Bossche, Mission Critical, Belgium
Invited talk: Logic programming for software engineering

12:30-14:00  Lunch

14:00-15:30  Session 2: Software Components

14:00  Jing Dong, Paulo S. C. Alencar, and Donald D. Cowan; U Waterloo, USA
Modeling and analysis of design component contracts in logic programming
14:30  Kung-Kiu Lau, U Manchester, UK and Mario Ornaghi, Univeristy of Milan, Italy
A priori reasoning for component-based software development
15:00  Gopal Gupta, U Texas-Dallas, USA
A language-based approach to software engineering: Domain specific languages meet software components

15:30-16:00  Refreshments

16:00-17:30  Session 3: Software Design and Analysis

16:00  J. Ferrer, A. Lorenzo, I. Ramos, J. A. Carsí, and J. Perez; Polytechnic U of Valencia, Spain
Modeling dynamic aspects in architectures and multiagent systems
16:30  S. Pelin, N. Pelin, I. Orlovsky, A. Miron, and Y. Grinev; U Applied Sciences of Moldova, Moldova
On the problem of creation of Prolog operating system
17:00  N. Pelin, S. Pelin, and A. Pelin; U Applied Sciences of Moldova, Moldova
The problem of knowledge structurization and use during training and consultation