WorldCat Identities

Bidoit, M. (Michel) 1957-

Overview
Works: 85 works in 207 publications in 4 languages and 2,305 library holdings
Genres: Conference papers and proceedings  Software  Academic theses 
Roles: Author, Editor, htt, Contributor, Thesis advisor, Scientific advisor, Opponent, Other
Classifications: QA76.9.S88, 004.21
Publication Timeline
.
Most widely held works by M Bidoit
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( )

23 editions published between 1992 and 1993 in English and German and held by 531 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
Algebraic system specification and development : a survey and annotated bibliography by M Bidoit( Book )

19 editions published in 1991 in 4 languages and held by 529 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
CASL user manual : introduction to using the Common algebraic specification language by M Bidoit( )

19 editions published between 2003 and 2004 in English and held by 432 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( )

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

4 editions published between 1999 and 2001 in English and French and held by 119 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 proceedings( Book )

3 editions published in 1997 in English and held by 47 WorldCat member libraries worldwide

CASL user manual : introduction to using the Common algebraic specification language CASL by M Bidoit( )

7 editions published in 2004 in English and held by 33 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
Recent Trends in Data Type Specification by M Bidoit( )

2 editions published in 1993 in English and held by 9 WorldCat member libraries worldwide

Annotation
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
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

Behavioural and abstractor specifications by M Bidoit( Book )

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

Observational logic, constructor-based logic, and their duality by M Bidoit( Book )

1 edition published in 2002 in English and held by 5 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

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

Algebraic semantics of exception handling by Gilles Bernot( Book )

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

A general framework for modular implementations of modular system specifications by M Bidoit( Book )

2 editions published in 1993 in English and held by 5 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 4 WorldCat member libraries worldwide

INTEGRATION DES PARADIGMES DE PROGRAMMATION PARALLELE, FONCTIONNELLE ET IMPERATIVE : FONDEMENTS SEMANTIQUES by MOURAD DEBABI( Book )

2 editions published in 1994 in French and held by 4 WorldCat member libraries worldwide

L'objectif principal de la these est de poser les fondements theoriques de l'unification des trois paradigmes de calcul communement appeles: paradigmes de programmation parallele, fonctionnelle et imperative. Cela revient a examiner, essentiellement dans une optique theorique, la cohabitation, dans un meme langage, de ces trois paradigmes. Ainsi, nous experimentons nos idees sur un langage de type ml dote de primitives de parallelisme. Ce langage peut etre vu comme un lambda-calcul type, adoptant l'appel par valeur comme strategie d'evaluation et integrant de maniere saine des primitives de programmation imperative et parallele. La theorie semantique que nous presentons dans cette these consiste en une semantique statique et une semantique dynamique. La semantique statique que nous proposons repose sur la discipline des types et des effets. La premiere semantique dynamique que nous presentons est operationnelle. Elle est inspiree par la theorie des tests de hennessy. La deuxieme semantique presentee est denotationnelle. Elle est basee sur une adaptation du modele des arbres d'acceptation de hennessy. La derniere partie de cette theorie semantique consiste a etendre la semantique statique ainsi que le modele denotationnel a un langage de taille reelle, concurrent ml
GRAFFITI : un outil interactif et graphique pour la construction d'interfaces homme-machine adaptables by Solange Karsenty( )

2 editions published in 1987 in French and held by 4 WorldCat member libraries worldwide

With the increasing importance of man-machine interfaces appears the Jack of tools for the construction of such interfaces. Some principles such as the separation of the interface from the application are coming out. These principles help us to clarify the numerous problems of man machine interfaces. The role of the interface is to manage the dialogue, and to represent diverse graphic objects to be manipulated by the end-user. The application designer is not necessarily the interface designer: the semantics of the application can be developed without knowing about the graphics representations and the end-user manipulations. Our aim is to facilitate the construction of man machine interfaces: rapid development, easy modification and reusability are important factors toward the construction of flexible and consistent interfaces. Most interfaces are static: the user is forced to adapt him to the interface. We want the end-user to be able to customize the interface according to his taste and knowledge. In this thesis, we analyze different models of specification and implementation of man machine interfaces. We present a tool, Graffiti, for the construction of graphic interfaces. Graffiti is a graphic interactive tool; it is based on a visual language and aimed at various graphic man machine interfaces: the designer manipulates graphic entities named interactive objects, defines their behavior, establishes constraints between them and builds compound objects from elementary objects. Graffiti generates a description of the control structure of the interface. This description can be loaded, modified and is reusable by other applications. Graffiti manages the dialogue between the end-user, the interface and the application
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Recent tre ... to 0.00 for Recent tre ...)

Algebraic system specification and development : a survey and annotated bibliography
Covers
Algebraic system specification and development : a survey and annotated bibliographyCASL user manual : introduction to using the Common algebraic specification languageTAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedingsSystems and software verification : model-checking techniques and toolsTheory and practice of software development proceedingsCASL user manual : introduction to using the Common algebraic specification language CASLRecent Trends in Data Type Specification
Alternative Names
Bidoit, M.

Bidoit, Michel

Bidoit, Michel 1957-

Michel Bidoit Ph. D. Université Paris-Sud XI - Orsay 1981

Languages
English (112)

French (10)

German (2)

Italian (1)