Modelling Software System Structures in a fastly moving scenario

Workshop Programme and Schedule

Monday June 12

17.00-18.00	Registration
18.00-19.30	Welcome Reception & Registration
19.30	Dinner

Tuesday June 13

9.00	Opening
9.15-10.00 Chair E. Astesiano	Manfred Broy Dynamics, Mobility, and System Topology of Hardware/Software Nets: Towards a Mathematical Model
10.00-10.30	Coffee break
10.30-12.00 Chair T. Maibaum	Cliff Jones Formal Methods and Dependability Dave Robertson Experimental Analysis for Large Agent Systems
12.00-12.30	Discussion
12.30-15.00	Lunch break
15.00-16.30 Chair M. Bidoit	Purushothaman Iyer Unfoldings of Infinite State Systems Aloysius K. Mok Tracking Real-Time Systems Requirements
16.30-16.45	Coffee break
16.45-19.00 Chair C. Montangero	Mikhail Auguston Lightweight Semantics Models for Program Testing and Debugging Automation Paola Inverardi Software Architectures and Component Programming Marco Bernardo Performance Evaluation of Architectural Types: A Process Algebraic Approach
19.30	Dinner

Wednesday June 14

8.30-10.00 Chair Luqi	Jeffrey Tsai Compositional Approach for Modeling and Verification of Component-Based Software Systems Mike Reed Automated Formal Support for Component-Based Systems: A Commercial Strategy
10.00-10.30	Coffee break
10.30-12.00 Chair P. Inverardi	Alex Wolf Middleware Component Frameworks: A Challenge for Software Architecture Research Heinrich Hussmann Towards Practical Support for Component-Based Software Development Based on Formal Specification Carlo Montangero Specification and Composition of Software Components: Formal Methods Meet Standards
12.00-12.30	Discussion on CBSE (all speakers; A. Wolf chair)
12.30-15.00	Lunch break
15.00-16.30 Chair M. Cerioli	Christine Choppy Using CASL to Specify the Requirements and the Design: A Problem Specific Oleg Sokolsky Comparative Analysis of Design Alternatives in Embedded Systems Approach
16.30-16.45	Coffee break
16.45-20.00	Free time for a visit to Portofino
20.30	Banquet

Thursday June 15

8.30-10.15 Chair P. Iyer	Insup Lee Run-time Monitoring and Steering based on Formal Specifications Nikolaj Bjørner How to Write your Specification, Synthesize your Program and Execute it too Doug Lange A Formal Model of System and Software Engineering Experience
10.15-10.30	Coffee break
10.30-12.45 Chair D. Bjørner	Connie Heitmeyer Formal Analysis of Software Requirements: Integrating Different Techniques Zohar Manna Verification Diagrams: Logic + Automata Dan Berry Appliances and Software: The Importance of the Buyer's Warranty and the Developer's Liability in Promoting the Use of Formal Methods
12.45-15.00	Lunch break
15.00-16.45 Chair J.L. Fiadeiro	Dines Bjørner Domain Engineering - "Upstream" from Requirements Engineering Armando Haeberer An Alternative Approach for Specification-Based Functional Verification Testing Valdis Berzins Static Analysis for Program Generation Templates
16.45-17.00	Coffee break
17.00-18.10 Chair M. Broy	Gianna Reggio JTN: A Java Targeted Formal Visual Notation for the Design of Reactive Systems Werner Damm Breathing Life into Message Sequence Charts
18.10-19.00	Panel/discussion Emerging Technologies in the Practice: UML and the Like (Broy chair, Damm, Ciancarini, Jones, Reggio, Reed)
19.30	Dinner

Friday June 16

8.30-10.00 Chair H. Hussmann	Maritta Heisel Toward an Evolutionary Software Technology José Fiadeiro Coordination: the Evolutionary Dimension
10.00-10.30	Coffee break
10.30-11.55 Chair D. Berry	Du Zhang Applying Machine Learning Algorithms in Software Development
11.55-13.00	Final discussion & Closing (Luqi, M. Broy, J. Zavada, E. Astesiano)
13.00	Lunch

Last Updated: June 26, 2000 by Elisabetta Ferrando