A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation

A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation

The considered model is used in manual development of application specifications and is based on the theory of basic protocols and respective symbolic verification tools. Means to limit the behavioral characteristics of the model still matching the source requirements are discussed. If the model is...

Full description

Bibliographic Details
Main Authors: S. N. Baranov, V. P. Kotlyarov
Format: Article
Language:English
Published: Yaroslavl State University 2011-12-01
Series:Моделирование и анализ информационных систем
Subjects:
requirements model
behavior traces
basic protocols
model scope
Online Access:https://www.mais-journal.ru/jour/article/view/1103

Similar Items

Similar Items