Retour
Lire l’article sur Wikipédia
Rare1/1Libre
Notion
Méthode B
Aura
39,7 k
N° 423 887
Touche la carte pour la faire tourner.
Rare
Méthode B
Méthode formelle
1/1Un exemplaire au monde.
- Aura (depuis 2015)
- 39 731
- Rang de la carte
- N° 423 887
- Type
- Notion
Extrait.
La méthode B est une méthode formelle qui permet le raisonnement sur des systèmes complexes ainsi que le développement logiciel. La méthode B permet de modéliser de façon abstraite le comportement et les spécifications d’un logiciel dans le langage de B, puis par raffinements successifs d’aboutir à un modèle concret dans un sous-ensemble du langage B transcodable en Ada ou en C, exécutables par une machine concrète.
Crédits
Illustration
- Auteur
- Joris Rehm
- Licence
- CC BY-SA 3.0
- Source
- Click'n'prove project view.png · Wikimedia Commons
- Modifications
- Recadrage et effets visuels Devon (cadre, reflets holographiques).
Texte
Résumé et adapté de l’article « Méthode B », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.