|
Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Formal Methods in Systems Engineering (Paperback, Edition. ed.)
Loot Price: R1,537
Discovery Miles 15 370
|
|
|
Formal Methods in Systems Engineering (Paperback, Edition. ed.)
Expected to ship within 10 - 15 working days
|
As computer technology is used to control critical systems to an
increasing degree, it is vital that the methods for developing and
understanding these systems are substantially improved. The
mathematical and scientific foundations currently used are
extremely limited which means that their correctness and
reliability cannot be ensured to an acceptable level. Systems
engineering needs to become a fully fledged scientific discipline
and formal methods, which are characterised by their firm
mathematical foundations, are playing a vital role in achieving
this transition. This volume is based on the proceedings of the
Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27
September 1991. This was the second workshop sponsored by the
Canadian and US governments to address the role of formal methods
in the development of digital systems. Traditionally, formal
methods have evolved in isolation from more conventional
approaches, and one of the aims of this workshop was to emphasise
the benefits of integrating the two areas. The workshop
concentrated on the themes of quality assurance, design methods and
mathematical modelling techniques. Particular emphasis was given to
safety and security applications. Among the topics covered in this
volume are: what is a formal method?; social research on formal
methods; current quality assurance methods and formal methods; a
pragmatic approach to validation; integrating methods in practice;
composition of descriptions; and topics in large program formal
development. Formal Methods in Systems Engineering provides an
overview of many of the major approaches to formal methods and the
benefits which can result from them. It is relevant to academic and
industrial researchers, industrial practitioners and government
workers with an interest in certification.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
