Preface
Hartmut Ehrig, Martin Große-Rhode, Fernando Orejas
(text)
Data-Components for the Design of Paradigm-Oriented (Specification
Languages)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
(extended
abstract)
Views for the Integration of Datatypes and Control Specifications
Christine Choppy, Pascal Poizat, Jean-Claude Royer
(extended
abstract)
Formal Specification and Verification of a Radio-based Signaling
System
Werner Damm, Jochen Klose
(abstract,
papers
and transparencies)
Petri Nets in Integrated Software Specification
Jörg Desel
(extended
abstract)
Contract Based System Development
Jose Luiz Fiadeiro, Luis Andrade
(abstract
, transparencies
as
pdf file)
Integration Modelling
Martin Große-Rhode
(extended
abstract,
transparencies)
Some Approaches for Integration of Specification Techniques
Anne Haxthausen
(extended
abstract , transparencies)
Traffic Control Systems Case Study: Problem Description and a Note
on Domain-based Software Specification
Lars Jansen, Eckehard Schnieder
(extended
abstract), transparencies in pdf
and postscript
format)
Rationalising the Conceptual Basis of Software Engineering
Tom Maibaum
(abstract)
Executing E-LOTOS Processes in Maude
Narciso Marti-Oliet, Alberto Verdejo
(extended
abstract and slides)
Integration and Classification of Data Type and Process Specification
Techniques
Fernando Orejas, Hartmut Ehrig
(extended
abstract)
Verification and Safety Analysis of Formal Models
Wolfgang Reif, Andreas Thums
(extended
abstract)
Workflow Descriptions in Engineering Applications
Gunter Saake, Stefan Conrad, Sören Balko
(extended
abstract)
Production Automation Case Study
Engelbert Westkämper, Christoph Schaeffer, Arnulf Braatz
(extended
abstract, transparencies)