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...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 51; no. 9; pp. 54 - 60
Main Authors:	HINCHEY, MIKE, JACKSON, MICHAEL, COUSOT, PATRICK, COOK, BYRON, BOWEN, JONATHAN P., MARGARIA, TIZIANA
Format:	Article
Published:	Association for Computing Machinery Sep2008
Subjects:	Formal methods (Computer science) Computer software development Computer software industry Systems design Mathematics Development of application software
Online Access:	View this record in EBSCOhost