Auteur Pascal André
Documents disponibles écrits par cet auteur (6)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
texte imprimé
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des principales méthodes et t[...]
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 techniqu[...]
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[...]
