2025-02-22T17:20:16-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-84059%22&qt=morelikethis&rows=5
2025-02-22T17:20:16-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-84059%22&qt=morelikethis&rows=5
2025-02-22T17:20:16-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:20:16-05:00 DEBUG: Deserialized SOLR response
Реализация процесса верификации для разработки надежного программного обеспечения
Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО...
Saved in:
Main Authors: | Скляр, В.В., Харченко, В.С. |
---|---|
Format: | Article |
Language: | Russian |
Published: |
Інститут проблем математичних машин і систем НАН України
2006
|
Series: | Математичні машини і системи |
Subjects: | |
Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/84059 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
2025-02-22T17:20:16-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-84059%22&qt=morelikethis
2025-02-22T17:20:16-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-84059%22&qt=morelikethis
2025-02-22T17:20:16-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:20:16-05:00 DEBUG: Deserialized SOLR response
Similar Items
-
Системы верификации на основе реконфигурируемых устройств
by: Палагин, А.В., et al.
Published: (2004) -
Моделирование процесса проведения и оценивания практикумов по компьютерной дискретной математике с использованием адаптивного тестирования
by: Белоус, Н.В., et al.
Published: (2009) -
Автоматизация процесса исследования вариантов организации перемещения транспортных потоков в железнодорожной сети
by: Сукач, Е.И.
Published: (2009) -
Имитационное моделирование процесса автоматической идентификации и коррекции типовых ошибок пользователя по словарю
by: Майстренко, С.Я.
Published: (2005) -
Метод пошаговой реструктуризации имитационных моделей для исследования вероятностных технологических процессов
by: Смородин, В.С.
Published: (2008)