Моделирование и верификация операционных сред информационно-управляющих систем

Окулевич В.В.



Аннотация

Одной из острейших проблем современной вычислительной техники является повышение качества программного обеспечения. Эта проблема чрезвычайно актуальна, поскольку такие области применения вычислительной техники, как медицина, производство, транспорт, авиация и ядерная энергетика, предъявляют высокие требования к качеству применяемых информационно-управляющих систем.




Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика