GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Alain Vailly |
Documents disponibles écrits par cet auteur (5)



![]()
texte imprimé
Ce panorama des méthodes et techniques de conception des systèmes d'information montre qu'un nombre restreint de modèles de base (entités-associations-propriétés, modèle relationnel, automates, réseaux de Pétri, expressions régulières) constitue[...]![]()
texte imprimé
Une centaine d'exercices corrigés pour maîtriser l'ensemble des notions de base dans le domaine des systèmes d'information.![]()
texte imprimé
Cet ouvrage couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la conception des systèmes d'informations. Il comprend 80 exercices corrigés et commentés.![]()
texte imprimé
Permet d'apprendre à utiliser UML, ce standard de la technologie objet, à l'aide d'exercices et d'études de cas. Traite des diagrammes, du côté formel d'UML par l'expérimentation du langage OCL et de la vérification des spécifications UML.![]()
texte imprimé
2 parties comprenant chacune : une introduction à la problématique générale du domaine, une illustration de cette problématique par un langage représentatif (Z pour les spécifications formelles et UML pour la modélisation à objets), une présent[...]