Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited anonymously
July 8, 2011 | History

The role of formal methods in today's software industry 1 edition

The role of formal methods in today's software industry
Bayu B. Kidane

Read

No readable version available.

Borrow

Try a WorldCat search?

Buy

Add an ISBN to link to booksellers

Lists

You could add The role of formal methods in today's software industry to a list if you log in.
About the Book

This is a theoretical as well as practical demonstration of the role of formal methods (i.e., mathematical system specification and design) in system design and development for critical systems such as air traffic control, nuclear plant monitors and space science. Softwares specified and designed mathematically do prevent much of the errors in softwares that result from using non-mathematical methods. Critical systems involve human life and high value assets and software errors can have serious consequences. In this respect, this work contributes towards using more anf more formal/mathematical methods by the software industry.

There is only 1 edition record, so we'll show it here...  •  Add edition?

The role of formal methods in today's software industry.

Published 1999 by University of East London in London .
Written in English.

Edition Notes

Thesis (M.Sc.I.T.)- University of East London, 1999.

ID Numbers

Open Library
OL18367322M

History Created December 11, 2009 · 5 revisions Download catalog record: RDF / JSON

July 8, 2011 Edited by 174.137.199.217 Edited without comment.
July 8, 2011 Edited by 174.137.199.217 Edited without comment.
June 30, 2011 Edited by 174.137.199.217 Edited without comment.
January 23, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page