WorldCat Identities

Bidoit, M. (Michel) 1957-

Overview
Works: 68 works in 170 publications in 3 languages and 1,707 library holdings
Genres: Conference proceedings  Software  Bibliography 
Roles: Author, Editor, Creator, Scientific advisor
Classifications: QA76.9.S88, 004.21
Publication Timeline
Key
Publications about  M Bidoit Publications about M Bidoit
Publications by  M Bidoit Publications by M Bidoit
Most widely held works by M Bidoit
Algebraic system specification and development : a survey and annotated bibliography by M Bidoit ( Book )
17 editions published in 1991 in English and Italian and held by 411 WorldCat member libraries worldwide
"Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions."--PUBLISHER'S WEBSITE
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers by M Bidoit ( Book )
15 editions published between 1992 and 1993 in English and held by 357 WorldCat member libraries worldwide
"The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process."--PUBLISHER'S WEBSITE
CASL user manual : introduction to using the Common algebraic specification language by M Bidoit ( Book )
19 editions published between 2003 and 2004 in English and held by 347 WorldCat member libraries worldwide
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index. A separate, complementary LNCS volume contains the CASL Reference Manual
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings by M Bidoit ( Book )
19 editions published in 1997 in English and Italian and held by 325 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997. The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions
Theory and practice of software development : Lille, France, April 14 - 18, 1997 ; proceedings ( Book )
1 edition published in 1997 in English and held by 27 WorldCat member libraries worldwide
Vérification de logiciels : techniques et outils du model-checking ( Book )
1 edition published in 1999 in French and held by 20 WorldCat member libraries worldwide
Systems and software verification : model-checking techniques and tools by Béatrice Bérard ( )
2 editions published in 2001 in English and held by 20 WorldCat member libraries worldwide
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available
Recent trends in data type specification : selected papers ( Book )
2 editions published in 1993 in English and held by 20 WorldCat member libraries worldwide
Le modèle Turing by Catherine Bernstein ( Visual )
1 edition published in 2012 in French and held by 15 WorldCat member libraries worldwide
Extrait du résumé figurant sur la jaquette : Alan Turing était mathématicien, cryptologue, pionnier de l'informatique, de l'intelligence artificielle et de la morphogenèse en biologie. A l'occasion du centenaire de sa naissance, ce film nous présente cet homme exceptionnel en retraçant sa vie, son oeuvre et son influence. La rencontre avec des chercheurs des différentes disciplines dans lesquelles Alan Turing a travaillé permet de découvrir petit à petit qui il était, ce qu'il a inventé et l'incidence que son travail a actuellement. Elle révèle ainsi les circonstances de l'émergence de cette science nouvelle : l'informatique
Recent trends in data type specification selected papers ( )
1 edition published in 1993 in English and held by 13 WorldCat member libraries worldwide
Une methode de presentation des types abstraits : applications by M Bidoit ( Book )
3 editions published in 1981 in French and held by 8 WorldCat member libraries worldwide
APRES UN RAPPEL DES CONCEPTS ALGEBRIQUES UTILISES POUR LA THEORIE DES TYPES ABSTRAITS ALGEBRIQUES, ON EXPLICITE LES RAISONS CONDUISANT A FORMALISER LA NOTION DE STRUCTURE ABSTRAITE DE DONNEES EN DEUX CONCEPTS COMPLEMENTAIRES, CEUX D'ENVIRONNEMENT ET DE TYPE ABSTRAITS. LA CONSISTANCE ET LA SUFFISANTE COMPLETUDE ETANT DEUX PROBLEMES INDECIDABLES, ON ETUDIE ENSUITE DES CRITERES DE NATURE SYNTAXIQUE QUI, LORSQU'ILS SONT VERIFIES, ASSURENT A PRIORI QUE LE TYPE ABSTRAIT POSSEDE LES QUALITES DESIREES. CES CRITERES CONDUISENT AUX NOTIONS DE PRESENTATION GRACIEUSE ET D'ENVIRONNEMENT CHARMANT. ON ETUDIE ENSUITE DEUX APPLICATIONS DE LA NOTION DE PRESENTATION GRACIEUSE: LA PREMIERE CONCERNE LE PROBLEME DE VALIDITE, LA SECONDE CONCERNE LA TRANSFORMATION AUTOMATIQUE D'UNE PRESENTATION GRACIEUSE DONNEE EN UNE AUTRE. ON ETUDIE BRIEVEMENT QUELQUES PROBLEMES NON RESOLUS, LA SPECIFICATION DES CAS D'ERREURS, LES NOTIONS DE SOUS-TYPE ET DE PARAMETRISATION
Observational logic, constructor-based logic, and their duality by M Bidoit ( Book )
2 editions published in 2002 in English and held by 8 WorldCat member libraries worldwide
Recent Trends in Data Type Specification by M Bidoit ( )
2 editions published in 1993 in English and held by 7 WorldCat member libraries worldwide
How to make algebraic specifications more understandable? by M Bidoit ( Book )
4 editions published between 1987 and 1988 in English and held by 5 WorldCat member libraries worldwide
Behavioural and abstractor specifications by M Bidoit ( Book )
3 editions published in 1994 in English and held by 5 WorldCat member libraries worldwide
Automatic programming techniques applied to software development : an approach based on exception handling by M Bidoit ( Book )
3 editions published in 1986 in English and held by 5 WorldCat member libraries worldwide
Abstract implementations and correctness proofs by Gilles Bernot ( Book )
2 editions published in 1985 in English and held by 5 WorldCat member libraries worldwide
Algebraic semantics of exception handling by Gilles Bernot ( Book )
2 editions published in 1986 in English and held by 5 WorldCat member libraries worldwide
The design and specification of the ASSPEGIQUE database by M Bidoit ( Book )
2 editions published in 1990 in English and held by 4 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.81 (from 0.26 for Behavioura ... to 0.87 for TAPSOFT '9 ...)
Alternative Names
Bidoit, M.
Bidoit, Michel 1957-
Languages
English (95)
French (5)
Italian (2)
Covers