Didier Bert - Böcker
Visar alla böcker från författaren Didier Bert. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
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
Häftad, Engelska, 2003
1 105 kr
Skickas inom 10-15 vardagar
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.
ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Häftad, Engelska, 2002
540 kr
Skickas inom 10-15 vardagar
These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ' Reseaux ' within the Institut d'Informatique et Mathematiques ' Appliquees ' de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method.Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.
Recent Trends in Algebraic Development Techniques
14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Häftad, Engelska, 2000
556 kr
Skickas inom 10-15 vardagar
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.