WorldCat Identities

Bert, Didier

Overview
Works: 44 works in 128 publications in 3 languages and 1,493 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Creator, Opponent, Thesis advisor, Other
Classifications: QA76.76.D47, 005.1
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 )

16 editions published between 1998 and 1999 in English and held by 315 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 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 )

16 editions published in 2003 in English and held by 283 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
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 270 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
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 )

11 editions published in 2000 in English and German and held by 243 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 by WADT '99( Book )

8 editions published in 2000 in English and held by 50 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 16 WorldCat member libraries worldwide

Méthode B( Book )

2 editions published in 2003 in French and held by 14 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 8 WorldCat member libraries worldwide

La Programmation générique : construction de logiciel, spécification algébrique et vérification by Didier Bert( Book )

4 editions published between 1979 and 2008 in French and Undetermined 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
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
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

Abstraction of conditional term rewriting systems by Didier Bert( Book )

4 editions published in 1995 in English and held by 5 WorldCat member libraries worldwide

ETUDE DES SPECIFICATIONS MODULAIRES : CONSTRUCTIONS DE COLIMITES FINIES, DIAGRAMMES, ISOMORPHISMES by Catherine Oriat( Book )

2 editions published between 1996 and 2004 in French and held by 3 WorldCat member libraries worldwide

LA COMPOSITION DE SPECIFICATIONS MODULAIRES PEUT ETRE MODELISEE, DANS LE FORMALISME DES CATEGORIES, PAR DES COLIMITES DE DIAGRAMMES. LA SOMME AMALGAMEE PERMET EN PARTICULIER D'ASSEMBLER DEUX SPECIFICATIONS EN PRECISANT LES PARTIES COMMUNES. NOTRE TRAVAIL POURSUIT CETTE IDEE CLASSIQUE SELON TROIS AXES. D'UN POINT DE VUE SYNTAXIQUE, NOUS DEFINISSONS UN LANGAGE POUR REPRESENTER LES SPECIFICATIONS MODULAIRES CONSTRUITES A PARTIR D'UNE CATEGORIE DE SPECIFICATIONS ET DE MORPHISMES DE SPECIFICATIONS DE BASE. CE LANGAGE EST CARACTERISE FORMELLEMENT PAR UNE CATEGORIE DE TERMES FINIMENT COCOMPLETE. D'UN POINT DE VUE SEMANTIQUE, NOUS PROPOSONS D'ASSOCIER A TOUT TERME UN DIAGRAMME. CETTE INTERPRETATION PERMET DE FAIRE ABSTRACTION DE CERTAINS CHOIX EFFECTUES LORS DE LA CONSTRUCTION DE LA SPECIFICATION MODULAIRE. POUR CELA, NOUS DEFINISSONS UNE CATEGORIE DE DIAGRAMMES CONCRETE, C'EST-A-DIRE DONT LES FLECHES PEUVENT ETRE MANIPULEES EFFECTIVEMENT. EN CONSIDERANT LE QUOTIENT PAR UNE CERTAINE CONGRUENCE, NOUS OBTENONS UNE COMPLETION DE LA CATEGORIE DE BASE PAR COLIMITES FINIES. NOUS MONTRONS QUE LE CALCUL DU DIAGRAMME ASSOCIE A UN TERME DEFINIT UNE EQUIVALENCE ENTRE LA CATEGORIE DES TERMES ET LA CATEGORIE DES DIAGRAMMES, CE QUI PROUVE LA CORRECTION DE CETTE INTERPRETATION. ENFIN, NOUS PROPOSONS UN ALGORITHME POUR DECIDER SI DEUX DIAGRAMMES SONT ISOMORPHES, DANS LE CAS PARTICULIER OU LA CATEGORIE DE BASE EST FINIE ET SANS CYCLE. CELA PERMET DE DETECTER DES ISOMORPHISMES DE CONSTRUCTION ENTRE SPECIFICATIONS MODULAIRES, C'EST-A-DIRE DES ISOMORPHISMES QUI NE DEPENDANT PAS DES SPECIFICATIONS DE BASE, MAIS SEULEMENT DE LA MANIERE DONT CELLES-CI SONT ASSEMBLEES
Spécification de composants logiciels réutilisables by Didier Bert( Book )

2 editions published in 1990 in French and held by 3 WorldCat member libraries worldwide

LPG : structuration des spécifications et validation sémantique automatisée by Didier Bert( Book )

2 editions published in 1987 in French and held by 3 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
Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers by Jos Luiz Fiadeiro( )

1 edition published in 2000 in English and held by 0 WorldCat member libraries worldwide

"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."
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 0 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.58 for Recent tre ... to 0.95 for Etude d'é ...)

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedingsRecent advances in the development and use of the B method : proceedingsB '98, recent advances in the development and use of the B method second International B Conference, Montpellier, France, April 22 - 24, 1998 ; proceedings
Alternative Names
Bert, D. 1946-

Languages
English (77)

French (21)

German (2)

Covers
ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedingsZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedingsRecent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papersRecent trends in algebraic development techniques : 14th international workshop; selected papersRecent advances in the development and use of the B method : proceedingsRecent trends in algebraic development techniques : 14th international workshop, WADT '99, Château de Bonas, France, September 15 - 18, 1999 ; selected papersZB 2002: Formal specification and development in Z and B 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002 ; proceedingsB '98, recent advances in the development and use of the B method second International B Conference, Montpellier, France, April 22 - 24, 1998 ; proceedingsRecent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers