WorldCat Identities

Bert, Didier

Overview
Works: 46 works in 122 publications in 3 languages and 1,434 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Creator
Classifications: QA76.73.B155, 005.133
Publication Timeline
.
Most widely held works by Didier Bert
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings by Didier Bert( Book )
17 editions published between 1998 and 1999 in English and held by 355 WorldCat member libraries worldwide
This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998. The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development
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 by Didier Bert( Book )
17 editions published in 2002 in English and held by 320 WorldCat member libraries worldwide
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
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 by Didier Bert( Book )
12 editions published in 2003 in English and held by 319 WorldCat member libraries worldwide
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
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers by M Wirsing( Book )
15 editions published in 2000 in English and German and held by 272 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods
Recent trends in algebraic development techniques : 14th international workshop; selected papers ( Book )
2 editions published in 2000 in English and held by 22 WorldCat member libraries worldwide
Etude d'éléments fondamentaux des langages de programmation contrôle de l'utilisation des objets et primitives d'exécution by Didier Bert( Book )
6 editions published between 1973 and 2008 in French and held by 17 WorldCat member libraries worldwide
Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT 99, Chteau de Bonas, September 15-18, 1999 Selected Papers ( )
1 edition published in 2000 in English and held by 16 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999. The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications
Méthode B ( Book )
2 editions published in 2003 in French and held by 13 WorldCat member libraries worldwide
Recent advances in the development and use of the B method : proceedings ( )
2 editions published between 1998 and 1999 in English and held by 9 WorldCat member libraries worldwide
Sur l'intégration des langages algébriques et logiques by Rachid Echahed( Book )
2 editions published between 1990 and 2008 in French and held by 6 WorldCat member libraries worldwide
Ce mémoire présente l'étude d'une approche particulière des langages de programmation logico-fonctionnels, fondée sur la logique des clauses de Horn avec égalité. Nous définissons d'abord la syntaxe et la sémantique des programmes que nous considérons. La syntaxe est celle de la logique des clauses de Horn avec égalité. La sémantique est donnée par le plus petit e-modele de Herbrand associe a un programme. Nous nous intéressons ensuite au calcul dans ce langage. Nous proposons pour cela une nouvelle règle appelée sldei-resolution comme seule règle de calcul. Nous montrons sa cohérence, sa complétude ainsi que sa completude forte. La mise en œuvre de la règle sldei-resolution nécessite un algorithme de resolution d'équations. Nous étudions de tels algorithmes fondes sur la relation de surreduction, et améliorons ces algorithmes par l'utilisation de stratégies de surreduction. Cependant, ces stratégies ne sont pas complètes dans le cas général. Nous proposons alors des conditions suffisantes sur ces stratégies afin de préserver la complétude des algorithmes considérés. Nous caractérisons ensuite une classe de programmes, dits uniformes, pour lesquels l'utilisation de n'importe quelle stratégie de surreduction donne un algorithme complet de resolution d'équations. Nous donnons de plus une methode de vérification de l'uniformité d'un programme. Par ailleurs, nous proposons des conditions syntaxiques pour qu'un programme soit uniforme. Enfin, nous décrivons les principaux traits d'un langage de programmation fonde sur l'approche présentée dans ce mémoire, et l'implantation que nous avons réalisée
La Programmation générique : construction de logiciel, spécification algébrique et vérification by Didier Bert( Book )
3 editions published between 1979 and 2008 in French and held by 6 WorldCat member libraries worldwide
ON ETUDIE L'ABSTRACTION ET LA GENERICITE DANS LES LANGAGES DE PROGRAMMATION. ON DECRIT LES PRINCIPAUX OUTILS DE LA PROGRAMMATION GENERIQUE. ON TRAITE ENSUITE DE LA SPECIFICATION DES TYPES ET DES FONCTIONS ET ON ETUDIE LES METHODES DE VERIFICATION DE PROGRAMMES SPECIFIES ALGEBRIQUEMENT
B '98, recent advances in the development and use of the B method second International B Conference, Montpellier, France, April 22 - 24, 1998 ; proceedings by 1998, Montpellier) B (2( )
1 edition published in 1998 in English and held by 5 WorldCat member libraries worldwide
Révision, étude systématique et évolution du genre Gregoryceras Spath, 1924 (Ammonoidea, Oxfordien) by Didier Bert( Book )
3 editions published in 2004 in French and held by 5 WorldCat member libraries worldwide
Abstraction of conditional term rewriting systems by Didier Bert( Book )
2 editions published in 1995 in English and held by 4 WorldCat member libraries worldwide
ZB 2003: formal specification and development in Z and B proceedings ( Book )
2 editions published in 2003 in English and held by 4 WorldCat member libraries worldwide
Propriétés de vivacité sous condition d'équité et sémantique des systèmes d'événements avec la méthode B by Hector Ruiz Barradas( Book )
2 editions published between 2006 and 2007 in French and held by 3 WorldCat member libraries worldwide
Cette thèse propose une approche à la spécification et preuve des propriétés de vivacité avec hypothèses d'équité en B événementiel et présente une sémantique pour ces propriétés fondée sur de points fixes de transformateurs d'ensembles. La proposition utilise une logique de programmation issue de la logique unity pour spécifier et vérifier des propriétés de vivacité sous des hypothèses de progrès minimal et d'équité faible et présente des règles pour préserver ces propriétés dans les raffinements. La sémantique de points fixes nous permet de faire équivalentes les notions d'atteignabilité sous les hypothèses d'équité et de terminaison de l'itération d'événements. Cela nous permet de prouver la correction et la complétude des règles permettant la dérivation des propriétés de vivacité. En outre, cela donne les fondements pour prouver la correction des règles permettant la vérification des propriétés de vivacité et des règles permettant la préservation de la vivacité sous raffinement. ABSTRACT This thesis proposes an approach to the specification and proof of liveness properties under fairness assumptions in B event system and presents a semantics for these properties founded on fixpoints of set transformers. The proposal uses a unity-like logic to specify and verify liveness properties under minimal progress and weak fairness assumptions and presents rules to preserve these properties under refinement. The fixpoint semantics allows us to make the notion of reachability under fairness assumptions equivalent to the one of termination of iteration of events. Soundness and completeness of rules to derive liveness properties are proved, thanks to this equivalence. Moreover, the fixpoint semantics provides the foundations to prove soundness of both the rules for verification of liveness properties and the rules for the preservation of liveness under refinement
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.83 (from 0.00 for Sur l'inte ... to 0.92 for Etude d'é ...)
Alternative Names
Bert, D. 1946-
Languages
English (73)
French (18)
German (2)
Covers