GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (9)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
JOURNEES PRATIQUE DES METHODES ET OUTILS LOGICIELS D'AIDE A LA CONCEPTION DE SYSTEMES D'INFORMATION (1990), Auteur ; Henri Habrias, Metteur en scène, réalisateur ; INSTITUT UNIVERSITAIRE DE TECHNOLOGIE, Éditeur scientifique | Nantes (Loire-Atlantique) : LIANA | 1990Méthodes de conception orientées, objet et méthodes de spécifications formelles (Jackson, Abrial...).
texte imprimé
JOURNEES PRATIQUE DES METHODES ET OUTILS LOGICIELS D'AIDE A LA CONCEPTION DE SYSTEMES D'INFORMATION (1990), Auteur ; Henri Habrias, Éditeur scientifique | Nantes (Loire-Atlantique) : LIANA | 1989
texte imprimé
JOURNEES PRATIQUE DES METHODES ET OUTILS LOGICIELS D'AIDE A LA CONCEPTION DE SYSTEMES D'INFORMATION (1990), Auteur ; Henri Habrias, Éditeur scientifique ; INSTITUT UNIVERSITAIRE DE TECHNOLOGIE, Éditeur scientifique | Nantes (Loire-Atlantique) : LIANA | 1987Présente les méthodes de conception de systèmes d'information disponibles sur le marché français ainsi que les outils logiciels qui y sont associés.
texte imprimé
Propose, pour la première fois, un tour d'horizon des méthodes et termes utilisés en génie logiciel. Chaque terme est défini, soit par l'auteur, soit par ce qui est communément admis par la profession. Les différentes approches d'un concept sont[...]
texte imprimé
Henri Habrias, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodologie pour le logiciel | 1993Expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réaliser. A partir du modèle conceptuel de données et de la sémantique, les méthodes de spécification les plus[...]
texte imprimé
Destinées à donner à tout informaticien, les connaissances pour juger de l'intérêt, des limites, des exigences des méthodes et techniques de mesure du logiciel.
texte imprimé
Présente un modèle utilisé en conception de systèmes informatiques.
texte imprimé
Les évolutions les plus récentes du langage et de la méthode B (méthode algébrique de spécification) sont le fruit de deux nouveaux types d'application de B : la rétro-ingénierie de logiciels (née de la nécessité de rénover les logiciels de sé[...]
texte imprimé
Henri Habrias, Metteur en scène, réalisateur ; Marie-Christine Lafaye, Metteur en scène, réalisateur | Paris : Eyrolles | 1987Réunit les textes des communications présentées aux journées AFCET de La Rochelle, faisant le point sur les systèmes actuels, les développements en cours et sur les perspectives d'avenir des systèmes de gestion de bases de données de tous types.
