SKU/Artículo: AMZ-B0CH7ZJXC9

Formal Software Development: Student Manual (Formal Software Development - A Program of Study)

Format:

Kindle

Detalles del producto
Disponibilidad:
Fuera de stock
Peso con empaque:
0.15 kg
Devolución:
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA

Sobre este producto
  • This is a program of study for Formal Software Development. It is meant for students, instructors use a presentation format which is published separately. The presentation begins with a review of mathematical formal systems, shows why such formal systems are the foundation of software development, gives concrete examples of formal software development and presents the structure and the goals of this program of study. Formal software development is very expensive to do. It has been traditionally used only in critical applications, applications where bugs can have catastrophic consequences, for example NASA projects or train/subways safety or data center control. More recently, Artificial Intelligence systems have exhibited such power and potential for catastrophic consequences (all the way up to human extinction) that calls have been made for a pause in their development until regulatory action is taken. To prove that an AI system satisfies a formal (regulatory) requirement will eventually require the use of formal software development.

Producto prohibido

Este producto no está disponible

Este producto viaja de USA a tus manos en