GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Pascal André |
Documents disponibles écrits par cet auteur (6)
Ajouter le résultat dans votre panier Affiner la recherche
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é
L'ouvrage (niveau B) : Une centaine d'exercices corrigés sont proposés pour faciliter la maîtrise des notions de base dans le domaine des systèmes d'information. Une première série d'exercices sert à l'apprentissage et à la maîtrise des techniq[...]texte imprimé
Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique d[...]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é
L'ouvrage : niveau B (IUP - Licence) UML évolue en permanence et la littérature est très fournie, insistant en général soit sur la notation et la modélisation, soit sur la pratique, avec ou sans exercices. Ici les auteurs ont pris le pari du com[...]texte imprimé
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectiveme[...]