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. Language: English