Software and systems safety : specification and verification /

Afficher d'autres versions (1)

Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the c...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification Marktoberdorf, Germany
Autres auteurs: Broy, M., 1949- (Éditeur intellectuel), Leuxner, Christian (Éditeur intellectuel), Hoare, C. A. R. (Charles Antony Richard), 1934- (Éditeur intellectuel)
Format: Électronique Actes de congrès eBook
Langue:Inglés
Publié: Amsterdam : IOS Press, 2011.
Collection:NATO science for peace and security series. Information and communication security ; v. 30.
Sujets:
Computer software > Verification > Congresses.
Software engineering > Congresses.
Computer security > Congresses.
Logiciels > Vérification > Congrès.
Génie logiciel > Congrès.
Sécurité informatique > Congrès.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > General.
COMPUTERS > Software Development & Engineering > Tools.
Computer security
Computer software > Verification
Software engineering
Conference papers and proceedings
Accès en ligne:Texto completo

Internet

Texto completo

Items no disponibles

Items no disponibles

Informations d'exemplaires de

Documents similaires