Title: Specification of software systems
Subjects: Specifications, Software engineering, Computer software, Logic design, Computer science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters