DSpace Repository

Автоматизация проектирования программного продукта с помощью формальных спецификаций

Show simple item record

dc.contributor.author Котляров, В. П. ru_RU
dc.contributor.author Дробинцев, П. Д. ru_RU
dc.creator Санкт-Петербургский государственный политехнический университет ru_RU
dc.creator Saint Petersburg State Polytechnical University en_EN
dc.date.accessioned 2015-03-03T10:10:07Z
dc.date.available 2015-03-03T10:10:07Z
dc.date.issued 2011
dc.identifier.citation Котляров В. П., Дробинцев П. Д. Автоматизация проектирования программного продукта с помощью формальных спецификаций // Вестник НГУ. Серия: Информационные технологии. 2011. Т. 9. Вып. 4. С. 29-38. - ISSN 1818-7900. ru_RU
dc.identifier.issn 1818-7900
dc.identifier.uri https://lib.nsu.ru/xmlui/handle/nsu/6927
dc.description.abstract Considered is the problem of manual development of specifications for the designed application, which introduces a significant efforts to the software development process together with the problem of application semantics control, required by the customer. Discussed are the instruments of development automation of requirements and architectural models' formal specifications as well as the technology of specifications and models design in the notation, appropriate for the customer's control (monitoring, inspection). en_EN
dc.description.abstract Рассматривается проблема ручной разработки формальных спецификаций создаваемого приложения, вносящая существенную часть трудоемкости в производственный цикл, совместно с проблемой контроля семантики приложения в соответствии с семантикой заказанной заказчиком. Обсуждаются средства автоматизации разработки формальных спецификаций моделей требований и моделей архитектур и технология проектирования спецификаций и моделей в нотации, доступной для контроля заказчика. ru_RU
dc.description.sponsorship Работа поддержана грантом РФФИ 11-07-90412_Укр_ф_а. ru_RU
dc.language.iso ru
dc.publisher Новосибирский государственный университет ru_RU
dc.subject модели требований ru_RU
dc.subject архитектурные модели ru_RU
dc.subject семантика требований ru_RU
dc.subject контроль заказчика ru_RU
dc.subject customer's control (monitoring, inspection) en_EN
dc.subject semantics of the requirements en_EN
dc.subject architectural models en_EN
dc.subject requirements models en_EN
dc.title Автоматизация проектирования программного продукта с помощью формальных спецификаций ru_RU
dc.title.alternative Software design automation based on formal specification en_EN
dc.type Article
dc.description.reference 1. Баранов С. Н., Котляров В. П. Автоматизация формализации требований для получения сценариев тестирования программ // Перспективы систем информатики: Тр. семинара «Нау коемкое программирование». 15–19 июня 2009 г. Новосибирск, 2009. С. 27–35. 2. Baranov S., Kapitonova J., Letichevsky A., Volkov V., Weigert T. Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications // Computer Networks. 2005. Vol. 49 (5). P. 661–675. 3. Baranov S., Kotlyarov V., Letichevsky A. An Industrial Technology of Test Automation Based on Verified Behavioral Models of Requirement Specifications for Telecommunication Applications // IEEE Press. Proc. 8th Region. Eurocon. Conference. St. Petersburg, 2009. P. 122–129. 4. Баранов С. Н., Котляров В. П., Летичевский А. А. Индустриальная технология автома тизации тестирования мобильных устройств на основе верифицированных поведенческих моделей проектных спецификаций требований // Космос, астрономия и программирование. Лавровские чтения: Материалы междунар. науч. конф. СПб, 2008. С. 134–145. 5. Kotlyarov V., Drobintsev P., Peskov D., Yusupov Y. Implementation of an Integrated Verification and Testing Technology in Telecommunication Project // Proc. of St. Petersburg IEEE Chapter, International Conference. St. Petersburg, 2005. P. 87–92. ru_RU
dc.subject.udc 004.4’2
dc.relation.ispartofvolume 9
dc.relation.ispartofnumber 4
dc.relation.ispartofpages 29-38


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account