Series Foreword
Advances in Formal Methods
Michael Hinchey
Series Editor
University
of
Nebraska-Omaha
College
of
Information Science and Technology
Depanment
of
Computer Science
Omaha,
NE
68182-0500
USA
Email: mhinchey@unomaha.edu
As early as 1949, computer pioneers realized that writing a program that
executed as planned was no simple task. Turing even saw the need to address
the issues
of
program correctness and termination, foretelling groundbreaking
work
of
Edsger Dijkstra, John McCarthy, Bob Floyd, Tony Hoare, Sue Owicki
and David Gries, among others, two and three decades later.
The
termjormal methods refers to the application
of
mathematical techniques
for the specification, analysis, design, implementation and subsequent
maintenance
of
complex computer software and hardware. These techniques
have proven themselves, when correctly and appropriately applied,
to
result in
systems
of
the highest quality, which are well documented, easier to maintain,
and promote software reuse.
With emerging legislation, and increasing emphasis in standards and university
curricula, formal methods are set to become even more important in system
development. This Kluwer book series, Advances in Formal Methods, aims
to present results from the cutting edge
of
formal methods research and
practice.
Books in the series will address the use
of
formal methods in both hardware
and software development, and the role
of
formal methods in the development
of
safety-critical and real-time systems, hardware-software co-design, testing,
simulation and prototyping, software quality assurance, software reuse,
security, and many other areas. The series aims to include both basic and
advanced textbooks, monographs, reference books and collections
of
high
quality papers which will address managerial issues, the development process,
5星 · 超过95%的资源 需积分: 9 94 浏览量
2013-11-04
19:12:55
上传
评论
收藏 8.93MB PDF 举报 
troore2015-06-08这方面的资料很少，完整版，学习了！
spookssos2018-08-17感谢楼主分享，很不错，非常好用，
hanyue4072014-07-29内容完整，字迹清晰，非常好的一本书
