Application of formal methods in the design of a single window system
This paper proposes an approach that demonstrates the development of single window document circulation systems at the early stage of their design, based on the use of formal methods in the specification of a system, the specification of metrics for its analysis and the estimation of metrics values....
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Belarusian |
| Published: |
Belarusian State University
2021-04-01
|
| Series: | Журнал Белорусского государственного университета: Математика, информатика |
| Subjects: | |
| Online Access: | https://journals.bsu.by/index.php/mathematics/article/view/3525 |