|
Showing 1 - 3 of
3 matches in All Departments
|
ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Paperback, 2003 ed.)
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden
|
R3,230
Discovery Miles 32 300
|
Ships in 10 - 15 working days
|
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.
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.
The algebraic approach to system speci?cation and development, born
in the 1970sas a formalmethod for abstractdata types,
encompassestoday the formal design of integrated hardware and
software systems, new speci?cation fra- works and programming
paradigms (such as object-oriented, logic, and high- order
functional programming) and a wide range of application areas
(including information systems, concurrent and distributed
systems). Workshops on Al-
braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData
Types, have become a prominent forum to present and discuss
research on this important area. The 14th International Workshop on
Algebraic Development Techniques (WADT'99) took place at the Chat
eau de Bonas, near Toulouse, September 15-18,1999,and was organized
by Didier Bert and Christine Choppy. The main topics of the
workshop were: - algebraic speci?cation - other approaches to
formal speci?cation - speci?cation languages and methods - term
rewriting and proof systems - speci?cation development systems
(concepts, tools, etc.). The program consisted of invited talks by
Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69
presentations describing ongoing - search. The parallel sessions
were devoted to: algebraic speci?cations and other speci?cation
formalisms, test and validation, concurrent processes, -
plications, logics and validation, combining formalisms, subsorts
and parti- ity, structuring, rewriting, coalgebras and sketches,
re?nement, institutions and categories, ASM speci?cations. There
were also sessions re?ecting - going research achieved in the
Common Framework Initiative (CoFI, see
http://www.brics.dk/Projects/CoFI/), within its di?erent task
groups: CASL (Common Algebraic Speci?cation Language), CASL
semantics, CASL tools, methodology, and reactive systems.
|
You may like...
Morgan
Kate Mara, Jennifer Jason Leigh, …
Blu-ray disc
(1)
R70
Discovery Miles 700
Tenet
John David Washington, Robert Pattinson
Blu-ray disc
(1)
R54
Discovery Miles 540
|