WorldCat Identities

Habrias, Henri

Overview
Works: 77 works in 128 publications in 3 languages and 1,551 library holdings
Genres: Specifications  Dictionaries  Conference proceedings  Criticism, interpretation, etc 
Roles: Editor, Publishing director, Author of introduction, Secretary, Director
Classifications: QA76.9.F67, 004.0151
Publication Timeline
Key
Publications about  Henri Habrias Publications about Henri Habrias
Publications by  Henri Habrias Publications by Henri Habrias
Most widely held works by Henri Habrias
Software specification methods by Henri Habrias ( )
15 editions published between 2006 and 2010 in English and held by 509 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
Software specification methods : an overview using a case study ( Book )
8 editions published between 2000 and 2001 in English and held by 184 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 Conférence internationale "Pierre Abélard" ( Book )
5 editions published in 2003 in French and held by 118 WorldCat member libraries worldwide
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
Dictionnaire encyclopédique du génie logiciel by Henri Habrias ( Book )
3 editions published in 1997 in French and held by 83 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 71 WorldCat member libraries worldwide
Introduction à la spécification by Henri Habrias ( Book )
2 editions published in 1993 in French and held by 65 WorldCat member libraries worldwide
Analyse fonctionnelle en informatique de gestion by Henri Briand ( Book )
7 editions published between 1977 and 1981 in French and held by 65 WorldCat member libraries worldwide
UML : la notation unifiée de modélisation objet : De Java aux EJB by Michel Lai ( Book )
2 editions published in 2000 in French and English and held by 58 WorldCat member libraries worldwide
La mesure du logiciel by Henri Habrias ( Book )
5 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 )
3 editions published in 2001 in French and held by 41 WorldCat member libraries worldwide
La spécification formelle avec Z by David E Lightfoot ( Book )
2 editions published in 1994 in French and held by 35 WorldCat member libraries worldwide
Le modèle relationnel binaire : méthode I.A. (NIAM) by Henri Habrias ( Book )
4 editions published in 1988 in French and held by 35 WorldCat member libraries worldwide
Software Specification Methods an Overview Using a Case Study by Henri Habrias ( )
1 edition published in 2006 in English and held by 13 WorldCat member libraries worldwide
This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follows a rigorous pattern whereby techniques and notations are gradually introduced through questions which are asked to an imaginary user. Most specification courses tend to focus on one or two key techniques and have a theoretical bias; however, this title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. T
Méthode B ( Book )
1 edition published in 2003 in French and held by 12 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 )
3 editions published in 2001 in French and English and held by 6 WorldCat member libraries worldwide
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 ( Book )
1 edition published in 1987 in Miscellaneous languages and held by 6 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 )
1 edition published in 1995 in English and held by 5 WorldCat member libraries worldwide
aPratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information actes[des] 4èmes Journées, Nantes, 25-26-27 septembre 1990 by Henri Habrias ( Book )
2 editions published in 1990 in French and held by 5 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.00 for Pratique d ... to 0.92 for Z twenty y ...)
Languages
Covers