Des services pour PMB
Accueil
Détail de l'auteur
Auteur André Pascal |
Documents disponibles écrits par cet auteur (3)
Faire une suggestion Affiner la recherche
Titre : Développement de logiciels avec UML 2 et OCL : cours, etudes de cas et exercices corriges Type de document : texte imprimé Auteurs : André Pascal ; Vailly Alain, Auteur Editeur : Paris : Ellipses Année de publication : DL 2013 Collection : Technosup Importance : IV-378 p. Présentation : couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-8353-9 Note générale :
-Bibliogr. p. 369-374.
-IndexLangues : Français (fre) Catégories : 004 Informatique. Science et technologie de l'informatique.:004.4 Logiciel. Programme Tags : UML 2 OCL modélisation orientée objet génie logiciel systèmes d’information diagrammes UML exercices corrigés cas d’étude développement logiciel. Index. décimale : 004.4 Logiciel. Programme Résumé :
UML évolue en permanence et la littérature est très fournie, insistant en général soit sur la notation et la modélisation, soit sur la pratique. Ici les auteurs ont pris le pari du compromis entre les deux approches. Le ciment est le développement du logiciel : ils couvrent les différentes étapes du cycle de développement en appuyant le discours sur la pratique tout en étant rigoureux sur la notation. Les exercices corrigés viennent étayer les points de détail. Certains sont conçus pour l’apprentissage et la maîtrise technique, d’autres pour aborder la pratique dans le monde des systèmes d’information ; les énoncés sont concrets et les solutions souvent détaillées pas à pas, ce qui permet d’appréhender les pratiques de modélisation utilisées.Développement de logiciels avec UML 2 et OCL : cours, etudes de cas et exercices corriges [texte imprimé] / André Pascal ; Vailly Alain, Auteur . - Paris : Ellipses, DL 2013 . - IV-378 p. : couv. ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-8353-9
-Bibliogr. p. 369-374.
-Index
Langues : Français (fre)
Catégories : 004 Informatique. Science et technologie de l'informatique.:004.4 Logiciel. Programme Tags : UML 2 OCL modélisation orientée objet génie logiciel systèmes d’information diagrammes UML exercices corrigés cas d’étude développement logiciel. Index. décimale : 004.4 Logiciel. Programme Résumé :
UML évolue en permanence et la littérature est très fournie, insistant en général soit sur la notation et la modélisation, soit sur la pratique. Ici les auteurs ont pris le pari du compromis entre les deux approches. Le ciment est le développement du logiciel : ils couvrent les différentes étapes du cycle de développement en appuyant le discours sur la pratique tout en étant rigoureux sur la notation. Les exercices corrigés viennent étayer les points de détail. Certains sont conçus pour l’apprentissage et la maîtrise technique, d’autres pour aborder la pratique dans le monde des systèmes d’information ; les énoncés sont concrets et les solutions souvent détaillées pas à pas, ce qui permet d’appréhender les pratiques de modélisation utilisées.Exemplaires(0)
Disponibilité aucun exemplaire
Titre : Exercices corrigés de conception logicielle : Modélisation des systèmes d`information par la pratique. Type de document : texte imprimé Auteurs : André Pascal ; Vailly Alain, Auteur Editeur : Paris : Ellipses Année de publication : 2002 Collection : Technosup Sous-collection : Les fillières technologiques des enseignements supérieurs Importance : 314p. Présentation : couv.coul. Format : 24cm. ISBN/ISSN/EAN : 978-2-7298-1289-8 Note générale : Biblio.313p-314p. Langues : Français (fre) Catégories : 004 Informatique. Science et technologie de l'informatique.:004.4 Logiciel. Programme:004.41 ingénierie du logiciel Tags : Conception logicielle Modélisation Systèmes d'information Génie logiciel Analyse des systèmes Exercices corrigés Méthodes de conception. Index. décimale : 004.41 Systèmes d'exploitation Résumé :
Cet ouvrage propose une approche pratique de la conception logicielle et de la modélisation des systèmes d'information à travers de nombreux exercices corrigés. Il présente les méthodes et les techniques permettant d'analyser, de représenter et de concevoir des systèmes informatiques, tout en mettant l'accent sur l'application des concepts à des cas concrets.Exercices corrigés de conception logicielle : Modélisation des systèmes d`information par la pratique. [texte imprimé] / André Pascal ; Vailly Alain, Auteur . - Paris : Ellipses, 2002 . - 314p. : couv.coul. ; 24cm.. - (Technosup. Les fillières technologiques des enseignements supérieurs) .
ISBN : 978-2-7298-1289-8
Biblio.313p-314p.
Langues : Français (fre)
Catégories : 004 Informatique. Science et technologie de l'informatique.:004.4 Logiciel. Programme:004.41 ingénierie du logiciel Tags : Conception logicielle Modélisation Systèmes d'information Génie logiciel Analyse des systèmes Exercices corrigés Méthodes de conception. Index. décimale : 004.41 Systèmes d'exploitation Résumé :
Cet ouvrage propose une approche pratique de la conception logicielle et de la modélisation des systèmes d'information à travers de nombreux exercices corrigés. Il présente les méthodes et les techniques permettant d'analyser, de représenter et de concevoir des systèmes informatiques, tout en mettant l'accent sur l'application des concepts à des cas concrets.Exemplaires(0)
Disponibilité aucun exemplaire
Titre : GÉNIE LOGICIEL: Exercices corrigés en langage Z : Les spécification formelles par l'exemple. Type de document : texte imprimé Auteurs : André Pascal ; Vailly Alain, Auteur Editeur : Paris : ellipeses Année de publication : 2004 Collection : TECHNOSUP Importance : 243p. Présentation : Couv. coul.ill. Format : 26cm. ISBN/ISSN/EAN : 978-2-7298-1942-2 Langues : Français (fre) Catégories : 004 Informatique. Science et technologie de l'informatique.:004.4 Logiciel. Programme:004.41 ingénierie du logiciel Tags : Génie logiciel Langage Z Spécifications formelles Méthodes formelles Modélisation Vérification. Index. décimale : 004.41 Systèmes d'exploitation Résumé :
Cet ouvrage présente les principes du génie logiciel à travers l'étude des spécifications formelles en langage Z. Illustré par de nombreux exercices corrigés, il montre comment modéliser et décrire rigoureusement les systèmes informatiques afin d'améliorer leur fiabilité et leur qualitéGÉNIE LOGICIEL: Exercices corrigés en langage Z : Les spécification formelles par l'exemple. [texte imprimé] / André Pascal ; Vailly Alain, Auteur . - Paris : ellipeses, 2004 . - 243p. : Couv. coul.ill. ; 26cm.. - (TECHNOSUP) .
ISBN : 978-2-7298-1942-2
Langues : Français (fre)
Catégories : 004 Informatique. Science et technologie de l'informatique.:004.4 Logiciel. Programme:004.41 ingénierie du logiciel Tags : Génie logiciel Langage Z Spécifications formelles Méthodes formelles Modélisation Vérification. Index. décimale : 004.41 Systèmes d'exploitation Résumé :
Cet ouvrage présente les principes du génie logiciel à travers l'étude des spécifications formelles en langage Z. Illustré par de nombreux exercices corrigés, il montre comment modéliser et décrire rigoureusement les systèmes informatiques afin d'améliorer leur fiabilité et leur qualitéExemplaires(0)
Disponibilité aucun exemplaire
