Spécification des logiciels - ellipses - 9782729807740 -
Spécification des logiciels 

Spécification des logiciels

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 respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets. Chacune des parties comprend elle-même : une [...]
[lire le résumé du livre]

Auteur : 

Editeur : Ellipses

Collection : Technosup

Date parution :

Reliure :
Broché
Nbr de pages :
317
ISBN 10 :
2729807748
ISBN 13 :
9782729807740
31,00 €
Disponible expédié
sous 4 à 8 jours

Paiements sécurisés
CB Google/Apple Pay, Chèque, Virement
0.01€ à partir de 35€ en France métropolitaine
Satisfait ou remboursé sous 14 jours ouvrés

Quel est le sujet du livre "Spécification des logiciels"

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 respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets. Chacune des parties comprend elle-même : 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 des spécifications applicables avec ces langages ; un complément de notation destiné à approfondir la connaissance de Z ou UML. La théorie est ici toujours mise au service de la pratique. De très nombreux exemples sont fournis et chaque chapitre est illustré par de nombreux exercices. L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé Conception des systèmes d'information, consacré aux méthodes et aux techniques de base de la conception des systèmes.

Auteurs :

Pascal André, Maître de conférences à l'Université de Nantes, détaché à l'INP de Yamoussoukro (Côte d'Ivoire), travaille en recherche sur les méthodes formelles de développement des systèmes des objets. Alain Vailly, Maître de conférences à la Faculté des sciences et techniques de l'Université de Nantes est Directeur de l'IUP MIAGe. Il s'intéresse en recherche au paraphrasage de spécification.

Génie logiciel.
Deux exemples de pratiques récentes : Z et UML. En suivant ce lien, retrouvez tous les livres dans la spécialité Informatique-Audiovisuel.

Sommaire et contenu du livre "Spécification des logiciels"

SPÉCIFICATION FORMALLE AVEC Z : 1 - Introduction aux spécifications formelles ; 2 - Le langage Z ; 3 - La spécification avec Z ; 4 - La spécification avec Z : la facturation de commandes ; 5 - Des compléments pour la modélisation avec Z ; MODÉLISATION OBJET AVEC UML : 6 - Introduction au développement à objets ; 7 - La notation UML ; 8 - La spécification avec UML ; 9 - Des compléments pour la modélisation avec UML.

    Avis clients sur Spécification des logiciels - ellipses - Technosup

    (Ils sont modérés par nos soins et rédigés par des clients ayant acheté l'ouvrage)
    Donnez votre avis
       
      Controler les cookies