GEOTRUST SSL CERTIFICATE
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.5 (245)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![]()
texte imprimé
Démontre la nécessité d'établir un consensus autour d'une vision partagée par toute l'équipe, la nécessité de créer un plan de technologie à versions multiples, la méthode pour réunir une équipe de champions, la manière de canaliser les pulsion[...]![]()
texte imprimé
Claude Terrier, Auteur | Montigny-le-Bretonneux (Yvelines) : Techniplus | L'Apprentissage en autonomie | 2000Cet ouvrage à feuillets détachables permet d'apprendre en sept étapes à concevoir directement par la pratique une base de données relationnelles sur Access 7. Nombreux exercices.![]()
texte imprimé
Pour apprendre à utiliser les principales fonctions de ce logiciel de gestion de bases de données.![]()
texte imprimé
Toutes les fonctions expliquées, même les moins connues d'Acrobat 5 (dernière version).![]()
texte imprimé
Nouvelle plate-forme de navigation conçue pour la Creative Suite 2 et ses composants. Tous les aspects du logiciel sont traités, de la prise en main de l'interface aux fonctionnalités les plus avancées.![]()
texte imprimé
Les nouvelles fonctions d'Adobe Illustrator 9 : formes, filets de dégradés, outil Crayon, filtre Croix obliques photo.![]()
texte imprimé
Programmes, exercices et conseils conformes à la norme ANSI de C et accessibles sur compilateurs C ou C++.![]()
texte imprimé
L'AMDE, analyse des modes de défaillance et de leurs effets, l'AMDEC, qui ajoute la quantification des risques et permet de les hiérarchiser, et, enfin, l'AEEL, analyse des erreurs et de leurs effets sur le logiciel, sont des techniques qui perm[...]![]()
texte imprimé
Christophe Kolski, Metteur en scène, réalisateur | Paris : Hermès science publications | Informatique et systèmes d'information | 2001Traite du développement du logiciel, des apports de l'ergonomie aux conceptions de systèmes d'information, de l'analyse des tâches et de la modélisation des tâches dans la conception des systèmes d'information, de la modélisation des tâches dan[...]![]()
texte imprimé
Synthétise les trois aspects complémentaires suivants : les concepts de base de l'approche objet, les méthodes d'analyse et de conception, les outils (langages et SGBD).![]()
texte imprimé
Présentation d'une méthode axée sur la pratique pour concevoir un logiciel en entreprise et garantir sa stabilité et sa performance.![]()
texte imprimé
Le modèle ARIS (Architecture intégrée des systèmes d'information) propose un cadre pour décrire et intégrer les différents aspects liés aux processus de gestion intervenant dans un système d'information. Cet ouvrage décrit les principales caract[...]![]()
texte imprimé
Jean Brès, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodes informatiques et pratique des systèmes, ISSN 0757-7206 | 1994Un atelier de génie logiciel (AGL) est un ensemble d'outils intégrés ayant pour objectif le développement des logiciels avec la productivité la plus grande. L'auteur présente un panorama des domaines et fonctionnalités des AGL en matière d'infor[...]![]()
texte imprimé
Pour devenir lecteur actif de sa formation. Des exercices supplémentaires en fin de projet pour permettre une auto-évaluation des connaissances. AutoCAD est le leader des logiciels de dessin technique professionnel.![]()
texte imprimé
Etudie les concepts, les outils et les méthodes de construction dans le domaine des bases de données et des tableurs. Chaque partie se termine par des études de cas et l'ouvrage se conclut par une série d'exercices.![]()
texte imprimé
Etudie les concepts, les outils et les méthodes de construction dans le domaine des bases de données et des tableurs. Chaque partie se termine par des études de cas et l'ouvrage se conclut par une série d'exercices.![]()
texte imprimé
Perline, Auteur ; Thierry Noisette, Auteur | Paris : La Découverte | Sur le vif, ISSN 1291-9314 | 2006L'informatique est devenue le champ d'une bataille entre partisans du logiciel libre et multinationales dont la fortune repose sur les logiciels propriétaires, bataille symbolisée par l'affrontement entre Linux et Microsoft. L'auteur analyse les[...]![]()
texte imprimé
Perline, Auteur ; Thierry Noisette, Auteur | Paris : La Découverte | Sur le vif, ISSN 1291-9314 | 2004L'informatique est devenu le champ d'une bataille entre partisans du logiciel libre et multinationales dont la fortune repose sur les logiciels propriétaires, bataille symbolisée par l'affrontement entre Linux et Microsoft. L'auteur analyse les [...]![]()
texte imprimé
Michel Polacco, Auteur ; Jérôme Colombain, Auteur | Paris : Jacob-Duvernet | Guide France info | 1999![]()
texte imprimé
CSS (Cascading Style Sheets) est une technique recommandée par le W3C permettant de contrôler et d'enrichir la présentation des pages web.![]()
texte imprimé
Pour suivre pas à pas et savoir exploiter ce logiciel intégré.![]()
texte imprimé
La qualité en informatique est difficile à mesurer, cependant la situation est en train de changer avec l'entrée du CMMI (Capacity Maturity Model Integrated) dans la pratique des entreprises. Ce modèle d'évaluation des processus de développement[...]![]()
texte imprimé
Présente une vision d'ensemble des différentes techniques à utiliser afin de mettre en oeuvre une solution de commerce électronique viable et pérenne : repenser l'organisation de l'entreprise en fonction des nouvelles technologies, normaliser le[...]![]()
texte imprimé
Dennis M. Ahern, Auteur ; Aaron Clouse, Auteur ; Richard Turner, Auteur | Toulouse : Cépaduès | 2006Présentation des concepts clés du projet Capability maturity model integration (CMMI), modèle pour l'amélioration intégrée des processus techniques et du management des organisations. Détail du choix et de l'utilisation des outils CMMI.![]()
texte imprimé
Jean-François Monin, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Collection technique et scientifique des télécommunications, ISSN 0221-2579 | 1996Les méthodes formelles sont des outils informatiques permettant la réalisation de logiciels sûrs et fiables, de la conception à la mise en oeuvre. Celles-ci peuvent être abordées par la logique qui en constitue un des fils directeurs. Cet ouvrag[...]![]()
texte imprimé
Ce livre présente toutes les applications de la transformation du XML en (X)HTML. Dès le début, sont exposées des techniques simples de fusion de documents. Les chapitres théoriques s'éloignent le moins possible des besoins réels et débouchent s[...]![]()
texte imprimé
Méthodes et techniques de la construction logicielle orientée objet. Description des aspects méthodologiques qui conduisent aux concepts orientés objets. Présentation des concepts de classe, de polymorphisme et de liaison dynamique. Illustration[...]![]()
texte imprimé
Mark Norris, Auteur ; Peter Rigby, Auteur | Saint-Denis-La Plaine (Seine-Saint-Denis) : Afnor | 1995Guide des bonnes pratiques pour concevoir, utiliser et maintenir des logiciels de qualité. Son but est d'aider le lecteur, qu'il soit étudiant ou professionnel chevronné, à mieux appréhender l'ingénierie logicielle en allant systématiquement de [...]![]()
texte imprimé
Jean-François Goglin, Auteur | Paris : Hermès science publications | Nouvelles technologies informatiques | 2001A mesure que l'on décentralise les organisations, les centres de responsabilités se retrouvent de plus en plus près des utilisateurs. Il faut donc que ceux-ci puissent accéder à toutes les informations stratégiques de l'entreprise. Il est donc n[...]![]()
texte imprimé
Jean-François Goglin, Auteur | Paris : Hermès science publications | Nouvelles technologies informatiques | 1998A mesure que l'on décentralise les organisations, les centres de responsabilités se retrouvent de plus en plus près des utilisateurs finals. Il faut donc que ceux-ci puissent accéder à toutes les informations stratégiques de l'entreprise. Il est[...]![]()
texte imprimé
Nouveau format de compression, le DivX permet de copier des fichiers vidéos sur des simples CD vierges. Permet de concevoir vos propres DivX, réaliser le montage de votre film, créer des jacquettes personnalisées, etc.![]()
texte imprimé
Martine Gautier, Auteur ; Gérald Masini, Auteur ; Karol Proc'h, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Manuels informatiques Masson | 1996Propose l'apprentissage d'une démarche de programmation orientée objet. Ce nouveau savoir-faire, déjà largement utilisé dans l'industrie, s'adresse aux étudiants connaissant déjà un langage classique de programmation. La mise en oeuvre se fait à[...]![]()
texte imprimé
David Crowder, Auteur ; Rhonda Crowder, Auteur | Paris : First interactive | FlashNotes, ISSN 1296-5456 | 2000Une collection qui propose l'essentiel pour s'en sortir.![]()
texte imprimé
Comment exploiter ce logiciel pour transmettre les documents quels que soient le logiciel et le matériel utilisés : génération et diffusion de fichiers PDF par tous canaux (CD-ROM, Internet, courrier électronique).![]()
texte imprimé
Ce guide explique : comment créer un site sans débourser un centime, en écrivant en langage html ou en utilisant les divers logiciels ou services mis à disposition de l'internaute ; comment transférer son site chez un fournisseur d'accès et comm[...]![]()
texte imprimé
CSS (Cascading style sheets) est une technique recommandée par le W3C permettant de contrôler et d'enrichir la présentation des pages Web. Ce livre référencie tous les secteurs CSS 2.1 et toutes les propriétés CSS 2.1 classées par ordre alphabét[...]![]()
texte imprimé
Un manuel d'apprentissage du logiciel musical, qui propose un entraînement aux synthétiseurs virtuels, à l'insertion d'effets et à l'automatisation d'un mixage.![]()
texte imprimé
Ensemble d'outils et de techniques pour concevoir, développer et déployer un data warehouse (ou entrepôt de données) au sein des grandes entreprises. L'ouvrage décrit les techniques de modélisation dimensionnelle et l'architecture en bus décisio[...]![]()
texte imprimé
Pour apprendre à créer sa première page Web en HTML : rédiger ses premières lignes de code, manipuler les fonds d'écran, les images, les tables...![]()
texte imprimé
Yves Constantinidis, Auteur | Paris : Hermès science publications | Etudes et logiciels informatiques | 2006Outil d'aide à la maîtrise d'ouvrage et à la conception de produits, ce livre permet de recueillir et d'analyser les besoins et d'élaborer un cahier des charges pour un logiciel.![]()
texte imprimé
Offre une expertise Delphi sur la programmation sous Windows et Linux d'applications performances : portabilité, gestion des accès aux bases de données, interface utilisateur, programmation Internet et Web jusqu'à la programmation système avancé[...]![]()
texte imprimé
Russel Winder, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-algorithmique, programmation | 1994Traduction de la 2e édition anglaise. Alterne l'analyse de problèmes techniques (48 exercices) et l'étude de leur solution appropriée. De nombreux exemples mettent en évidence les erreurs les plus fréquentes et des méthodes de contournement perm[...]![]()
texte imprimé
Alphonse Carlier, Auteur | Paris : Hermès science publications | Informatique et organisation, ISSN 1258-0341 | 1995Les phases de développement, depuis la conception des grands systèmes jusqu'aux niveaux d'intervention opérationnels, sont abordés et s'appuient sur la pratique des développements industriels. Sont également développés : les comparaisons entre l[...]![]()
texte imprimé
Fait le point sur les enjeux du développement et montre comment les outils Open Source peuvent être utilisés sur des parcs de PC sous Windows. Fait une synthèse sur les méthodes et les contraintes actuelles dans le domaine de la création des log[...]![]()
texte imprimé
L'auteur montre comment le développement rapide d'applications (RAD) peut être appliqué à la conception et à la réalisation de logiciels de toute taille, avec un résultat de très haute qualité, dans les délais et les coûts prévus.![]()
texte imprimé
Propose, pour la première fois, un tour d'horizon des méthodes et termes utilisés en génie logiciel. Chaque terme est défini, soit par l'auteur, soit par ce qui est communément admis par la profession. Les différentes approches d'un concept sont[...]![]()
texte imprimé
Un nouveau standard de compression, adapté à l'échange de programme vidéo sur Internet ou à leur stockage sur CD-ROM. Il permet de télédécharger des films et de les lire en plein écran dans une qualité audiovisuelle équivalente à celle d'un DVD.![]()
texte imprimé
Janine Warner, Auteur ; Paul Vachier, Auteur | Paris : First interactive | Poche pour les nuls, ISSN 1625-0486 | 2001Le logiciel de conception de site Web et ses applications : création de formulaires, intégration de graphiques, utilisation de HTML, implémentation de DHTML, intégration de graphiques et d'animations Flash, etc.![]()
texte imprimé
Permet de découvrir et d'utiliser le logiciel Dreamweaver 8 et ainsi de créer un site Internet complet. Chaque chapitre se termine par un cas pratique pour mettre en application les connaissances.![]()
texte imprimé
Toutes les informations nécessaires pour développer un site de commerce électronique sous plate-forme Linux de façon économique et techniquement évoluée.![]()
texte imprimé
La première partie de l'ouvrage présente les différents aspects du problème d'intégration en examinant les différents types d'intégration d'applications. La seconde partie détaille les différents besoins à couvrir pour une infrastructure d'intég[...]![]()
texte imprimé
Benoît Habert, Auteur ; Cécile Fabre, Auteur ; Fabrice Issac, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Informatiques | 1998Dans les années à venir la masse de documents papier existants (texte et images) deviendra inexploitable sans des traitements informatiques efficaces pour nettoyer, baliser, structurer, créer des liens entre documents. Cet ouvrage explique comme[...]![]()
texte imprimé
![]()
texte imprimé
Analyse du contexte et des enjeux de la mutation actuelle des systèmes d'information vers les progiciels intégrés appelés ERP. S'inspirant d'exemples concrets d'implantation internationale.![]()
texte imprimé
Claude Terrier, Auteur | Montigny-le-Bretonneux (Yvelines) : Techniplus | L'Apprentissage en autonomie | 2000Ouvrage à feuillets détachables structuré en 3 parties : une visite guidée qui permet de se familiariser rapidement avec l'environnement d'Excel, avec la version 2000 de ce progiciel. 11 étapes d'apprentissage qui abordent les principales foncti[...]![]()
texte imprimé
Informations pour exploiter touts les possibilités offertes par Excel : saisie et mise en forme des données, réalisation des graphiques, transfert de données Excel sur le Web, etc.![]()
texte imprimé
Conseils et astuces pour explorer en profondeur toutes les fonctionnalités du tableur Excel 2002 : saisir et mettre en forme des données, exécuter des calculs, convertir en euros, créer des graphiques dynamiques pour le Web, etc.![]()
texte imprimé
Présente les différentes composantes de l'Extreme Programming, ensemble de pratiques de programmation pour le développement de logiciels qui mettent l'accent sur la simplicité, le feedback, le courage et la communication.![]()
texte imprimé
Présente la nouvelle conception géographique de Flight Simulator 2002 et permet de réaliser son premier vol en Cessna Caravan Amphibie.![]()
texte imprimé
Pour découvrir, en dix chapitres, la programmation orientée objet et surtout créer ses premiers programmes pour Windows à l'aide du CD-ROM.![]()
document multimédia
Paris : Elektor 2000Plus de 100 programmes de logiciels publics dans les domaines d'applications de l'audio, des composants, de la mesure, des outils de développement, de la simulation et des hautes fréquences.![]()
document multimédia
Plus de 500 logiciels publics d'applications électroniques pour l'audio, les composants, la mesure, les outils de développement, la simulation et les hautes-fréquences.![]()
texte imprimé
Un logiciel permettant de créer son propre site Web.![]()
texte imprimé
Connaissances pour exploiter toutes les possibilités offertes par la dernière version de Frontpage (création de site Web, conception de liens hypertextes, insertion d'images et d'animations, etc).![]()
texte imprimé
Les connaissances indispensables à la maîtrise de l'éditeur Web FrontPage 2002 ; modèles pour créer un site Internet professionnel, insérer des images, fichiers audio et vidéo, utiliser des animations (applets Java, effets DHTML, etc.).![]()
texte imprimé
Propose de comprendre la problématique économique et technique du développement des systèmes informatiques. L'auteur met en lumière un certain nombre de limites inhérentes à la nature même du logiciel, et affirme ainsi que l'on ne pourra pas tou[...]![]()
texte imprimé
Alfred Strohmeier, Metteur en scène, réalisateur ; Didier Buchs, Metteur en scène, réalisateur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | 1996Se base sur des principes, propose des méthodes et offre des techniques permettant de développer des logiciels avec une qualité établie, de façon économique et dans des délais fixés.![]()
texte imprimé
Décrit l'état de l'art des techniques et stratégies d'évolution d'objets permettant aux systèmes et applications développés de réduire leur coût et leurs délais, de simplifier leur maintenance et de faciliter leur réutilisation. Les méthodes de [...]![]()
texte imprimé
Cet ouvrage aide les informaticiens à mettre en place une méthodologie et un processus opérationnel de gestion des applications. Deux cas tirés de la propre expérience de l'auteur sont étudiés. En fin d'ouvrage, un chapitre traite de l'efficacit[...]![]()
texte imprimé
Initiation à l'ingénierie et au management de contenu, à la conception, au développement et à la maintenance d'une infrastructure de contenu.![]()
texte imprimé
Présente les différents plug-in, des extensions qui enrichissent les logiciels, et explique leur fonctionnement.![]()
texte imprimé
Permet de trouver facilement les logiciels nécessaires à l'ouverture de plus de 2.000 formats de fichiers identifiés par leurs extensions. Chaque extension est associée aux logiciels correspondants, aux types de programmes et de fichiers, ainsi [...]![]()
texte imprimé
Per Kroll, Auteur ; Philippe Kruchten, Auteur | Paris : CampusPress | CampusPress référence, ISSN 1296-5863 | 2003Présente le processus RUP (Rational Unified Process), pratique moderne du développement logiciel : le cycle de vie d'un projet RUP, sa configuration, son installation et sa personnalisation.![]()
texte imprimé
Des techniques et des astuces pour apprendre ce langage : maîtriser les marqueurs (tags) et autres attributs HTML, créer des formulaires et des tableaux, travailler le graphisme du site grâce aux images et aux fonds de page, partager des fichier[...]![]()
texte imprimé
Comment rendre des pages HTML compatibles avec les principaux logiciels de navigation du marché ? Comment gérer facilement des composants multimédia dans une page Web ? Comment créer une "chat room" ? A des questions de ce genre, ce livre apport[...]![]()
texte imprimé
Tous les éléments HTML pour les navigateurs Web TV Classique et WebTV Plus.![]()
texte imprimé
Daniel Koch, Auteur ; Oliver Kürten, Auteur ; Florian Harms, Auteur | Paris : Micro application | Grand livre | 2000Offre tous les éléments nécessaires pour comprendre les mondes du HTML, XML et XHTML. Les thèmes les plus actuels sont abordés et expliqués clairement : création d'un site professionnel avec graphiques, tableaux et cadres, scripts Java, DHTML ou[...]![]()
texte imprimé
Toutes les infos pour créer, animer et publier vos pages web avec HTML, XML et XHTML.![]()
texte imprimé
Permet d'apprendre à programmer simplement avec HTML et d'intégrer les CSS à ce langage, à l'aide de fiches pratiques qui reprennent les principales tâches à exécuter.![]()
texte imprimé
Récapitule toutes les balises et extensions HTML, ainsi que leurs attributs, et passe en revue les compatibilités entre les différents navigateurs. Pour les webmasters et les responsables de serveurs WWW sur un intranet, ou tous ceux qui maintie[...]![]()
texte imprimé
Propose un apprentissage progressif des langages HTML et XHTML : notions de base, conception d'éléments graphiques et d'animations, utilisation de feuilles de style en cascade ; fournit aussi des notions concernant les langages XML et JavaScript[...]![]()
texte imprimé
Cet ouvrage fourmille d'exemples, d'échantillons de codes, de conseils pour vous aider à créer des pages web. Vous apprendrez comment insérer des images, créer des liens, utiliser les extensions Netscape, et plus encore. Ce livre couvre XHTML 1.[...]![]()
texte imprimé
L'ingénierie des composants (architecturaux, métiers, middleware, etc.) et de leur assemblage (langages, implementation, pattern, interopérabilité, etc.) débute. Cet ouvrage fait le point sur la recherche et les applications : modes de découpage[...]![]()
texte imprimé
Jean-Marie Favre, Metteur en scène, réalisateur ; Jacky Estublier, Metteur en scène, réalisateur ; Mireille Blay-Fornarino, Metteur en scène, réalisateur | Paris : Hermès science publications | Traité IC2 | 2006L'ingénierie dirigée par les modèles (IDM) est une évolution du Model driven architecture (MDA), qui met les modèles au centre de la démarche en génie logiciel. On donne ici une vision vaste et critique des diverses facettes, des tendances, des [...]![]()
texte imprimé
Rapport de synthèse des travaux du groupe de l'Observatoire français des techniques avancées. Présente les aspects les plus importants de l'ingénierie des modèles, des exemples de son utilisation et la comparaison entre les concepts qui y sont i[...]![]()
texte imprimé
Corine Cauvet, Metteur en scène, réalisateur ; Camille Rosenthal-Sabroux, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Pour une vision pertinente de la conception des systèmes d'information : des gestionnaires, des spécialistes des sciences cognitives et des informaticiens partagent leurs expériences et leurs connaissances.![]()
texte imprimé
Traite de la rétro-conception des bases de données et des systèmes de fichiers, de la réingénierie des données, d'un schéma XML d'intégration de sources de données web et d'un système expert pour la maintenance de sites web.![]()
texte imprimé
Une sélection d'articles issus du congrès INFORSID 2001 qui donne un panorama de la problématique de la recherche sur les systèmes d'information avancés. Aborde : la modélisation et la conception d'un système ; l'utilisation des données semi-str[...]![]()
texte imprimé
Fait le point sur les avancées tant théoriques que pratiques en matière d'extraction et d'intégration de schémas et de données en vue de faciliter l'interopérabilité, qui est un des moyens pour rendre les systèmes d'information plus efficients. [...]![]()
texte imprimé
Articles issus du congrès Inforsid 2002 présentant diverses approches pour la réutilisation de connaissances métier dans l'ingénierie des systèmes d'information (sous forme de démarches et de langages pour les modéliser). Ces connaissances métie[...]![]()
texte imprimé
Présente la méthode Merise (méthode de conception et de développement de systèmes d'information informatisés) et ses plus récentes évolutions (RAD, BPR, etc.) selon ses trois composantes principales : les modèles et raisonnements, la démarche pr[...]![]()
texte imprimé
Présente la méthode Merise (méthode de conception et de développement de systèmes d'information informatisés) et ses plus récentes évolutions (RAD, BPR, etc.) selon ses trois composantes principales : les modèles et raisonnements, la démarche pr[...]![]()
texte imprimé
Destiné aux professionnels comme aux étudiants en informatique, un manuel proposant une vision synthétique des différents aspects des interfaces graphiques et apportant des réponses concrètes aux problèmes que ceux-ci peuvent poser.![]()
texte imprimé
Propose aux étudiants une méthode de conception et aux utilisateurs des bases ergonomiques pour réaliser des IHM (interfaces homme-machine) graphiques normalisées et conviviales.![]()
texte imprimé
L'intergiciel est un ensemble d'abstractions offertes au-dessus des systèmes d'exploitation pour simplifier le développement d'applications sur les réseaux d'ordinateurs. A partir de la dernière conférence NOTERE (Nouvelles technologies de la ré[...]![]()
texte imprimé
Permet de maîtriser toutes les fonctions d'Internet Explorer 6.![]()
texte imprimé
Aperçu des différentes possibilités offertes par la version 6 de ce navigateur de référence pour surfer sur Internet.![]()
texte imprimé
Panorama des différents outils et techniques informatiques actuellement disponibles afin d'analyser l'information biologique et produire de nouvelles connaissances. Conseils pour utiliser au mieux les logiciels existants et les adapter aux besoi[...]![]()
texte imprimé
Maple V est un outil de calcul numérique et formel développé par Waterloo Maple Software (Université de Waterloo, Ontario, Canada). Grâce à ses quelque 2500 fonctions, il permet d'effectuer rapidement des calculs en précision quelconque, des rés[...]![]()
texte imprimé
Présentation des bases théoriques et des fondements mathématiques de la spécification formelle. Revue des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Exp[...]