Chargement...
Chargement...
Auteur André, Pascal
Auteur

Support

Série

Disponibilité

1
Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique : génie logiciel

Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique : génie logiciel

Auteur : Pascal André
Éditeur(s) : Ellipses
Une centaine d'exercices corrigés pour maîtriser l'ensemble des notions de base dans le domaine des systèmes d'information. ©Electre 2025
31,00 €
Chargement...
Exercices corrigés en langage Z, génie logiciel : les spécifications formelles par l'exemple

Exercices corrigés en langage Z, génie logiciel : les spécifications formelles par l'exemple

Auteur : Pascal André
Éditeur(s) : Ellipses
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. ©Electre 2025
29,00 €
Chargement...
Objet (L'), n° 1(2000). Méthodes formelles pour les objets

Objet (L'), n° 1(2000). Méthodes formelles pour les objets

Éditeur(s) : Lavoisier-Hermès
Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. Combiner du code avec des spécifications : constructions non déterministes et lambda-calcul, illustrés sur des classes de collections de la bibliothèque Java. Patrons de...
33,00 €
Chargement...
Génie logiciel : spécification des logiciels : deux exemples de pratiques récentes, Z et UML

Génie logiciel : spécification des logiciels : deux exemples de pratiques récentes, Z et UML

Auteur : Pascal André
Éditeur(s) : Ellipses
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ésentation des principes de...
31,00 €
Chargement...
Conception des systèmes d'information : génie logiciel : panorama des méthodes et des techniques

Conception des systèmes d'information : génie logiciel : panorama des méthodes et des techniques

Auteur : Pascal André
Éditeur(s) : Ellipses
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 un socle sur lequel r...
31,00 €
Chargement...
Exercices corrigés d'UML : passeport pour une maîtrise de la notation : génie logiciel

Exercices corrigés d'UML : passeport pour une maîtrise de la notation : génie logiciel

Auteur : Pascal André
Éditeur(s) : Ellipses
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. ©Electre 2025
35,00 €
Chargement...
Génie logiciel : développement des logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés

Génie logiciel : développement des logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés

Auteur : Pascal André
Éditeur(s) : Ellipses
Ce manuel rassemble des éléments de cours, des études de cas et les corrections d'exercices. Il traite à la fois de modélisation et de spécification avec ULM à partir d'exemples et de cas pratiques. ©Electre 2025
39,00 €
Chargement...
1