Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation

Engelbert Westkämper, Matthias Bengel, Katja Fischer. Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation. In Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper, editors, Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Volume 3147 of Lecture Notes in Computer Science, pages 9-22, Springer, 2004. [doi]

Authors

Engelbert Westkämper

This author has not been identified. Look up 'Engelbert Westkämper' in Google

Matthias Bengel

This author has not been identified. Look up 'Matthias Bengel' in Google

Katja Fischer

This author has not been identified. Look up 'Katja Fischer' in Google