Catalogue des ouvrages Université de Laghouat
A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Jean-Marc Jézéquel
Documents disponibles écrits par cet auteur



Approches formelles pour le développement de logiciels / Jean-Marc Jézéquel
Titre : Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 Type de document : texte imprimé Auteurs : Jean-Marc Jézéquel, Directeur de publication, rédacteur en chef ; Jeanine Souquières, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Science Publications Année de publication : 2004 Autre Editeur : Paris : Éditions Lavoisier Collection : TSI. Technique et science informatiques num. 23 Importance : 850-956 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-1016-5 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Méthodes formelles (informatique) Logiciels-Développement Actes de congrès Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 [texte imprimé] / Jean-Marc Jézéquel, Directeur de publication, rédacteur en chef ; Jeanine Souquières, Directeur de publication, rédacteur en chef . - Paris : Hermès Science Publications : Paris : Éditions Lavoisier, 2004 . - 850-956 p. ; 24 cm.. - (TSI. Technique et science informatiques; 23) .
ISBN : 978-2-7462-1016-5
Langues : Français
Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Méthodes formelles (informatique) Logiciels-Développement Actes de congrès Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 005.1.801-1 005.1.801-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible Ingénierie dirigée par les modèles / Jean-Marc Jézéquel
Titre : Ingénierie dirigée par les modèles : des concepts à la pratique Type de document : texte imprimé Auteurs : Jean-Marc Jézéquel, Auteur ; Benoît Combemale, Auteur ; Didier Vojtisek, Auteur Editeur : Paris [France] : Ellipses Année de publication : 2012 Collection : Références sciences Importance : 1 vol. (XIII-122 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-7196-3 Note générale : Bibliogr. p. 105-113. Index Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Résumé : L'industrie du logiciel fait face à une augmentation de la complexité des systèmes. À l'instar d'autres sciences, la modélisation est de plus en plus utilisée pour maîtriser cette complexité. Popularisée par l'OMG avec son approche MDA, l'ingénierie dirigée par les modèles (IDM) s'inscrit dans cette évolution en prônant l'utilisation systématique de modèles pour automatiser une partie des processus de développement suivis par les ingénieurs. Au-delà de la mécanisation de l'utilisation d'UML, l'IDM permet d'outiller des langages de modélisation ad hoc (Domain Specific Modeling Languages, DSML), dédiés à chaque aspect méthodologique ou technologique du développement. Ce livre offre une approche didactique et pragmatique d'apprentissage de l'IDM, incluant la définition et l'outillage de DSML. Il est destiné à toute personne souhaitant acquérir les connaissances nécessaires à la mise en oeuvre d'un développement dirigé par les modèles (par exemple : étudiant en génie logiciel, ingénieur, architecte et chef de projets). Ingénierie dirigée par les modèles : des concepts à la pratique [texte imprimé] / Jean-Marc Jézéquel, Auteur ; Benoît Combemale, Auteur ; Didier Vojtisek, Auteur . - Paris (France) : Ellipses, 2012 . - 1 vol. (XIII-122 p.) : ill., couv. ill. en coul. ; 24 cm. - (Références sciences) .
ISBN : 978-2-7298-7196-3
Bibliogr. p. 105-113. Index
Langues : Français
Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Résumé : L'industrie du logiciel fait face à une augmentation de la complexité des systèmes. À l'instar d'autres sciences, la modélisation est de plus en plus utilisée pour maîtriser cette complexité. Popularisée par l'OMG avec son approche MDA, l'ingénierie dirigée par les modèles (IDM) s'inscrit dans cette évolution en prônant l'utilisation systématique de modèles pour automatiser une partie des processus de développement suivis par les ingénieurs. Au-delà de la mécanisation de l'utilisation d'UML, l'IDM permet d'outiller des langages de modélisation ad hoc (Domain Specific Modeling Languages, DSML), dédiés à chaque aspect méthodologique ou technologique du développement. Ce livre offre une approche didactique et pragmatique d'apprentissage de l'IDM, incluant la définition et l'outillage de DSML. Il est destiné à toute personne souhaitant acquérir les connaissances nécessaires à la mise en oeuvre d'un développement dirigé par les modèles (par exemple : étudiant en génie logiciel, ingénieur, architecte et chef de projets). Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 005.1.47-3 005.1.47-3 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible Numéro 7 - Approches formelles pour le développement de logiciels (Bulletin de Revue des sciences et technologies de l'information, Numéro 7 [01/02/2004]) / Jean-Marc Jézéquel
[n° ou bulletin]
Titre : Numéro 7 - Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 Type de document : texte imprimé Auteurs : Jean-Marc Jézéquel, Directeur de publication, rédacteur en chef ; Jeanine Souquières, Directeur de publication, rédacteur en chef Année de publication : 2004 Langues : Français Mots-clés : Méthodes formelles (informatique) Logiciels-Développement Actes de congrès [n° ou bulletin] Numéro 7 - Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 [texte imprimé] / Jean-Marc Jézéquel, Directeur de publication, rédacteur en chef ; Jeanine Souquières, Directeur de publication, rédacteur en chef . - 2004.
Langues : Français
Mots-clés : Méthodes formelles (informatique) Logiciels-Développement Actes de congrès Contient
- Validation des règles de base de l'atelier B / Karim Berkani in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
- Adaptabilité et validation de la traduction de B vers C / Frédéric Badeau in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
- Stratégie de couverture de test à un haut niveau d'abstraction / Pierre Bontron in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
- La méthode B et l'ingénierie système in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
- Les réseaux de régulation biologique in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
- Modèles de programmation mon conventionnels in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité RV 11-201-1 RV 11-201-1 Périodique BIBLIOTHEQUE DE FACULTE DES SCIENCES Périodiques (SCI) Disponible RV 11-201-2 RV 11-201-2 Périodique BIBLIOTHEQUE DE FACULTE DES SCIENCES Périodiques (SCI) Disponible