Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Cotes BU
Cotes ENSEA
Cotes IUFM
Modifier la recherche
>
CERGY
Elargir la recherche
Sur le même sujet :
Algorithmes -- Manuels d'enseignement supérieur
Algorithmes -- Problèmes et exercices
Langages de programmation
Programmation système (informatique)
Logique informatique
Logiciels -- Vérification
Parcourir le catalogue
par auteur:
Julliand , Jacques
Berlioux , Pierre
Rechercher sur Internet
Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)
Aperçu dans Google Books
Affichage MARC
Auteur :
Julliand , Jacques
Titre :
Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant , Jacques Julliand ; préface de Pierre Berlioux
Editeur :
Paris , Vuibert -- impr. 2010
Description :
1 vol. (VIII-264 p.) : ill., couv. ill. en coul. ; 24 cm
ISBN:
978-2-311-00020-7 , br. , 28 EUR
Notes :
Bibliographie p. [260]-261. Glossaire. Index
La 4e de couverture indique : dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contr6lent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/ _JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. À la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée a des questions pratiques liées à la mise en oeuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés
Licence et master d'informatique
Sujet :
Algorithmes -- Manuels d'enseignement supérieur
Algorithmes -- Problèmes et exercices
Langages de programmation
Programmation système (informatique)
Logique informatique
Logiciels -- Vérification
Exemplaires
Site
Emplacement
Cote
Type de prêt
Statut
Site des Cerclades
Rez-de-chaussée
005.1 JUL
Prêt
Disponible
Réserver
Site de Neuville
Salle de lecture
005.1 JUL
Prêt
Disponible
Réserver
Ensea
Archives
ARCH-10569
Empruntable
Disponible
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.25_france_v1m© 2001-2019
SirsiDynix
Tous droits réservés.