A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems*
| العنوان: | A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems* |
|---|---|
| المؤلفون: | N. M. Mishchenko, A. B. Godlevsky, N. N. Shchogoleva, O. D. Felizhanko, M. K. Morokhovets |
| المصدر: | Cybernetics and Systems Analysis. 52:684-697 |
| بيانات النشر: | Springer Science and Business Media LLC, 2016. |
| سنة النشر: | 2016 |
| مصطلحات موضوعية: | Functional specification, 021103 operations research, General Computer Science, Computer science, business.industry, Programming language, 010102 general mathematics, 0211 other engineering and technologies, 02 engineering and technology, Formal methods, computer.software_genre, 01 natural sciences, Automation, Behavioral modeling, Software, Formal specification, 0101 mathematics, business, computer, Natural language, Verification and validation |
| الوصف: | An approach is proposed to the construction of functional specifications and automation of the transition from natural language specifications to formal models in a format convenient for the subsequent verification and validation of these models. Texts are transformed into models with the help of the interactive system PNS. The described approach is illustrated by a detailed example. |
| تدمد: | 1573-8337 1060-0396 |
| DOI: | 10.1007/s10559-016-9871-9 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::6fc99be6c2f68d2a25168b9cf7da8a7d https://doi.org/10.1007/s10559-016-9871-9 |
| Rights: | CLOSED |
| رقم الانضمام: | edsair.doi...........6fc99be6c2f68d2a25168b9cf7da8a7d |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 15738337 10600396 |
|---|---|
| DOI: | 10.1007/s10559-016-9871-9 |