INT 2002 Program

Saturday, April 6

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

Sunday, April 7

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