Buchumschlag

Interactive method for cumulative analysis of software formal models behavior

The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce as a result only one, usually first-found, path per specified property (which...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2018
1. Verfasser:	Kolchin, A.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	Інститут програмних систем НАН України 2018
Schlagworte:	Методи та засоби програмної інженерії
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/144590
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Interactive method for cumulative analysis of software formal models behavior / A. Kolchin // Проблеми програмування. — 2018. — № 2-3. — С. 115-123. — Бібліогр.: 12 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Interactive method for cumulative analysis of software formal models behavior
von: A. Kolchin
Veröffentlicht: (2018)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

Models and tools for effectiveness increase of requirements traceability in agile-software development
von: Tkachuk, M.V., et al.
Veröffentlicht: (2012)

Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)

Software engineering and big data software
von: Sydorov, M.O., et al.
Veröffentlicht: (2022)

Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)

First experience of using INTSPEI P-Modeling Framework in software development projects
von: Pavlov, V.L., et al.
Veröffentlicht: (2007)

Tete-A-Tete Project: software engineering tools supporting understanding
von: Hrytsay, V.P., et al.
Veröffentlicht: (2012)

Toward software engineering ecosystems definition
von: Sydorov, M.O.
Veröffentlicht: (2022)

Technological trends & software engineering education: a systematic review study
von: Nesterenko, O.V.
Veröffentlicht: (2022)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
von: Shekhovtsov, A.
Veröffentlicht: (2010)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2014)

50 лет инженерии программного обеспечения
von: Сидоров, Н.А.
Veröffentlicht: (2018)

Інформаційна технологія експертно-аналітичного оцінювання витрат на розроблення та використання програмного забезпечення комп’ютерних систем
von: Андон, П.І., et al.
Veröffentlicht: (2018)

О возможности систематического исследования систем управления производством
von: Колесник, В.Г.
Veröffentlicht: (2017)

Об одном подходе к оценке эффективности применения пост объектно-ориентированных технологий при сопровождении программных систем
von: Ткачук, Н., et al.
Veröffentlicht: (2010)

Підтримка процесу керування варіабельністю в сімействах програмних систем
von: Колесник, А.Л.
Veröffentlicht: (2012)

Генерация тестовых сценариев на основе формальной модели
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Оценка надежности модульных программных средств
von: Анцыпов, А.В., et al.
Veröffentlicht: (2010)

Підхід до конфігурування компонентів повторного використання
von: Колесник, А.Л.
Veröffentlicht: (2011)

Инженерия качества процессов производства программных систем с помощью сетей Петри
von: Матвеева, Л.Е.
Veröffentlicht: (2010)

Обеспечение качества программных средств в условиях изменяющихся требований
von: Бахтизин, В.В., et al.
Veröffentlicht: (2008)

Метод обратной семантической трассировки для контроля качества в гибкой разработке программных проектов
von: Павлов, В.Л., et al.
Veröffentlicht: (2008)

Построение имитационных моделей бизнес-процессов для сбора требований качества
von: Долгарев, А.Г., et al.
Veröffentlicht: (2008)

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
von: Годлевский, М.Д., et al.
Veröffentlicht: (2006)

Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
von: Мороз, Г.Б., et al.
Veröffentlicht: (2006)

Метод и средства редокументирования наследуемого программного обеспечения
von: Сидоров, Н.А., et al.
Veröffentlicht: (2008)

Реализация модификаций эффективных генера-торов тестов
von: Андриянов, В.А., et al.
Veröffentlicht: (2010)

Побудова стратегій переслідування з використанням функцій Ляпунова
von: Пашко, С.В.
Veröffentlicht: (2017)

Ін’єкція функціональних залежностей у контейнері інверсії керування
von: Глибовець, М.М.
Veröffentlicht: (2014)

Подход к обеспечению взаимодействия программных средств JAVA И MS.NET
von: Островский, А.В.
Veröffentlicht: (2011)

Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
von: Луцький, М.Г., et al.
Veröffentlicht: (2010)

Обеспечение надежности программных средств в зависимости от качества документации
von: Анцыпов, А.В.
Veröffentlicht: (2008)

Формалізми об’єктного проектування і тестування розподілених програмних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)

Реинженерия проектов программного обеспечения
von: Сидоров, Н.А., et al.
Veröffentlicht: (2006)

Модель процесса разработки программного обеспечения
von: Вершина, А.И., et al.
Veröffentlicht: (2006)

Концепція побудови сертифікаційної моделі якості програмних систем
von: Райчев, І.Е., et al.
Veröffentlicht: (2006)

Разработка полнофункциональных веб-приложений на основе библиотеки TauCode
von: Коваленко, А.С., et al.
Veröffentlicht: (2010)

Проблемы реинжиниринга программных legacy-систем
von: Пашковец, Н.Д., et al.
Veröffentlicht: (2010)