Bidoit, Michel, 1957-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Bidoit, M. (Michel), 1957-
Bidoit, M.
Bidoit, Michel
Michel Bidoit
Bidoit, M. (Michel)
VIAF ID: 15428370 (Personal)
Permalink: http://viaf.org/viaf/15428370
Preferred Forms
-
200 _ |
‡a
Bidoit
‡b
Michel
-
100 1 _
‡a
Bidoit, M.
-
100 1 _ ‡a Bidoit, M.
-
100 1 _
‡a
Bidoit, M.
‡q
(Michel)
-
100 1 _ ‡a Bidoit, M. ‡q (Michel), ‡d 1957-
-
100 1 0
‡a
Bidoit, M.
‡q
(Michel),
‡d
1957-
-
100 1 _ ‡a Bidoit, M. ‡q (Michel), ‡d 1957-
-
100 1 _ ‡a Bidoit, M. ‡q (Michel), ‡d 1957-
-
100 1 _ ‡a Bidoit, Michel
-
100 1 _ ‡a Bidoit, Michel ‡d (1957- ).
-
100 1 _ ‡a Bidoit, Michel, ‡d 1957-
-
100 1 _
‡a
Bidoit, Michel,
‡d
1957-....
-
100 0 _
‡a
Michel Bidoit
4xx's: Alternate Name Forms (6)
Works
| Title | Sources |
|---|---|
| 13 défis de la cybersécurité |
|
| Abstract implementations and correctness proofs |
|
| Abstractions pour la vérification de propriétés de sécurité de protocoles cryptographiques |
|
| Abstracts data types with exception handling : an initial approach based on a distinction between exceptions and errors |
|
| Algebraic system specification and development : a survey and annotated bibliography |
|
| An architectural requirements engineering processS. |
|
| Architectural specifications and their verification |
|
| Asspegique : an exeptional environment...an operational semantics for E,R-algebras, a formalism taking into account exeption handling : an integrated algebraic specification environment : ASSPEGIQUE. |
|
| Automatic programming techniques applied to software development : an approach based on exception handling |
|
| BUILDING ANIMATED MAN-MACHINE INTERFACES. |
|
| CASL user manual : introduction to using the Common Algebraic Specification Language |
|
| COMPASS |
|
| Computer aider construction of ADA programs accounting for exceptions. |
|
| Conception et certification de programmes à partir d'une décomposition par les données |
|
| Construction assistée de programmes ADA fondée sur la prise en compte d'exceptions |
|
| The design and specification of the ASSPEGIQUE database |
|
| Graffiti : an interactive graphic tool for she design of flexible man-machine interfaces. |
|
| GRAFFITI : un outil interactif et graphique pour la construction d'interfaces homme-machine adaptables |
|
| How to make algebraic specifications more understandable? : an experiment with the PLUSS specification language |
|
| Integrating concurrent, functional and imperative programming paradigms: semantic foundations. |
|
| Interchange format for inter-operability of tools and translation. |
|
| UNE METHODE DE DERIVATION DE PROGRAMMES IMPERATIFS A PARTIR DE SPECIFICATIONS ALGEBRICO-OPERATIONNELLES |
|
| Une méthode de présentation des types abstraits : applications |
|
| Le modèle Turing [Images animées] |
|
| modèle Turing la machine de Turing réalisée |
|
| MODULAR OBSERVATIONAL ALGEBRAIC SPECIFICATIONS: A SEMANTICS BASED ON AN OBSERVATIONAL SATISFACTION RELATION. |
|
| Observational logic, constructor-based logic, and their duality |
|
| Pluss, un langage pour le développement de spécifications algébriques modulaires |
|
| Preuve de formules conditionnelles dans des spécifications algébriques conditionnelles |
|
| Prise en compte de principes architecturaux lors de la formalisation des besoins |
|
| Programming environment : description and perspectives. |
|
| Proofs by implicit induction : case of associative-commutative and observational theories. |
|
| 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 |
|
| The stratified loose approach : a generalization of initial and loose semantics |
|
| Suggestion pour une programmation systématique et sure des cas d'exception en ADA |
|
| Systematic derivation of ada programs with exception handling based on algebraic specifications. |
|
| TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings |
|
| Towards modular theorem-provers for modular algebraic specifications : modular orientation of equations into rewrite rules |
|
| Vérification de logiciels : techniques et outils du model-checking |
|
| Weryfikacja specyfikacji architekturalnych |
|
