Imagen de Portada
Código QR

Software Engineering and Formal Methods.

The article discusses computer software reliability, examining the use of an approach to programming called 'formal methods.' This approach, the article indicates, requires substantial mathematical experience and may be difficult to apply. Topics include particular domains or classes of applications...

Descripción completa

Publicado en:Communications of the ACM Vol. 51; no. 9; pp. 54 - 60
Autores principales: HINCHEY, MIKE, JACKSON, MICHAEL, COUSOT, PATRICK, COOK, BYRON, BOWEN, JONATHAN P., MARGARIA, TIZIANA
Formato: Artículo
Publicado: Association for Computing Machinery Sep2008
Materias:
Formal methods (Computer science)
Computer software development
Computer software industry
Systems design
Mathematics
Development of application software
Acceso en línea:Ver este registro en EBSCOhost
Sumario:The article discusses computer software reliability, examining the use of an approach to programming called 'formal methods.' This approach, the article indicates, requires substantial mathematical experience and may be difficult to apply. Topics include particular domains or classes of applications, specification notation and formal semantics, and a deductive apparatus for reasoning. Also discussed are verification and refinement, automated formal methods, and abstracting, modeling, and applying systems.