Selected articles: Abstract data types. Algorithms for graphs. Algorithms: theoretical basis. Artificial intelligence: applications. Artificial intelligence: methods. Code generation. Communication protocols in control systems. Compatibility and standards for software. Compiler compilers. Concurrency. Concurrent programming. Control system architecture. Cryptology. Data structure and algorithms. Databases, intelligent. Design methodologies. Diagnostic software. Embedded systems. Examination and measurement of software. Fault tolerance of software. File access methods. Functional programming. Hardware: logic design software. Image processing in control. Impact analysis and hierarchical inference. Information structuring by hypertext. Knowledge engineering. Language theory. Lifecycles. Logic programming. Maintenance of software. Modularization of software. Neural networks. Numerical control software. Object-oriented programming. Operating systems. Parallel algorithms. Petri nets: an introduction. Petri nets: application issues. Procedural programming languages. Protection of software. Real-time control software. Real-time software: validation and verification. Requirements capture. Safety and security of software. Simulation languages: taxonomy. Software engineering environments. Software metrics. Specification languages. Systolic algorithms for VLSI. Testing of systems using software. Time concepts in software. Validation and verification of software. Virtual machines. List of acronyms.