Title: Behavioral specifications of businesses and systems
Subjects: System design, Object-oriented programming (Computer science)