High-Assurance Software Engineering Workshop (Hase '96) - Tapa blanda

IEEE Computer Society; IEEE; IEEE High-Assurance Systems Engineering Workshop

 
9780818676291: High-Assurance Software Engineering Workshop (Hase '96)

Sinopsis

This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.

"Sobre este título" puede pertenecer a otra edición de este libro.