
Génie logiciel : spécification des logiciels. Deux exemples de pratiques récentes : Z et UML
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets. Chacune des parties comprend elle-même : une introduction à la problématique générale du domaine ; une illustration de cette problématique par un langage représentatif : Z pour les spécifications formelles et UML pour la modélisation à objets ; une présentation des principes des spécifications applicables avec ces langages ; un complément de notation destiné à approfondir la connaissance de Z ou UML. La théorie est ici toujours mise au service de la pratique. De très nombreux exemples sont fournis et chaque chapitre est illustré par de nombreux exercices. L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé Conception des systèmes d'information, consacré aux méthodes et aux techniques de base de la conception des systèmes.
| Nombre de pages | 318 |
|---|---|
| Date de parution | 13/07/2001 |
| Poids | 680g |
| Largeur | 175mm |
| EAN | 9782729807740 |
|---|---|
| Titre | Génie logiciel : spécification des logiciels. Deux exemples de pratiques récentes : Z et UML |
| Auteur | André Pascal ; Vailly Alain |
| Editeur | ELLIPSES |
| Largeur | 175 |
| Poids | 680 |
| Date de parution | 20010713 |
| Nombre de pages | 318,00 € |
| Disponibilité | Sur commande en 6-10 jours |
Pourquoi choisir Molière ?
Du même auteur
-

Conception des systèmes d'information. Panorama des méthodes et des techniques
André Pascal ; Vailly AlainLa collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, MaîtriseEpuiséVOIR PRODUIT31,01 € -

Exercices corrigés de conception logicielle. Modélisation des systèmes d'information par la pratique
André Pascal ; Vailly AlainLa collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, MaîtriseSur commande en 6-10 joursCOMMANDER31,01 € -

Exercices corrigés d'UML. Passeport pour une maîtrise de la notation
André Pascal ; Vailly AlainMaîtriser UML - ce standard de la technologie orientée objets - c'est en posséder les concepts et savoir les appliquer à bon escient. Or, si la littérature sur UML est abondante, ce qui manque le plus actuellement ce sont des exercices corrigés et des études de cas. Cet ouvrage développe la pratique en mettant l'accent sur la résolution d'exercices variés. Il est structuré en quatre chapitres: le premier passe en revue tous les diagrammes, de façon isolée et en groupe; le deuxième est une mise en pratique au travers de sept études de cas; le troisième explore le côté formel d'UML par l'expérimentation du langage OCL; et le dernier traite de la vérification de spécifications UML. L'ouvrage présente les solutions, mais aussi les démarches suivies, les alternatives et des conseils de modélisation. Par la variété des exercices et des cas concrets, il couvre aussi largement que possible le domaine d'application. Cela en fait un guide pratique d'utilisation d'UML Sur la collection La collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, MaîtriseEpuiséVOIR PRODUIT35,00 € -

Génie logiciel : Exercices corrigés en langage Z. Les spécifications formelles par l'exemple
André Pascal ; Vailly AlainLa collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, MaîtriseSur commande en 6-10 joursCOMMANDER29,00 €
Du même éditeur
-

Le manuel de cours du Tage Mage
Pinto Joachim ; Sévigné Arnaud« Le meilleur livre de préparation au TAGE MAGE du march? (prépa Admissions Parallèles) Objectif : Connaître toutes les méthodes, astuces, conseils et questions types du TAGE MAGE ! Profil : Tout candidat au TAGE MAGE qui vise un bon ou un très bon score. Idéal pour les candidats qui ont déjà un autre livre de préparation. Les + sur le fond : - 220 fiches de cours : explications du cours + exemples + exercices (toutes les formules / astuces / conseils). - 110 vidéos pédagogiques (accessibles via le livre / smartphone / ordinateur). - 2 tests blancs avec corrigés détaillés étape par étape. - 500 questions d'entrainement. - Un espace utilisateur sur le site www.le-manuel-du-tage-mage.com Les + sur la forme : - Ouvrage en couleur. - 15 plannings de révisions personnalisés selon votre objectif de score, votre temps de préparation disponible et le nombre de fois que vous passez le TAGE MAGE. - Fiches et questions classées par difficulté (1 à 5) et par fréquence d'apparition (1 à 5). - Mise en page travaillée. Autres livres de la collection : - Le GRAND Manuel du TAGE MAGE : 220 fiches + 15 tests blancs + 110 vidéos. - Le PETIT Manuel du TAGE MAGE : 120 fiches + 2 tests blancs + 60 vidéos. - Le Manuel d'ENTRAINEMENT du TAGE MAGE : 10 tests blancs. Biographie des auteurs : Arnaud SEVIGNE (HEC Paris) et Joachim PINTO (HEC Paris), score record de 507/600, enseignent le TAGE MAGE depuis 5 ans à AURLOM (2012-2015) et à Admissions Parallèles (2015-Auj.). Ils sont déjà auteurs d'ouvrages de référence sur le TAGE MAGE et sont reconnus comme les plus grands experts de ce test.EpuiséVOIR PRODUIT29,50 € -

L'Anglais à Sciences Po. 5e édition
Fichaux FabienRéussir l'épreuve d'anglais aux Concours Sesame, Accès, Team, Ipag, Prism ou encore Pass demande rigueur, méthode et entraînement. Dans cette optique, cet ouvrage prépare de façon graduelle et pragmatique à toutes les épreuves d'anglais des différents concours - à la fois pour l'écrit mais aussi pour l'oral. Son objectif premier est de faire acquérir au lecteur une méthode solide pour lui permettre de travailler efficacement et réussir les concours d'entrée.EpuiséVOIR PRODUIT23,00 € -

Le manuel d'entraînement du Tage Mage
Pinto Joachim ; Sévigné Arnaud« Le meilleur livre de préparation au TAGE MAGE du march? (prépa Admissions Parallèles) Objectif : S'entraîner intensément au TAGE MAGE ! Profil : Tout candidat au TAGE MAGE qui vise un bon ou un très bon score. Idéal pour les candidats qui ont déjà un autre livre de préparation. Les + sur le fond : - 10 tests blancs avec corrigés détaillés étape par étape. - 900 questions d'entrainement. - Un espace utilisateur sur le site www.le-manuel-du-tage-mage.com Les + sur la forme : - Ouvrage en couleur. - 15 plannings de révisions personnalisés selon votre objectif de score, votre temps de préparation disponible et le nombre de fois que vous passez le TAGE MAGE. - Fiches et questions classées par difficulté (1 à 5) et par fréquence d'apparition (1 à 5). - Mise en page travaillée. Autres livres de la collection : - Le GRAND Manuel du TAGE MAGE : 220 fiches + 15 tests blancs + 110 vidéos. - Le PETIT Manuel du TAGE MAGE : 120 fiches + 2 tests blancs + 60 vidéos. - Le Manuel de COURS du TAGE MAGE : 220 fiches + 2 tests blancs + 110 vidéos. Biographie des auteurs : Arnaud SEVIGNE (HEC Paris) et Joachim PINTO (HEC Paris), score record de 507/600, enseignent le TAGE MAGE depuis 5 ans à AURLOM (2012-2015) et à Admissions Parallèles (2015-Auj.). Ils sont déjà auteurs d'ouvrages de référence sur le TAGE MAGE et sont reconnus comme les plus grands experts de ce test.EpuiséVOIR PRODUIT29,00 € -

Le corps
Guisard Philippe ; Laizé Christelle ; Kalfon Jean-La collection Cultures antiques est une invitation à parcourir le domaine fondamental de l'Antiquité gréco-romaine et des oeuvres que nous ont léguées les Anciens, à la faveur d'une question choisie : c'est autour du thème de culture antique donné à l'étude en hypokhâgne et khâgne qu'elle rassemble une série d'articles réunissant professeurs des universités et des classes préparatoires de différentes spécialités. Elle propose ainsi aux étudiants, qu'ils soient néophytes, initiés ou bien déjà familiarisés avec la culture antique, des analyses récentes et claires appliquées à un large corpus de textes pour une meilleure compréhension et un plus grand plaisir de la connaissance.Impression à la demandeCOMMANDER49,00 €
De la même catégorie
-

Architectures PKI et communications sécurisées
Dumas Jean-Guillaume ; Lafourcade Pascal ; Redon PManuel d'apprentissage des principes et algorithmes de sécurisation des sites Web par une architecture à clé publique. Avec des exercices corrigés.EpuiséVOIR PRODUIT39,25 € -

Informatique industrielle et réseaux en 20 fiches. BTS 1re et 2e années, 2e édition
Hérold Jean-François ; Guillotin Olivier ; Anaya PComment aller à l'essentiel, comprendre les méthodes et les démarches avant de les mettre en application ? Conçue pour faciliter aussi bien l'apprentissage que la révision, la collection "EXPRESS" vous propose une présentation simple et concise de l'Informatique industrielle et réseaux en 20 fiches pédagogiques. Chaque fiche comporte : les idées clés à connaître, la méthode à mettre en oeuvre, des applications sous forme d'exercices corrigés.EpuiséVOIR PRODUIT15,60 € -

SOA, microservices, API management. Le guide de l'architecte d'un SI agile, 5e édition
Fournier-Morel Xavier ; Grojean Pascal ; Plouin GuCet ouvrage s’adresse aux responsables des systèmes d’information, aux architectes, aux maîtrises d’ouvrages et aux maîtrises d’œuvre, ainsi qu’aux développeurs de solutions et aux responsables de production. Les architectures orientées services (SOA) s’imposent dans l’univers des systèmes d’information depuis maintenant une quinzaine d’années, et ce style d’architecture s’est adapté pour suivre les changements majeurs apportés par les géants du web et la transformation digitale des entreprises. L’objectif des auteurs est d’expliquer comment organiser, construire et déployer en entreprise, une architecture à base de services. Ils expliquent pourquoi SOA répond à la nécessité d’avoir un SI agile, et présentent une méthodologie avec les deux points de vue complémentaires : celui du métier et celui de la technique. Cet ouvrage montre aussi comment le recours aux architectures de services permet de construire une architecture cohérente à l’échelle de l’entreprise. Des patterns et des solutions sont présentés pour satisfaire les exigences de robustesse et de performance qui résultent d’une double émergence : celle des microservices distribués dans un contexte de collaboration DevOps, et celle des flots d’évènements temps réel dans des SI connectés aux objets du monde réel. Enfin, une démarche pratique est proposée avec des étapes et des jalons pour conduire un cheminement progressif d’architecture de services.EpuiséVOIR PRODUIT47,00 € -

Windows Server IIS
Caicoya Sylvain ; Saury Jean-GeorgesRiches en exemples et en captures d'écran, les ouvrages de la collection Guide Complet abordent de façon claire et précise des thèmes micro informatiques destinés aux débutants et aux utilisateurs avancés.EpuiséVOIR PRODUIT16,50 €
