Conception des systèmes d'information : panorama des méthodes et des techniques
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des principales méthodes et techniques de conception des système...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Livre papier |
| Sprache: | Français |
| Veröffentlicht: |
Paris :
Ellipses
DL 2001.
|
| Schriftenreihe: | Technosup. Génie logiciel : les filières technologiques des enseignements supérieurs
|
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 03154nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 111046 | ||
| 008 | 010314t20012001xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN055251110 | ||
| 020 | |a 272980479X (br.) : |c [190 FRF] | ||
| 024 | |a 9782729804794 | ||
| 041 | 0 | |a fre |f fre | |
| 080 | |a 67 | ||
| 082 | |a 005.12 | ||
| 082 | |a 004.21 | ||
| 084 | |a D.2 | ||
| 100 | 1 | |a André, Pascal, |d 1967-...., |c chercheur en informatique. | |
| 245 | 1 | 0 | |a Conception des systèmes d'information : |b panorama des méthodes et des techniques |c Pascal André,... Alain Vailly,... |
| 260 | |a Paris : |b Ellipses, |c DL 2001. | ||
| 300 | |a 1 volume (312 pages) : |b ill., couv. ill. ; |c 26 cm. | ||
| 490 | 1 | |a Technosup. Génie logiciel : les filières technologiques des enseignements supérieurs | |
| 504 | |a Bibliogr. p. [301]-304. Index | ||
| 505 | 0 | |a I Introduction au développement du logiciel -- 1 Développement du logiciel -- II Modélisation des données -- 2 Le modèle Entités - Associations - Propriétés -- 3 Le modèle relationnel -- 4 Un peu de méthodologie sur les données -- III Modélisation du comportement -- 5 Les automates -- 6 Les réseaux de PETRI -- 7 Un peu de méthodologie sur le comportement -- 8 Le modèle des Flots de Données -- 9 La modélisation des traitements avec Merise -- 10 Vérification de modèles -- IV Modélisation des traitements -- V Vérification de modèles -- 10 Vérification de modèles | |
| 520 | |a Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base (entités-associations-propriétés, modèle relationnel, automates, réseaux de PETRI, expressions régulières...) constituent 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 exposera les méthodes formelles et UML. | ||
| 521 | |a Ouvrage de niveau B, Bases (cours avec exercices et problèmes résolus) : IUP - IUT - BTS | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Systèmes d'information | ||
| 650 | |a MERISE, Méthode | ||
| 650 | |a Petri, Réseaux de | ||
| 700 | 1 | |a Vailly, Alain. |4 aut | |
| 997 | |0 111046 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 0/Châteauroux/ |c 0/Orléans/ |c 1/Bourges/INSA CVL/ |c 1/Châteauroux/IUT de l'Indre/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 005.12 AND |z Orléans, BU Sciences, Technologies, STAPS, 005.12 AND |z Châteauroux, IUT de l'Indre, 004.2 AND |z Bourges, INSA CVL, 005.117 AND |z Bourges, INSA CVL, 005.117 AND | ||