.
FORUM PROGRAMME
TECHNICAL PROGRAMME . TUTORIALS . FRINGE
MEETINGS
SSDL
Friday, September 3
| 9h00 - 10h00 | Keynote Speaker |
Chair: |
K. Kronlof, Nokia, Finland |
| Introducing the B method R Abrial, France - ABSTRACT |
| 10h00 - 11h00 | Session 3.4: Invited papers |
Chair: |
|
Invited 1 |
Atelier B: the software environment for "methode B" Thierry Lecomte, Steria, France - ABSTRACT |
Invited 2 |
METEOR: an industrial success in formal development P. Behm, Matra, France - ABSTRACT |
| 11h00 - 11h15 | Break |
| 11h15 - 12h30 | Panel: Languages and Semantic for the System Level Specification and Design |
Chair: |
G. Gorla, Italtel SpA, Italy O. Levia, Improv Systems, USA |
The MCSE Approach for System-Level Design | |
Language contest |
| 12h30 - 13h30 | Lunch |
| 13h30 - 14h15 | Session 3.5: Formal Specifications |
Chair: |
A. Jantsch, Royal Institute of Technology, Sweden |
S1 |
Port-Stitching: An Interface-Oriented Hardware Specification and VHDL
Model Generation E. Cerny, AF Nicolae Univ. of Montreal, Canada - ABSTRACT |
S2 |
A mixed event-value based specification model for reactive systems T. Bartos, N. Fristacky, J. Kacerik FEI STU Bratislava, Slovakian Republic - ABSTRACT |
S3 |
Translating Formal Specifications of Transfer Protocols to Ada95 A. Jungmaier, O. Drögehlrn, HD Hümmer, W. Geisselhardt Univ. of Duisburg, Germany - ABSTRACT |
S4 |
UF: architectural language for multi-formalism descriptions LS Fernandez, S. Pickin, A. Groba, NM Madrid, A. Alonso Univ. Carlos III de Madrid, Spain - ABSTRACT |
| 14h15 - 15h00 | Poster Session |
| 15h00 - 16h30 | Session 3.6: SLDL Meeting Session |
Chair: |
S. Schulz, Texas Instruments, USA |
S1 |
The SLDL standardization project and the language basics D. Barton, Averstar, USA - ABSTRACT |
S2 |
Facets and Domains in SLDL P. Alexander, University of Cincinnati, K. Roshan, D. Barton, Averstar, USA - ABSTRACT |
S3 |
Enabling VC exchange through system-level VC standards C. Lennard, Cadence, USA - ABSTRACT |
| 16h30 - 17h00 | Closing / Lottery / Best paper awards |
Chair: |
R. Seepold, FZI, Germany |
| 17h00 | SLDL Meeting Session (cont'd) |