Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language.

Autor: Semenov, V. A.1 (AUTHOR) sem@ispras.ru, Morozov, S. V.1 (AUTHOR) serg@ispras.ru, Arishin, S. V.1 (AUTHOR) arishin@ispras.ru, Kuzina, O. N.2 (AUTHOR) kuzinaon@mgsu.ru, Rimshin, V. I.2 (AUTHOR) RimshinVI@mgsu.ru, Makisha, E. V.2 (AUTHOR) makishaev@mgsu.ru
Zdroj: Programming & Computer Software. Oct2024, Vol. 50 Issue 5, p376-391. 16p.
Databáze: Academic Search Ultimate
Externí odkaz: