Rigorous Software Development

"Développement logiciel rigoureux" est un ouvrage spécialisé qui traite de l'application des méthodes mathématiques dans le développement logiciel. Il s'adresse aux professionnels et aux étudiants en informatique qui souhaitent acquérir une compréhension approfondie de la vérification de programmes et des méthodes formelles en ingénierie logicielle. Le livre offre une introduction complète à la vérification de programmes en utilisant des méthodes basées sur la logique et les présente dans le contexte des méthodes formelles. Il aborde la spécification du comportement des composants logiciels par le biais de contrats, ce qui permet une vérification modulaire et indépendante des programmes. Les auteurs mettent un accent particulier sur la connexion entre les aspects théoriques et pratiques, afin de transmettre une connaissance solide sur la vérification statique des programmes. Le livre ne nécessite que des connaissances de base en mathématiques standard et propose une introduction autonome à la logique propositionnelle ainsi qu'à la logique des prédicats avec des théories.