|
Showing 1 - 2 of
2 matches in All Departments
This volume records the 10th Anniversary Colloquium of UNU/IIST,
the Int-
nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held
in Lisbon, Portugal, March 18-21, 2002. Armando Haeberer, then
Chairman of the board of UNU/IIST, conceived the idea of an
international meeting in ce-
brationoftheinstitute's10thanniversary.
HewasworkinginLisbonatthistime
andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg-
ernment had been one of the major sponsors of the institute, right
from the very beginning. The aim of the meeting, organized by the
Board of UNU/IIST, was twofold. First, the institute's research
work should be re-assessed and diss- inated. Second, the future
role of UNU/IIST's research area, formal methods, should be
discussed. Role of Formal Methods. Over at least three decades of
development, the c- ception of what role formal methods should play
in software engineering seems to have changed dramatically,
in?uenced by both advocates and detractors. - ginning with a
fundamentalist view that contested the genuineness of any 'n-
formal' practice, dismissing it as an inappropriate contribution to
the as yet ill-de?ned corpus of so-called software engineering, the
conception of what this role should be has apparently evolved to a
less naive engineering viewpoint. - day, as these theoretical
methods acquire a new maturity and breadth of use, many of their
advocates appear to be questioning their direct application by
software practitioners, often considering it to be nonmandatory,
and sometimes even nonadvisable. It appears that, together with the
said maturation of the theoretical results and constructions, the
perspective of their role within a far more complex picture of the
software development activity has also matured.
|
Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Paperback, 1st ed. 2016)
Bernhard K. Aichernig, Carlo A. Furia
|
R2,193
Discovery Miles 21 930
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 10th
International Conference on Tests and Proofs, TAP 2016, held as
part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full
papers, 2 short papers, and 1 tool demonstration paper presented in
this volume were carefully reviewed and selected from 19
submissions. The book also contains one invited talk in full-paper
length. The TAP conference promotes research in verification and
formal methods that targets the interplay of proofs and testing:
the advancement of techniques of each kind and their combination,
with the ultimate goal of improving software and system
dependability.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Ab Wheel
R209
R149
Discovery Miles 1 490
|