GEOTRUST SSL CERTIFICATE
Détail de l'auteur
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é
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[...]
texte imprimé
Pascal André, Metteur en scène, réalisateur ; Roger Rousseau, Metteur en scène, réalisateur | Paris : Hermès science publications | 2000Vers 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 bibliot[...]
