Committee on Certifiably Dependable Software Systems – författare
Visar alla böcker från författaren Committee on Certifiably Dependable Software Systems. Handla med fri frakt och snabb leverans.
5 produkter
Summary of a Workshop on Software Certification and Dependability
Av Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board m. fl.
E-bok, 2004
419 kr
Lägg i varukorg
Certification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. Today, certification relies as much on evaluation of the software development process as it does on the system''s properties. While the latter are preferable, the complexity …
Software for Dependable Systems
Sufficient Evidence?
Av Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board m. fl.
E-bok, 2007
646 kr
Lägg i varukorg
The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software. Unfortunately, it is difficult to assess the dependability of software. The …
Summary of a Workshop on Software Certification and Dependability
Av Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board m. fl.
E-bok, 2004
295 kr
Lägg i varukorg
Certification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. Today, certification relies as much on evaluation of the software development process as it does on the system''s properties. While the latter are preferable, the complexity …
Software for Dependable Systems
Sufficient Evidence?
Av Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board m. fl.
E-bok, 2007
491 kr
Lägg i varukorg
The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software. Unfortunately, it is difficult to assess the dependability of software. The …
Summary of a Workshop on Software Certification and Dependability
Av National Research Council, Division on Engineering and Physical Sciences m. fl.
Häftad, 2004
523 kr
Tillfälligt slut
Certification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. Today, certification relies as much on evaluation of the software development process as it does on the systema (TM)s properties. While the latter are preferable, the …
