9:15 - 9:30 |
Opening
Hartmut Ehrig |
9:30 - 10:30 |
Integrating Specifications: Development Relations and Correspondences
Eerke Boiten |
10:30 - 11:00 |
coffee break |
11:00 - 12:30 |
Integration by Comparison
11:00 |
A comparison of sequential function charts and statecharts and
an approach towards integration
N. Bauer and S. Engell |
11:45 |
Relating LSC Specifications to UML models
J. Klose and B. Westphal |
|
12:30 - 14:00 |
lunch break |
14:00 - 15:00 |
Synthesis of Embedded Software for Reactive Systems
R. Clarisó, J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone
and Y. Watanabe |
15:00 - 15:15 |
break |
15:15 - 16:00 |
Integration of Formal Specification Languages
15:15 |
SHE'S project: a report of joint works on integration of formal specification
techniques
M. Allemand, C. Attiogbé, P. Poizat, J.-C. Royer and G. Salaün |
|
16:00 - 16:30 |
coffee break |
16:30 - 18:00 |
Integrated Development
16:30 |
Requirements on methods and techniques in perspective to approval process
for railway systems
F. Bitsch |
17:15 |
Software specification of automated production plants in the early
development stages
J. Gausemeier, T. Molt and R.Eckes |
|
9:00 - 10:30 |
Petri nets
9:00 |
A Petri net based approach to the development of correct logic controllers
S. Klein, G. Frey and L. Litz |
9:45 |
Petri nets as a semantic model for message sequence chart specifications
O. Kluge |
|
10:30 - 11:00 |
coffee break |
11:00 - 12:30 |
Verification
11:00 |
Interactive verification of statecharts
M. Balser and A. Thums |
11:45 |
Integrating verification in a design process for distributed production
control systems
H. Giese, M. Kardos and U. Nickel |
|
12:30 - 14:00 |
lunch break |
14:00 - 15:00 |
Agentification for Production Systems
A. Ritter, W. Baum, M.Höpf, E. Westkämper and A.Braatz |
15:00 - 15:15 |
break |
15:15 - 16:00 |
Precise Modelling
15:15 |
Relations in object-oriented analysis
S. Arabestani |
|
16:00 - 16:30 |
coffee break |
16:30 - 17:15 |
Experimental Investigation of Integrated Techniques
16:30 |
A railway demonstrator model for experimental investigation of integrated
specification techniques
S. Einer, H. Schrom, R. Slovák and E. Schnieder |
|
17:15 |
Closing
Hartmut Ehrig |