Développement de fonctions définies récursivement en B : Application du B événementiel

Dominique Cansell 1 Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Le développement de systèmes en B a été illustré par des exemples traitant des problèmes complexes comme les applications réparties. Cette méthodologie fondée sur le raffinement de systèmes peut être appliquée avec succès au développement de programmes récursifs. La question d'un tel développement se pose dans les cours d'algorithmique et nous illustrons une telle approche dans le cas de quelques algorithmes récursifs classiques. Non seulement un traitement méthodologique est appliqué mais le développement intègre la théorie du point-fixe sous-jacente à la justification de tels solutions algorithmiques comme la fonction factorielle, la fonction puissance ou des schémas récursifs. || The B system development has addressed the modeling of complex systems like distributed systems. The B system approach is based on the refinement and can be applied to the development of classical recursive programs. Lectures in algorithmics tackle the
Type de document :
Rapport
[Interne] A02-R-347 || cansell02b, 2002, 25 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00101076
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:55:50
Dernière modification le : jeudi 11 janvier 2018 - 06:21:04

Identifiants

  • HAL Id : inria-00101076, version 1

Collections

Citation

Dominique Cansell, Dominique Méry. Développement de fonctions définies récursivement en B : Application du B événementiel. [Interne] A02-R-347 || cansell02b, 2002, 25 p. 〈inria-00101076〉

Partager

Métriques

Consultations de la notice

81