[Pre -Sale] Программное обеспечение с высокой целостностью
Цена: 34 723руб. (¥1659)
Артикул: 17227446944
Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товараПродавец:观澜墨语图书专营店
Рейтинг:
Всего отзывов:0
Положительных:0
Добавить в корзину
Другие товары этого продавца
¥140329 365руб.
¥921 944руб.
¥40846руб.
¥37782руб.
| Product DetailsОсновная информация | |
| ISBN-13Номер книги | 9780792379492 |
| Authorавтор | Victor L. Winter,Sourav Bhattacharaya |
| FormatВерсия | Твердая обложка |
| Pages NumberКоличество страниц | 344 страницы |
| PublisherИздатель | Kluwer Academic Publishers |
| Publication DateДата публикации | 31 мая 2001 г. |
| Product DimensionsРазмер товара | 15.6 x 2 x 23.4 cm |
| Shipping WeightТоварный вес | 662 g |
| LanguageЯзык | Английский |
Book Descriptionкраткое введение
Через 50 лет компьютеры смогут по возможностям соперничать с человеческим мозгом. Эффективное использование таких новых технологий представляет собой серьезную проблему для сообщества информатики, которое находит все большее количество сложных приложений в своих технологических возможностях. Помимо повышенной сложности, большинство, если не все, этих приложений также сопровождаются естественным увеличением последствий, связанных с их отказом, что приводит к созданию все более сложных систем с серьезными последствиями. Системы, попадающие в эту область, невозможно построить методом грубой силы. При разработке таких систем возникают две основные проблемы: управлять сложностью и обеспечивать достаточные доказательства того, что система удовлетворяет ограничениям надежности. Общество молчаливо рассчитывает на то, что исследовательское сообщество решит эти проблемы в сроки, удовлетворяющие потребности промышленности. Хотя были получены впечатляющие результаты, исследовательское сообщество по-прежнему в некоторой степени ограничено отсутствием реалистичных тематических исследований, с которыми можно было бы сравнивать новые методы и подходы. Целью программного обеспечения High Integrity является изучение некоторых из наиболее перспективных областей исследований в области создания сложных систем с высокими последствиями, например, тематического исследования, связанного с системой скоростного транспорта в районе залива (BART). Из-за своего масштаба и сложности тематическое исследование BART признано многими в сообществе формальных методов как одна из основных проблем тематического исследования и, как таковое, дает ценное представление о проблемах, с которыми придется столкнуться в ближайшие годы. Программное обеспечение High Integrity подходит в качестве дополнительного учебника для курсов повышения квалификации, а также в качестве справочного материала для исследователей и практиков в промышленности.