Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.

Zusammenfassung
Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface.

Inhalt
1 Software engineering for control technology definitions and requirements.- 2 Life cycle support for PLC controlled manufacturing systems.- 3 State diagrams: a new programming method for programmable logic controllers.- 4 Applying simulation modeling techniques for the design and assessment of control software.- 5 A CP-net approach to control logic engineering.- 6 Modeling and simulation of combined discrete event-continuous systems using DEYS formalism and object-oriented paradigm.- 7 Principles of CASE tool design for automation control.- 8 VPLC a CASE tool for the virtual programming, simulation and diagnosis of PLC software.- 9 ASPECT a CASE tool for control functions originating from mechanical layout.- 10 Case tools for flexibile manufacturing systems.- 11 An environment and algorithm for FMS controller testing.- 12 Reusability of function-oriented and object-oriented master control software.- 13 A reusable software artifact library system as the core of a reuse-oriented software enterprise.- 14 Software design practice using two SCADA software packages.- 15 GENIUS: a generator for graphical user interfaces.- Index of contributors.- Keyword index.