Habrias Henri
I was a professor in the IT department of the IUT of Nantes. Semi-formal methods and formal methods of specification.
Books : Software Specification Methods, H. Habrias, M. Frappier (ed) (ISTE) 2006, Pierre Abélard, Colloque international de Nantes, sous la direction de Jean Jolivet et Henri Habrias (Presses Universitaires de Rennes), 2003, Spécification formelle avec B (hermes, Lavoisier) 2001, Dictionnaire encyclopédique du génie logiciel (Masson), 1997, 1st conference on the B method, 1966 Proceedings (ed), La mesure du logiciel, (Teknea), 1995, La spécification formelle avec Z (translation of the book of David Lightfoot, corrected and completed version, (Teknea) 1994, Introduction à la spécification (Masson) 1993, Le modèle relationnel binaire, NIAM (Eyrolles) 1988
Books : Software Specification Methods, H. Habrias, M. Frappier (ed) (ISTE) 2006, Pierre Abélard, Colloque international de Nantes, sous la direction de Jean Jolivet et Henri Habrias (Presses Universitaires de Rennes), 2003, Spécification formelle avec B (hermes, Lavoisier) 2001, Dictionnaire encyclopédique du génie logiciel (Masson), 1997, 1st conference on the B method, 1966 Proceedings (ed), La mesure du logiciel, (Teknea), 1995, La spécification formelle avec Z (translation of the book of David Lightfoot, corrected and completed version, (Teknea) 1994, Introduction à la spécification (Masson) 1993, Le modèle relationnel binaire, NIAM (Eyrolles) 1988
less
Interests
Uploads
Papers by Habrias Henri
— papygrams
— NIAM notation
— MERISE notation
— UML notation
— Codd n-ary relation notation
And a notation applying Occam's razor, the Oc notation
La définition des ensembles (fichiers) en compréhension se transforme en une définition en extension par l'informatique.
“What questions are prompted by ones particular method of specification?1'
being interrupted". But a writing can ease or not the
interruptions of the reader. The nominalization is the way
to avoid these interruptions. To create identifiers, substitutes of individuals taking the place of relations is to impregnate the information Systems with a "tongue of wood", probably unconsciously contrary to the
"tongue of wood" of the politicians (see in [QUE65] a
quotation of an article of Joseph Stalin).
The processing rules considered here are the rules "creating” new occurrences of entities or relationships.We do not take an interest in the creation" or modification of a value of attributes of existing entities or relationships. We propose the concept of occurring and synthetic cardinalities. The occurring description expresses the relation cardinalities between "inputs" and "outputs" that the process representing the rule must follow.
The synthetic description corresponds to the cardinalities that are usually to be found in the conceptual diagrams.
Starting from basic facts dealing with a part of these cardinalities, using inference rules, we deduce a set of possible processing rules described in our occurring/synthetic description.
A piece of software using language Prolog and inferring automatically operating rules is described.
An example permits us to illustrate the proposed approach.