Le langage B est peu connu. Il est basé sur le C++ et répond aux mêmes besoins. Je vous conseille donc un peu de lecture avec « le manuel d'utilisateur du langage B ».
Voilà l'introduction :
Le langage et la méthode B fournissent un moyen de produire des logiciels ou des systèmes
prouvés mathématiquement, ce qui permet de garantir que le système produit répond
au besoin. L’emploi de B implique donc l’utilisation de raisonnements mathématiques
rigoureux. En dehors de ceci, B n’impose pas la manière de conduire le développement
d’un système, pas plus que l’utilisation de C++ ou ADA imposent la manière de spécifier
et d’analyser.
Nous pensons qu’il est nécessaire de recueillir les solutions connues aux divers problèmes
d’utilisation de B, de recueillir les divers styles d’emploi et modes d’usage, pour que chaque équipe de développement puisse définir sa méthode de conduite adaptée à son projet. C’est
le but de cet ouvrage. Il ne s’agit donc pas ici de décrire une méthode de conduite de projet
couvrant tout le cycle de développement du logiciel. Nous nous contenterons d’examiner
un certain nombre de problèmes typiques avec leurs solutions possibles.
Pour lire cet ouvrage avec profit, il est nécessaire de connaître les principes du langage B
(machine abstraite, raffinement, implantation, constructions mathématiques principales)
et d’avoir déjà modélisé en B pour comprendre les problèmes qui sont abordés. Cela
correspond à la situation de ceux qui viennent de se former au B et qui démarrent un
projet.
Texte intégral (PDF)
Voir aussi site
Aucun commentaire:
Enregistrer un commentaire