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