Title: Specification and design of software systems
Subjects: Specifications, Congresses, Operating systems (Computers), System design, Computer software