Publication

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

Didier Buchs
1996
Conference Papers

Abstract

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.

Official source

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

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Didier Buchs
1996
Conference Papers

Abstract

Official source

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

About this result

Related concepts (4)

Occupational safety and health

Occupational safety and health (OSH) or occupational health and safety (OHS), also known simply as occupational health or occupational safety, is a multidisciplinary field concerned with the safety, health, and welfare of people at work (i.e. in an occupation). These terms also refer to the goals of this field, so their use in the sense of this article was originally an abbreviation of occupational safety and health program/department etc. OSH is related to the fields of occupational medicine and occupational hygiene.

Risk assessment

Risk assessment determines possible mishaps, their likelihood and consequences, and the tolerances for such events. The results of this process may be expressed in a quantitative or qualitative fashion. Risk assessment is an inherent part of a broader risk management strategy to help reduce any potential risk-related consequences. More precisely, risk assessment identifies and analyses potential (future) events that may negatively impact individuals, assets, and/or the environment (i.e. hazard analysis).

Académie Française

The Académie Française (akademi fʁɑ̃sɛːz), also known as the French Academy, is the principal French council for matters pertaining to the French language. The Académie was officially established in 1635 by Cardinal Richelieu, the chief minister to King Louis XIII. Suppressed in 1793 during the French Revolution, it was restored as a division of the Institut de France in 1803 by Napoleon Bonaparte. It is the oldest of the five académies of the institute.