Software Engineering for Manufacturing Systems

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.