WorldCat Identities

Habrias, Henri

Overview
Works: 81 works in 138 publications in 3 languages and 1,696 library holdings
Genres: Specifications  Dictionaries  Conference papers and proceedings  Criticism, interpretation, etc 
Roles: Author, Editor, pmn, Secretary, Author of introduction, Publishing director, 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( Book )

8 editions published between 2000 and 2001 in English and held by 172 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 )

6 editions published in 2003 in French and held by 120 WorldCat member libraries worldwide

Mathématiques à l'usage des informaticiens by Thierry Brugre( 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 86 WorldCat member libraries worldwide

Software specification methods by Henri Habrias( Book )

17 editions published between 2006 and 2010 in English and held by 84 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
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 69 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 )

2 editions published in 1993 in French and held by 64 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 55 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 )

4 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
Méthode B( Book )

1 edition published in 2003 in French and held by 13 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 )

4 editions published in 2001 in French and English and held by 9 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 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

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 6 WorldCat member libraries worldwide

Pierre Abélard( )

1 edition published in 2003 in French and held by 4 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.79 (from 0.36 for Software s ... to 0.95 for Pierre Abe ...)

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