Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Génie logiciel : spécification des logiciels : deux exemples de pratiques récentes, Z et UML
É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
É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 de conception logicielle : modélisation des systèmes d'information par la pratique : génie logiciel
É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 2024
31,00 €
Chargement...
Exercices corrigés d'UML : passeport pour une maîtrise de la notation : génie logiciel
É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 2024
35,00 €
Chargement...
Exercices corrigés en langage Z, génie logiciel : les spécifications formelles par l'exemple
É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 2024
29,00 €
Chargement...
Informatique : premiers pas en algorithmique : de l'énoncé à la solution, exercices analysés, corrigés et commentés
Éditeur(s): Ellipses
Des exercices complétés a posteriori par les notions de cours, pour une pratique de la programmation sur une base algorithmique solide. ©Electre 2024
25,00 €
Chargement...
Génie logiciel : développement des logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés
É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 2024
39,00 €
Chargement...