Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG). Final Report (Lecture Notes in Computer Science)

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Integration of Specification Techniques for Applications in Engineering, INT 2004, held in Barcelona, Spain in March 2004 as well as a documentation of the main results of a special program funded by the German Research Foundation (DFG Schwerpunktsprogramm) on the same topic.

The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.