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...
| Main Authors: | , |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
Yaroslavl State University
2011-12-01
|
| 丛编: | Моделирование и анализ информационных систем |
| 主题: | |
| 在线阅读: | https://www.mais-journal.ru/jour/article/view/1103 |