М.: Институт системного программирования РАН, 2004. — 14 с.
В современном мире все больше задач в экономике, социальной и
частной жизни людей решаются с использованием программного
обеспечения (ПО). В связи с этим функциональность индустриально
разрабатываемого ПО все больше усложняется, и вместе с тем
возрастают требования к его надежности и другим показателям
качества. Проблемы построения надежного ПО высокой сложности не
могут быть решены без привлечения передовых методов его разработки,
использующих последние достижения научной мысли.
Однако внедрение подобных методов в промышленную практику сталкивается с целым рядом проблем…
Однако внедрение подобных методов в промышленную практику сталкивается с целым рядом проблем…