Books > Computing & IT > Computer programming
|
Buy Now
ZUM '98: The Z Formal Specification Notation - 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Paperback, 1998 ed.)
Loot Price: R1,770
Discovery Miles 17 700
|
|
ZUM '98: The Z Formal Specification Notation - 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Paperback, 1998 ed.)
Series: Lecture Notes in Computer Science, 1493
Expected to ship within 10 - 15 working days
|
1 In a number of recent presentations - most notably at FME'96
-oneofthe foremost scientists in the ?eld of formal methods, C.A.R.
Hoare, has highlighted the fact that formal methods are not the
only technique for producing reliable software. This seems to have
caused some controversy, not least amongst formal methods
practitioners. How can one of the founding fathers of formal
methods seemingly denounce the ?eld of research after over a
quarter of a century of support? This is a question that has been
posed recently by some formal methods skeptics. However, Prof.
Hoare has not abandoned formal methods. He is reiterating, 2
albeitmoreradically, his1987view
thatmorethanonetoolandnotationwillbe requiredinthepractical,
industrialdevelopmentoflarge-scalecomplexcomputer systems; and not
all of these tools and notations will be, or even need be, formal
in nature. Formalmethods arenotasolution,
butratheroneofaselectionoftechniques that have proven to be useful
in the development of reliable complex systems, and to result in
hardware and software systems that can be produced on-time and
within a budget, while satisfying the stated requirements. After
almostthree decades, the time has come to view formalmethods in the
context of overall industrial-scale system development, and their
relationship to
othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether
we are "pro-formal" or "anti-formal," but rather the degree of
formality (if any) that we need to support in system development.
This is a goal of ZUM'98, the 11th International Conference of Z
Users, held for the ?rst time within continental Europe in the city
of Berlin, Germany.
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.