WorldCat Identities

Habrias, Henri

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

8 editions published between 2000 and 2001 in English and held by 175 WorldCat member libraries worldwide

This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study - an invoicing system - to enable the reader to compare and contrast easily. Among the techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Most specification courses tend to focus on 1 or 2 key techniques and to have a theoretical bias; this book provides a basic overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. It will prove essential reading for all industrial and commercial practitioners who need to expand their knowledge of software specification methods
Pierre Abélard : colloque international de Nantes by Jean Jolivet( Book )

13 editions published between 2003 and 2015 in French and held by 143 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
Mathématiques à l'usage des informaticiens by Thierry Brugère( Book )

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

Software specification methods by Henri Habrias( Book )

22 editions published between 2006 and 2010 in English and Undetermined and held by 89 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
Dictionnaire encyclopédique du génie logiciel by Henri Habrias( Book )

4 editions published in 1997 in French and held by 81 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

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

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

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

2 editions published in 1993 in French and held by 61 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 54 WorldCat member libraries worldwide

La mesure du logiciel by Henri Habrias( Book )

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

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

4 editions published in 2001 in French and held by 44 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 34 WorldCat member libraries worldwide

Formal specification using Z by David E Lightfoot( Book )

2 editions published in 1994 in French and held by 32 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 des 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 11 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

Actes by Congrès mondial des fertilisants( Book )

2 editions published between 1988 and 1989 in French and English and held by 4 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

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

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