 | |
All
sessions take place in auditorium 8.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 |
|
|