Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Langages applicatifs
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Langages applicatifs

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

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

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

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription