Potřebujeme váš souhlas k využití jednotlivých dat, aby se vám mimo jiné mohly ukazovat informace týkající se vašich zájmů. Souhlas udělíte kliknutím na tlačítko „OK“.
Software and systems engineering - Capabilities of software safety and security verification tools
Přeložit název
NORMA vydána dne 12.6.2020
Označení normy: ISO/IEC 23643-ed.1.0
Datum vydání normy: 12.6.2020
Kód zboží: NS-996960
Počet stran: 30
Přibližná hmotnost: 90 g (0.20 liber)
Země: Mezinárodní technická norma
Kategorie: Technické normy ISO
This document specifies requirements for the vendors and gives guidelines for both the users and the developers of software safety and security verification tools. The users of such tools include, but are not limited to, bodies performing verification and software developers who need to be aware and pay attention to safety and/or security of software. This document guides the verification tool vendors to provide as high-quality products as possible and helps the users to understand the capabilities and characteristics of verification tools. This document introduces use cases for software safety and security verification tools and entity relationship model related to them. This document also introduces tool categories for software safety and security verification tools and gives category specific guidance and requirements for the tool vendors and developers.
Chcete pravidelně odebírat informace o nově vycházejících normách z celého světa a to zcela zdarma?
Přihlašte se k odběru. Vše je velice jednoduché a absolutně ZDARMA.
Na výběr máte vydavatele z celého světa.
Poslední aktualizace: 24.05.2026 (Počet položek: 2 279 951)
© Copyright 2026 NORMSERVIS s.r.o.