Publication

Méthodes formelles pour le développement et la vérification de logiciels

Didier Buchs
1996
Conference Papers

Résumé

Cet article présente les différents composants d'une méthode de développement de logiciel intégrée. Nous soulignerons la nécessité de fournir un cadre cohérent l'intégration des activités de spécification, d'implémentation et de vérification. L'usage de méthodes formelles sera étudié en montrant, l'importance de la sémantique dans la formalisation des techniques de développement ainsi que la nécessité de supporter un développement incrémental. L'incrémentalité est située au niveau de l'élaboration de la spécification et au niveau de la construction des programmes. Finalement nous présenterons une réalisation concrète de système de développement basé sur le formalisme CO-OPN que nous avons mené à l'EPFL, dont une partie est supportée par des outils intégrés dans l'environnement SANDS.

Source officielle

https://infoscience.epfl.ch/entities/publication/bc712d54-2b00-4d33-91d1-f95f34aaebe3

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Didier Buchs
1996
Conference Papers

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/bc712d54-2b00-4d33-91d1-f95f34aaebe3

À propos de ce résultat

Concepts associés (4)

Santé et sécurité au travail

Santé et sécurité au travail désigne diverses disciplines visant à supprimer ou à limiter certains effets nuisibles du travail sur l'être humain (santé physique ou mentale centré sur la santé au travail). Ces notions, apparues relativement récemment dans le champ du droit du travail — au avec le développement industriel autour duquel s'est progressivement construit le droit du travail —, ont été mises en œuvre avec des premières mesures de protection au bénéfice des travailleurs les plus vulnérables : les femmes et les enfants.

Évaluation des risques

Dans le domaine de la gestion des risques, l'évaluation des risques est l'ensemble des méthodes consistant à calculer la criticité (pertinence et gravité) des dangers. Elle vise outre à les quantifier, à qualifier les dangers (qui doivent donc préalablement avoir été identifiés). Elle se base sur . Dans ce domaine, on se restreint à l'étude du risque aryétique, c'est-à-dire en ne considérant que les événements à conséquences négatives.

Académie française

LAcadémie française, fondée en 1634 et officialisée en 1635 par le cardinal de Richelieu, est une institution française dont la mission est de et la fonction de tenir à jour un dictionnaire de référence du français, et d'approuver la publication au Journal officiel d'équivalents francophones de termes techniques étrangers dans la langue française. Elle se compose de quarante membres élus par leurs pairs, et est la première des cinq académies de l'Institut de France.

Afficher plus