Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Riwan Cuinat"'
Publikováno v:
2020 IEEE Workshop on Formal Requirements (FORMREQ).
High quality requirements and specifications are the premises of efficient software system engineering. Formal approaches propose precise and unambiguous requirements amendable to automated reasoning. TLA+, for instance, is used by major companies, s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44a8664b55746d97bfae64662f5bf8c0
https://doi.org/10.1109/formreq51202.2020.00008
https://doi.org/10.1109/formreq51202.2020.00008
