
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 |
| SKU: | 9782729807740 |
| wmi_id_distributeur: | Not set |
| Is Salable (from plugin): | Yes (In Stock) |
| Is Salable (direct MSI check): | Yes (In Stock) |
| Distributor Name: | Par défaut |
| Availability Value: | 0 |
| Availability Label: | Epuisé |
| Match Result: | |
| Default Availability (Config): | 0 - Epuisé |
| Raw Config Mapping: |
Array
(
[_1772119784121_121] => Array
(
[id] => 12707000
[name] => 12707000
[availability] => 1
[activation_attribute] => 1
)
)
|
| 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 € |
Pourquoi choisir Molière ?
Du même auteur
-

Spinoza et la psychanalyse
Martins André ; Sévérac Pascal ; Moreau Pierre-FraRésumé : Beaucoup l?ont constaté : il y a un air de famille entre spinozisme et psychanalyse. Même remise en cause des attributs classiques de la subjectivité (libre-arbitre et transparence de la conscience à elle-même) ; même valorisation de l?affectivité du sujet (et notamment de la force de son désir) ; même appréhension matérialiste des phénomènes théologico-politiques (à travers l?analyse de la puissance de l?imaginaire) ; et dans une certaine mesure, même visée thérapeutique... Les deux grands noms de la psychanalyse, Freud et Lacan, n?ont d?ailleurs pas caché, au moins à une certaine période de leur parcours intellectuel, une proximité avec la pensée spinoziste. Soit. Mais ces grandes lignes de rapprochement entre psychanalyse et spinozisme permettent- elles autre chose que de dessiner une vague parenté, dont il serait tout aussi aisé, sinon plus, de souligner les lignes de fracture ? Pour ne pas en rester à ce niveau de généralité, il est nécessaire d?analyser précisément les notions, les problèmes, les thèses et les textes à travers lesquels cette confrontation entre spinozisme et psychanalyse prend sens et devient fructueuse. C?est le défi qu?entend relever le présent recueil, le premier consacré à une telle confrontation.ÉPUISÉVOIR PRODUIT32,55 € -

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îtriseÉPUISÉVOIR PRODUIT35,00 € -

Les outils organisationnels
Cavagnol André ; Roulle PascalLa notion d'outils organisationnels semble aller de soi en sciences de gestion, ceux-ci sont même un élément essentiel de la pratique des professionnels. Cependant, c'est une réalité complexe qui participe de très nombreux domaines comme la comptabilité, la sociologie, l'ordonnancement, le service des méthodes, la gestion financière, la gestion du personnel, l'organisation du travail, la gestion des stocks et bien d'autres domaines encore. Aussi, cet ouvrage propose aux étudiants en gestion et aux candidats à l'UV 3 du DECF les principales clés (techniques et références théoriques) permettant ensuite l'étude plus approfondie des outils de gestion qui correspondent à la spécialité de chaque étudiant, tout en leur donnant les moyens de se situer par rapport à l'ensemble de ces techniques et de dialoguer avec les autres spécialistes. Sur la collection Des livres clairs et concis destinés aux filières d'expertise comptable, DPECF, DECF et DESCF (nouveaux programmes), mais aussi aux BTS et IUT tertiaires, aux écoles de commerce et aux facultés d'économie et gestion ou de droit.ÉPUISÉVOIR PRODUIT14,50 € -

Management
Cavagnol André;Roulle PascalCe livre est un véritable outil d'acquisition des connaissances pour préparer votre épreuve. Les auteurs y ont mis l'expérience qu'ils ont de l'examen pour vous permettre : d'acquérir toutes les connaissances qui figurent au programme, les revoir facilement à tout moment et les mémoriser ; de savoir bien utiliser vos connaissances pour résoudre avec succès les applications proposées (les corrigés sont fournis) et pour votre épreuve.ÉPUISÉVOIR PRODUIT18,00 €
Du même éditeur
-
Orthographe et conjugaison. L'essentiel en 400 exercices et jeux
Desbourdes IsabelleRésumé : Destiné à un public de lycéens, d'étudiants et d'adultes soucieux d'améliorer leur expression écrite, ce livre propose un entraînement orthographique à la fois structuré et ludique ; chaque chapitre est organisé en quatre séquences : 1. Révisez ! 2. Entraînez-vous ! 3. louez ! 4. Testez-vous ! qui offrent une grande diversité d'exercices et de jeux. Il traite des fréquentes erreurs, souvent indétectables par les logiciels de correction et aborde ainsi : les accords ; les conjugaisons ; les homophones. Il fournit également aux enseignants et formateurs un matériel pédagogique riche et varié : 400 exercices et 10 évaluations corrigés ; des corrigés commentés ; un index détaillé et un lexique des termes techniques.ÉPUISÉVOIR PRODUIT14,50 € -
ABC FLE Français langue étrangère A1-A2. Les bases du français en 30 leçons
Burnand CarolinePrésentation de l'éditeur abc FLE vous conduira en 30 leçons au niveau A1-A2 du cadre européen de référence des langues. FLE s'adresse : aux grands débutants adolescents ou adultes aux personnes désirant acquérir les bases du français en vue d'un séjour aux personnes n'ayant plus pratiqué le français depuis longtemps abc FLE comprend : 30 leçons 30 dialogues ou textes enregistrés 160 exercices corrigés 100 fichiers audio à télécharger gratuitement sur le site des éditions ellipses : www.editions-ellipses.fr abc FLE est l'outil idéal pour débuter ou réviser.ÉPUISÉVOIR PRODUIT12,50 € -
Harry Potter à l'école de la philosophie. Etude philosophique
Chaillan MarianneHarry Potter n’a pas fini de vous faire rêver... cette fois-ci en vous réconciliant avec la philosophie ! L’oeuvre de Rowling peut être vue comme une philosophie de la mort – de son refus total (Voldemort, les fantômes de Poudlard) à sa lente et progressive acceptation (Harry). Une lecture passionnante !EN STOCKCOMMANDER10,00 € -
Vocabulaire. Plus de 100 jeux et quiz pour vous tester et découvrir le secret des mots
Lambert JeanVous souhaitez réviser, enrichir votre vocabulaire, découvrir le secret des mots ? Le présent ouvrage est fait pour vous. Conçu de façon progressive, il vous permettra d'affermir vos connaissances tout en vous amusant. Il offre : ? 1000 mots expliqués ? plus de 100 jeux et leurs corrigés ? des quiz de difficulté croissante ? et même... le coin des curieux A vous de jouer !ÉPUISÉVOIR PRODUIT9,50 €
De la même catégorie
-
Plan de continuité d'activité et système d'information. Vers l'entreprise résiliente, 2e édition
Bennasar Matthieu ; Théron PaulCet ouvrage s'adresse aux décideurs de l'entreprise ainsi qu'aux maîtres d'oeuvre de la continuité d'activité (RPCA, risk managers, RSSI et DSI). Le management de la continuité d'activité permet de préparer l'entreprise à faire face aux crises qui peuvent paralyser ses activités. Il se matérialise notamment par un plan de continuité d'activité (PCA) pragmatique, à jour et testé. Structuré en trois parties, cet ouvrage actualisé sur les normes européennes donne une vision stratégique de la continuité d'activité: La première partie est destinée aux décideurs qui y trouveront les grands principes du management de la continuité d'activité. La deuxième partie propose une méthodologie en vue d'assurer la continuité d'activité avec le détail des étapes de sa mise en oeuvre: bilan d'impact sur l'activité (BIA), analyse des risques, tests du PCA... Elle présente aussi des études de cas. La troisième partie trace les perspectives d'évolution, du management de la continuité d'activité vers la résilience d'entreprise.ÉPUISÉVOIR PRODUIT54,40 € -
Guide des certifications SI. Comparatif, analyse et tendances ITIL, CobiT, ISO 27001, eSCM, 2e éditi
Sidi Jacqueline ; Otter Martine ; Hanaud Laurent ;Ce guide des certifications appliquées aux systèmes d'information fournit une vision synthétique de 27 dispositifs utilisés en France. Les référentiels analysés couvrent l'ensemble des domaines soumis à certification : entreprises, services, produits, processus et personnes. Par sa forme pédagogique sous forme de fiches synthétiques, cet ouvrage facilite la compréhension des différents dispositifs et constitue un guide pratique. En complément des fiches, il présente cartographies, analyses, tendances et de nombreux retours d'expérience. Les directions chargées des choix en matière de certification, motivées par la bonne gouvernance du SI, l'excellence de l'entreprise ou la responsabilité sociale, trouveront dans cet ouvrage les éléments essentiels pour comprendre les dispositifs existants ou construire leur propre système. Ce guide s'adresse principalement aux DSI et aux responsables des systèmes de management de la qualité ou de la sécurité. Les DRH du secteur informatique seront intéressés par les aspects de certification des personnes. Enfin, les consultants disposeront d'une abondante matière pour appuyer leurs recommandations.ÉPUISÉVOIR PRODUIT40,40 € -
MDM. Enjeux et méthodes de la gestion des données
Régnier-Pécastaing Franck ; Gabassi Michel ; FinetCet ouvrage s'adresse à tous les responsables, tant côté maîtrise d'ouvrage que maîtrise d'?uvre, et à tous les dirigeants, urbanistes, chefs de projet... qui cherchent à améliorer la valeur de l'information détenue et utilisée par l'entreprise. Comment optimiser l'interaction et la synchronisation de données du SI et assurer leur qualité (cohérence, mise à jour, absence de doublon...) ? Comment transformer une vision stratégique liée à la donnée en une réalité ? Ce livre répond à ces interrogations en exposant des méthodes et des solutions de gestion des données de référence et met l'accent, en particulier, sur les données de référence et sur la notion essentielle de " point de vérité ". La première partie expose les concepts, besoins et enjeux de la gestion de données. La deuxième partie présente les bonnes pratiques, les architectures et les solutions pour améliorer cette gestion. Le MDM (Master Data Management) y est en particulier détaillé. La dernière partie propose des méthodes et des organisations s'appuyant sur le concept clé de gouvernance des données.ÉPUISÉVOIR PRODUIT45,45 € -
Réussir ses projets avec Microsoft Project. 50 fiches pratiques pour planifier, piloter et communiqu
Guilbot Florent ; Capitaine Vincent ; Destors MarcCet ouvrage s'adresse à tous les acteurs qui travaillent sur des projets et utilisent MS Project: chefs de projet, responsables de ressources, équipiers... MS Project et la solution collaborative EPM (Enterprise Project Management) constituent l'une des solutions les plus performantes pour conduire efficacement des projets simples ou complexes. Ce guide pratique servira aussi bien aux utilisateurs de MS Projet en mode autonome qu'en mode collaboratif. Il traite de MS Project Standard, MS Project Professional, MS Project Server et MS Project Web Access. Cet ouvrage a été conçu à partir des versions 2007 de ces logiciels, mais reste d'actualité pour les versions antérieures. Les 50 fiches pratiques rassemblées dans cet ouvrage guident le lecteur à chaque étape clé de son projet pour qu'il tire rapidement le meilleur parti de MS Project. Ces fiches correspondent à chaque étape de la vie d'un projet depuis son initialisation jusqu'à sa clôture avec le retour d'expérience associé. Elles sont regroupées en trois parties: Planifier, Piloter et Communiquer. Biographie de l'auteur Florent Guilbot est consultant en management de projet. Il est membre du PMI (PMP) et certifié sur MS Project 2007 (Microsoft Certified Technology Specialist). Vincent Capitaine est consultant en management de projet. Il est certifié sur MS Project Server 2007 (Microsoft Certified Technology Specialist). Tous deux conduisent des missions d'implémentation et animent des formations sur MS Project EPM 2007 depuis de nombreuses années. Préface de Marc Destors, auteur de Le chef de projet paresseux... mais gagnant! (Microsoft Press).ÉPUISÉVOIR PRODUIT48,60 €







