WorldCat Identities

Habrias, Henri

Overview
Works: 62 works in 156 publications in 4 languages and 1,870 library holdings
Genres: Specifications  Dictionaries  Conference papers and proceedings  Criticism, interpretation, etc 
Roles: Author, Editor, Publishing director, Author of introduction, pmn, Secretary, Director
Classifications: QA76.9.F67, 004.0151
Publication Timeline
.
Most widely held works by Henri Habrias
Software specification methods : an overview using a case study by Henri Habrias( Book )

29 editions published between 2000 and 2010 in English and held by 263 WorldCat member libraries worldwide

Useful for commercial and industrial practitioners, this book provides an introduction to a range of key software specification methods. The techniques covered include UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTUS
Pierre Abélard : colloque international de Nantes by Jean Jolivet( Book )

14 editions published between 2003 and 2015 in French and Undetermined and held by 139 WorldCat member libraries worldwide

Théologien, logicien, dialecticien, musicologue, Abélard reste un grand savant dont l'œuvre mérite d'être étudiée et enseignée. Neuf cents ans après sa mort, sa pensée, ses travaux, les polémiques savantes qu'il a nourries avec les grandes voix de son temps continuent de fasciner les chercheurs et les érudits. Le présent recueil marque sur plusieurs points une étape nouvelle dans la connaissance de cette haute et célèbre figure. Il ouvre sur des aspects historiographiques usuellement traités, mais jamais épuisés, des perspectives et analyses originales. Par exemple, mais non uniquement, sur l'environnement historique, scolaire et religieux d'Abélard, sur sa philosophie. D'autres thèmes y sont considérablement approfondis, voire renouvelés : ainsi, les relations affectives et spirituelles à l'intérieur du couple atypique qu'Abélard forme avec Héloïse, sur sa relation paternelle à Astralabe. Une extension du dossier épistolaire y est proposée. Un ensemble de communications consacre aux planctus et aux poèmes liturgiques d'Abélard des analyses stylistiques et musicologiques. Né en 1079, au Pallet, à vingt kilomètres de Nantes, Abélard n'a jamais renié, ni même oublié ses attaches bretonnes, comme en témoignent plusieurs de ses écrits. Et même si l'essentiel de sa carrière s'est déroulé hors de Bretagne, tout justifie sans doute que se tienne à Nantes la grande conférence internationale dont ce livre constitue l'utile prolongement
Mathématiques à l'usage des informaticiens by Thierry Brugère( Book )

1 edition published in 2003 in French and held by 101 WorldCat member libraries worldwide

Dictionnaire encyclopédique du génie logiciel by Henri Habrias( Book )

4 editions published in 1997 in French and held by 85 WorldCat member libraries worldwide

Analyse fonctionnelle en informatique de gestion by Henri Briand( Book )

8 editions published between 1977 and 1981 in French and held by 65 WorldCat member libraries worldwide

Introduction à la spécification by Henri Habrias( Book )

3 editions published between 1991 and 1993 in French and held by 64 WorldCat member libraries worldwide

UML : la notation unifiée de modélisation objet : applications en Java by Michel Lai( Book )

1 edition published in 1997 in French and held by 63 WorldCat member libraries worldwide

UML : la notation unifiée de modélisation objet : De Java aux EJB by Michel Lai( Book )

3 editions published between 1997 and 2000 in French and English and held by 55 WorldCat member libraries worldwide

La mesure du logiciel by Henri Habrias( Book )

6 editions published between 1994 and 1995 in French and held by 53 WorldCat member libraries worldwide

Spécification formelle avec B by Henri Habrias( Book )

4 editions published in 2001 in French and held by 43 WorldCat member libraries worldwide

Les services de B - Rerédaction d' un cahier des charles et introduction au concept de machine abstraite en B - Introduction au développement d' un logiciel en B par un exemple - Logique et preuve - Ensembles - Relations et fonctions - Objets mathématiques : nombres naturels, suites, arbres - Structure d' une machine abstraite et preuve d'opération - Les substitutions - Choix de modélisations ensemblistes - L'approche bases de données, les contraintes dynamiques, l'hypothése du déterminisme linguistique de Sapir-Whorf et quelques autres propos - Le raffinage - Séquencement et boucle - Composition des machines et des raffinements - L'implantation finale e la structure d'un projet B - B événementiel - B, VDM, Z et spécifications algébriques
Le modèle relationnel binaire : méthode I.A. (NIAM) by Henri Habrias( Book )

5 editions published in 1988 in French and held by 35 WorldCat member libraries worldwide

Formal specification using Z by David E Lightfoot( Book )

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

Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering
Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information : actes des journées ... [de] Nantes ... 23-24 septembre 1987 by Journées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information( Book )

11 editions published between 1987 and 1991 in French and Miscellaneous languages and held by 23 WorldCat member libraries worldwide

Méthode B( Book )

1 edition published in 2003 in French and held by 13 WorldCat member libraries worldwide

Z twenty years on - what is its future? : 7th international conference on "putting into practice methods and tools for information system design", proceedings, October, 10-12, 1995, Nantes (France) in co-operation with ZUG and BUG by International Conference on Putting into Practice Methods and Tools for Information System Design( Book )

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

Pierre Abélard, à l'aube des universités : actes de la conférence internationale, Université de Nantes, France, 3-4 octobre 2001( Book )

5 editions published in 2001 in French and English and held by 9 WorldCat member libraries worldwide

Systèmes de gestion de bases de données sur micro-ordinateurs : actes des journées AFCET de La Rochelle, 30 septembre - 1er octobre 1986( Book )

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

Putting into practice methods and tools for information system design : conference proceedings by International conference on putting into practice methods and tools for information system design( Book )

3 editions published in 1992 in English and Multiple languages and held by 3 WorldCat member libraries worldwide

Actes des 2èmes journées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information : Nantes, 26-30 sept. 1988 by Journées Pratique des Méthodes et Outils Logiciels d'Aide à la Conception de Systèmes d'Information( Book )

1 edition published in 1988 in French and held by 3 WorldCat member libraries worldwide

The B Method from Research to Teaching : Actes/proceedings, Nantes, cité internationale des congrès, 16 juin 2008, Journées scientifiques de l'Université de Nantes by Les Journées scientifiques de l'Université de Nantes( Book )

2 editions published in 2008 in English and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.40 for Software s ... to 0.95 for Systèmes ...)

Software specification methods : an overview using a case study
Languages
Covers