WorldCat Identities

Bidoit, M. (Michel) 1957-

Overview
Works: 63 works in 179 publications in 3 languages and 1,988 library holdings
Genres: Conference papers and proceedings  Software 
Roles: Author, Editor, Scientific advisor, Opponent, Thesis advisor
Classifications: QA76.9.S88, 004.21
Publication Timeline
.
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 335 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 )

22 editions published between 1992 and 1993 in English and Undetermined and held by 314 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
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 )

20 editions published in 1997 in English and held by 231 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
CASL User Manual Introduction to Using the Common Algebraic Specification Language by M Bidoit( )

20 editions published in 2004 in English and held by 76 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
Systems and software verification : model-checking techniques and tools by Béatrice Bérard( Book )

4 editions published between 1999 and 2001 in English and French and held by 49 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
Theory and practice of software development : Lille, France, April 14 - 18, 1997 ; proceedings( Book )

1 edition published in 1997 in English and held by 29 WorldCat member libraries worldwide

Le modèle Turing by Catherine Bernstein( Visual )

2 editions published in 2012 in French and held by 19 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
How to make algebraic specifications more understandable? by M Bidoit( Book )

5 editions published between 1987 and 1988 in English and held by 8 WorldCat member libraries worldwide

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

Une méthode de présentation des types abstraits : applications by M Bidoit( Book )

3 editions published in 1981 in French and held by 8 WorldCat member libraries worldwide

Après un rappel des concepts algébriques utilisés pour la théorie des types abstraits algébriques, on explicite les raisons conduisant à formaliser la notion de structure abstraite de données en deux concepts complémentaires, ceux d'environnement et de type abstraits. La consistance et la suffisante complétude étant deux problèmes indécidables, on étudie ensuite des critères de nature syntaxique qui, lorsqu'ils sont vérifiés, assurent a priori que le type abstrait possède les qualités désirées. Ces critères conduisent aux notions de présentation gracieuse et d'environnement charmant. On étudie ensuite deux applications de la notion de présentation gracieuse : la première concerne le problème de validité, la seconde concerne la transformation automatique d'une présentation gracieuse donnée en une autre. On étudie brièvement quelques problèmes non résolus, la spécification des cas d'erreurs, les notions de sous-type et de parametrisation
Algebraic semantics of exception handling by G Bernot( Book )

2 editions published in 1986 in English and held by 5 WorldCat member libraries worldwide

Abstract implementations and correctness proofs by G Bernot( Book )

2 editions published in 1985 in English and held by 5 WorldCat member libraries worldwide

Interchange format for inter-operability of tools and translation by M Bidoit( Book )

3 editions published in 1996 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

Theory and practice of software development 7th International Joint Conference CAAP-FASE, Lille, France, April 14 - 18, 1997 ; proceedings( )

1 edition published in 1997 in English and held by 5 WorldCat member libraries worldwide

Towards modular theorem-provers for modular algebraic specifications : modular orientation of equations into rewrite rules by Frédéric Voisin( Book )

3 editions published in 1995 in English and held by 4 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

Preuve de formules conditionnelles par recurrence by M Bidoit( Book )

3 editions published in 1985 in French and held by 4 WorldCat member libraries worldwide

Asspegique : an integrated environment for algebraic specifications by M Bidoit( Book )

3 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

Integrating ASSPEGIQUE and LP by C Choppy( Book )

2 editions published in 1992 in English and held by 4 WorldCat member libraries worldwide

Abstract: "In this paper, we present various issues w.r.t. proving properties of PLUSS specifications with LP, and building an integrated interface between ASSPEGIQUE (the environment that supports PLUSS) and LP. We investigate how general properties can be proved using an adequate presentation of the specifications that may be understood by LP. We address the issue of interfacing the two environments in a way that would be as 'transparent' to the user as possible."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.70 for TAPSOFT '9 ... to 0.92 for Observatio ...)

Algebraic system specification and development : a survey and annotated bibliography
Alternative Names
Bidoit, M.

Bidoit, Michel

Bidoit, Michel 1957-

Languages
English (109)

French (9)

Italian (1)

Covers
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 papersCASL User Manual Introduction to Using the Common Algebraic Specification LanguageSystems and software verification : model-checking techniques and tools