Langages applicatifs

Spécification, programmation, vérification - RSTI série TSI vol. 24 N° 9/2005

Valérie Ménissier-Morain - Collection RSTI - TSI

136 pages, parution le 15/02/2006

Ajouter à une liste

Indisponible

Résumé

Les langages applicatifs, de par la facilité de prototypage et l'expressivité qu'ils apportent, jouent un rôle croissant dans la programmation des logiciels dont la sûreté est prépondérante. La chaîne de développement de ces logiciels sûrs s'appuie sur un ensemble d'outils, de la conception en amont à la phase de validation en aval : spécification formelle, test, vérification de propriétés, démonstration automatique ou assistée par ordinateur.

Les thèmes abordés dans Langages applicatifs portent aussi bien sur la sémantique et la compilation des langages fonctionnels ou la combinaison avec d'autres paradigmes de programmation, que sur la spécification et la validation formelles du logiciel.

On s'intéresse à la théorie ainsi qu'aux applications pratiques, allant de l'implémentation à l'utilisation à l'échelle industrielle, en passant par l'enseignement de ces thématiques et les développements à forte composante méthodologique.

L'auteur - Valérie Ménissier-Morain

Autres livres de Valérie Ménissier-Morain

Apprentissage de la programmation avec ocaml

Découvrir tous les livres de Valérie Ménissier-Morain

Sommaire

Interopérabilité avec Objective Caml
Typage des collections topologiques hétérogènes et des transformations
Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée
Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels sûrs
Vérification formelle d'extractions de racines entières
Typage, sûreté et sécurité

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Valérie Ménissier-Morain
Collection	RSTI - TSI
Parution	15/02/2006
Nb. de pages	136
Format	16 x 24
Couverture	Broché
Poids	245g
Intérieur	Noir et Blanc
EAN13	9782746213241
ISBN13	978-2-7462-1324-1