Umfang:
Online-Ressource
ISBN:
9783540448808
,
3540402535
Serie:
Lecture Notes in Computer Science 2651
Inhalt:
This book constitutes the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 9783540402534
Weitere Ausg.:
Buchausg. u.d.T. ZB 2003: Formal Specification and Development in Z and B Berlin : Springer, 2003 ISBN 3540402535
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Z
;
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
B
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/3-540-44880-2
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)