Accueil
A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Réseaux PETRI.'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
Conception des systèmes d'information : panorama des méthodes et des techniques / Alain Vailly
Titre : Conception des systèmes d'information : panorama des méthodes et des techniques Type de document : texte imprimé Auteurs : Alain Vailly, Auteur ; André, Pascal, Auteur Editeur : Paris : Ellipses Année de publication : 2001 Importance : 312 p. ISBN/ISSN/EAN : 978-2-7298-0479-4 Note générale : 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
Langues : Français Catégories : Techniques
Techniques:InformatiqueMots-clés : Génie logiciel Systèmes d'information MERISE Réseaux PETRI. Index. décimale : 005 - Programmation Conception des systèmes d'information : panorama des méthodes et des techniques [texte imprimé] / Alain Vailly, Auteur ; André, Pascal, Auteur . - Paris : Ellipses, 2001 . - 312 p.
ISBN : 978-2-7298-0479-4
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
Langues : Français
Catégories : Techniques
Techniques:InformatiqueMots-clés : Génie logiciel Systèmes d'information MERISE Réseaux PETRI. Index. décimale : 005 - Programmation Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 00000661 005.1 VAI Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Exclu du prêt