"Software Engineering 3: Domains, Requirements, and Software Design" - читать интересную книгу автора (Dines Bjørner)