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...
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Conception des systèmes d'information : panorama des méthodes et des techniques / Pascal André,... Alain Vailly,... |
Publié : |
Paris :
Ellipses
, DL 2001, cop. 2001 |
Description matérielle : | 1 vol. (312 p.) |
Collection : | Technosup Génie logiciel les filières technologiques des enseignements supérieurs [dir. par Claude Chèze] |
Sujets : |
LEADER | 04346cam a2200781 4500 | ||
---|---|---|---|
001 | PPN055251110 | ||
003 | http://www.sudoc.fr/055251110 | ||
005 | 20230126060400.0 | ||
010 | |a 2-7298-0479-X |b br. |d [190 FRF] | ||
020 | |a FR |b 00123745 | ||
021 | |a FR |b DL 01-11281 (D3) | ||
033 | |a http://catalogue.bnf.fr/ark:/12148/cb376350575 | ||
035 | |a 056410980 |9 sudoc | ||
035 | |a 056229194 |9 sudoc | ||
035 | |a 075350041 |9 sudoc | ||
035 | |a (OCoLC)46958584 | ||
035 | |a ocm46958584 | ||
035 | |a sib1720067 | ||
035 | |a Evry32240 | ||
035 | |a DYNIX_BUNAN_429736 | ||
035 | |a bua127140 | ||
035 | |a frBN026433343 | ||
035 | |a FRBNF376350570000009 |z FRBNF37635057 | ||
073 | 1 | |a 9782729804794 | |
100 | |a 20010314h20012001k y0frey0103 ba | ||
101 | 0 | |a fre |e fre | |
102 | |a FR | ||
105 | |a a a 001yy | ||
106 | |a r | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c n |2 rdamedia | ||
182 | 1 | |6 z01 |a n | |
183 | 1 | |6 z01 |a nga |2 rdacarrier | |
200 | 1 | |a Conception des systèmes d'information |e panorama des méthodes et des techniques |f Pascal André,... Alain Vailly,... | |
210 | |a Paris |c Ellipses |d DL 2001, cop. 2001 | ||
215 | |a 1 vol. (312 p.) |c ill., couv. ill. |d 26 cm | ||
225 | 2 | |a Technosup |i Génie logiciel |e les filières technologiques des enseignements supérieurs | |
320 | |a Bibliogr. p. [301]-304. Index | ||
330 | |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. |2 4e de couverture | ||
333 | |a Ouvrage de niveau B, Bases (cours avec exercices et problèmes résolus) : IUP - IUT - BTS | ||
359 | 2 | |b I Introduction au développement du logiciel |c 1 Développement du logiciel |b II Modélisation des données |c 2 Le modèle Entités - Associations - Propriétés |c 3 Le modèle relationnel |c 4 Un peu de méthodologie sur les données |b III Modélisation du comportement |c 5 Les automates |c 6 Les réseaux de PETRI |c 7 Un peu de méthodologie sur le comportement |c 8 Le modèle des Flots de Données |c 9 La modélisation des traitements avec Merise |c 10 Vérification de modèles |b IV Modélisation des traitements |b V Vérification de modèles |c 10 Vérification de modèles | |
410 | | | |0 069333637 |t Technosup |i Génie logiciel |o les filières technologiques des enseignements supérieurs |f [dir. par Claude Chèze] |c Paris |n Ellipses |d [2001?]- |s Technosup | |
606 | |3 PPN027673529 |a Génie logiciel |2 rameau | ||
606 | |3 PPN028909917 |a Logiciels |x Développement |2 rameau | ||
606 | |3 PPN02736075X |a Systèmes d'information |2 rameau | ||
606 | |3 PPN02807842X |a MERISE, Méthode |2 rameau | ||
606 | |3 PPN027674401 |a Petri, Réseaux de |2 rameau | ||
675 | |a 67 |v Éd. 1967 | ||
676 | |a 005.12 |v 21 | ||
676 | |a 004.21 | ||
686 | |a D.2 |2 acm | ||
700 | 1 | |3 PPN055750931 |a André |b Pascal |f 1967-.... |4 070 | |
701 | 1 | |3 PPN055750966 |a Vailly |b Alain |4 070 | |
801 | 3 | |a FR |b Abes |c 20210121 |g AFNOR |h 056410980 | |
801 | 3 | |a FR |b Abes |c 20210121 |g AFNOR |h 056229194 | |
801 | 3 | |a FR |b Abes |c 20210121 |g AFNOR |h 075350041 | |
801 | 1 | |a US |b OCLC |g AACR2 | |
801 | 2 | |a FR |b AUROC |g AFNOR | |
801 | 3 | |a FR |b SF |g AFNOR | |
801 | 3 | |a FR |b BN |g AFNOR | |
979 | |a SCI | ||
979 | |a STN | ||
930 | |5 441092104:181623951 |b 441092104 |j u | ||
930 | |5 441092215:432873457 |b 441092215 |a 8733/80 |j g | ||
930 | |5 441842101:209669241 |b 441842101 |j u | ||
930 | |5 441092105:270631712 |b 441092105 |j f | ||
998 | |a 85071 |