Table | Card | RUSMARC | |
Allowed Actions: Read Download (355 Kb) Group: Anonymous Network: Internet |
Annotation
Работа посвящена проблеме повышения качества программных систем логического управления за счет разработки и проверки формальных требований к их поведению. Для этого автором определен класс контекстных требований, предложены методы для их выявления и формализации, разработан алгоритм их формальной проверки.
Usage statistics
Access count: 527
Last 30 days: 7 Detailed usage statistics |