Самонов Александр Валерьянович

Публикации в базе данных Math-Net.Ru

1. Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов»
   
   Труды ИСП РАН, 31:5 (2019),  165–182
2. Methodology and tools for development and verification of formal fUML models of requirements and architecture for complex software and hardware systems
   
   Труды ИСП РАН, 30:5 (2018),  123–146