- EAN13
- 9782729804794
- ISBN
- 978-2-7298-0479-4
- Éditeur
- Editions Ellipses
- Date de publication
- 13/07/2001
- Collection
- Technosup
- Nombre de pages
- 320
- Dimensions
- 26 x 17,5 x 2 cm
- Poids
- 689 g
- Code dewey
- 005.12
- Fiches UNIMARC
- S'identifier
Conception des systèmes d'information - Génie logiciel - Niveau B
panorama des méthodes et des techniques
De Pascal André, Alain Vailly
Editions Ellipses
Technosup
Niveau B (Bases)
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML)
Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de :
- la modélisation des données,
- la modélisation du comportement,
- la modélisation des traitements, et il termine en abordant le problème de la vérification des modèles. Chaque chapitre est illustré par de nombreux exercices.
Un second ouvrage des mêmes auteurs expose les méthodes formelles et UML.
Sommaire
I. Introduction au développement du logiciel : Méthodes de développement - Modèles de représentation - Processus de développement - Spécifications - Stratégies de développement - La qualité - Validation - Tendances et perspectives du génie logiciel
Il. Modélisation des données : Le modèle Entités-Associations - Le modèle E-A-P de base - Extensions possibles - Démarches alternatives - Modèle relationnel - Dépendances fonctionnelles - Normalisation - Décomposition des relations - Méthodologie sur les données - Passage d'un modèle à l'autre - Conclusion - Exercices
III. Modélisation du comportement : Les automates : notions de base, propriétés - Premiers pas de la modélisation - La composition d'automates - Les automates communicants - Les automates hiérarchiques - Les réseaux de PETRI - Vérification de propriétés - méthodologie sur le comportement - Conclusion - Exercices
IV. Modélisation des traitements : Le modèle des Flots de Données - La modélisation des traitements avec Merise - L'expression des traitements - Normalisation - L'utilisation de ces modèles - Du MCT au MOT - Conclusion - Exercices
V. Vérification de modèles et conclusion : Principes de vérification - Vérification dans SSADM - Vérification dans Merise - Conclusion - Exercices
Conclusion
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML)
Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de :
- la modélisation des données,
- la modélisation du comportement,
- la modélisation des traitements, et il termine en abordant le problème de la vérification des modèles. Chaque chapitre est illustré par de nombreux exercices.
Un second ouvrage des mêmes auteurs expose les méthodes formelles et UML.
Sommaire
I. Introduction au développement du logiciel : Méthodes de développement - Modèles de représentation - Processus de développement - Spécifications - Stratégies de développement - La qualité - Validation - Tendances et perspectives du génie logiciel
Il. Modélisation des données : Le modèle Entités-Associations - Le modèle E-A-P de base - Extensions possibles - Démarches alternatives - Modèle relationnel - Dépendances fonctionnelles - Normalisation - Décomposition des relations - Méthodologie sur les données - Passage d'un modèle à l'autre - Conclusion - Exercices
III. Modélisation du comportement : Les automates : notions de base, propriétés - Premiers pas de la modélisation - La composition d'automates - Les automates communicants - Les automates hiérarchiques - Les réseaux de PETRI - Vérification de propriétés - méthodologie sur le comportement - Conclusion - Exercices
IV. Modélisation des traitements : Le modèle des Flots de Données - La modélisation des traitements avec Merise - L'expression des traitements - Normalisation - L'utilisation de ces modèles - Du MCT au MOT - Conclusion - Exercices
V. Vérification de modèles et conclusion : Principes de vérification - Vérification dans SSADM - Vérification dans Merise - Conclusion - Exercices
Conclusion
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
GÉNIE LOGICIEL - Développement de logiciels avec UML 2 et OCL - Cours, études de cas et exercices corrigés (Niveau B), cours, études de cas et exercices corrigésPascal André, Alain VaillyEditions Ellipses39,00
-
Exercices corrigés en langage Z - Génie logiciel - Niveau C, génie logicielPascal André, Alain VaillyEditions Ellipses29,00
-
Exercices corrigés d'UML - Génie logiciel - Niveau C, génie logicielPascal André, Alain VaillyEditions Ellipses
-
Exercices corrigés de conception logicielle - Génie logiciel - Niveau B, modélisation des systèmes d'information par la pratiquePascal André, Alain VaillyEditions Ellipses31,00
-
Spécification des logiciels - Deux exemples de pratiques récentes : Z et UML - Génie logiciel - Niveau C, deux exemples de pratiques récentes Z et UMLPascal André, Alain VaillyEditions Ellipses31,00
-
GÉNIE LOGICIEL - Développement de logiciels avec UML 2 et OCL - Cours, études de cas et exercices corrigés (Niveau B), cours, études de cas et exercices corrigésPascal André, Alain VaillyEditions Ellipses39,00
-
Exercices corrigés en langage Z - Génie logiciel - Niveau C, génie logicielPascal André, Alain VaillyEditions Ellipses29,00
-
Exercices corrigés d'UML - Génie logiciel - Niveau C, génie logicielPascal André, Alain VaillyEditions Ellipses
-
Exercices corrigés de conception logicielle - Génie logiciel - Niveau B, modélisation des systèmes d'information par la pratiquePascal André, Alain VaillyEditions Ellipses31,00
-
Spécification des logiciels - Deux exemples de pratiques récentes : Z et UML - Génie logiciel - Niveau C, deux exemples de pratiques récentes Z et UMLPascal André, Alain VaillyEditions Ellipses31,00