Title: Formal specification and design
Subjects: Development, Computer software, Object-oriented programming (Computer science), Computer software, development, Object-oriented programming (computer science)