A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Détail de l'éditeur
Documents disponibles chez cet éditeur
Affiner la recherchevérification de logicls / Béatrice, Bérard
Titre : vérification de logicls : techniques et outils du model -checking Type de document : texte imprimé Auteurs : Béatrice, Bérard, Auteur ; Michel, Bidoit, Auteur ; François, Laroussinie, Auteur ; Gérard, Cécé, Collaborateur ; Catherine, Dufourd, Collaborateur ; Alain, Finkel, Collaborateur ; Philippe, Schnoebelen Editeur : [Paris] : Vuibert Année de publication : 1999 Collection : Vuibert informatique Importance : XV-197 p Présentation : ill., couv. ill. en coul. Format : 24/17cm ISBN/ISSN/EAN : 978-2-7117-8646-6 Note générale : Bibliogr. p. 183-187. Index
Langues : Français (fre) Mots-clés : techniques outils model -checking Logiciels Vérification Index. décimale : 005.14 VER Résumé : La validation et la vérification des logiciels sont aujourd'hui des enjeux majeurs, tant industriels qu'économiques; de plus en plus, la maîtrise de ces aspects influe directement sur la réussite de l'entreprise. Différentes techniques vérifient formellement tout ou partie de logiciels critiques dont il faut impérativement garantir la correction. Cet ouvrage est consacré…
La validation et la vérification des logiciels sont aujourd'hui des enjeux majeurs, tant industriels qu'économiques; de plus en plus, la maîtrise de ces aspects influe directement sur la réussite de l'entreprise. Différentes techniques vérifient formellement tout ou partie de logiciels critiques dont il faut impérativement garantir la correction. Cet ouvrage est consacré à l'une des techniques les plus utilisées et les plus efficaces, le model-checking. Le model-checking a permis de découvrir et de mieux circonscrire des erreurs au sein d'applications industrielles (protocole de contrôle audio Bang et Olufsen, supervision de fabrication distribuée Renault, téléphonie cellulaire Motorola). L'usage du model-checking connaît donc un réel essor, notamment dans des domaines d'applications tels que le contrôle de bus informatiques, les protocoles de communication ; la commutation téléphonique ; les systèmes de contrôle-commande en automatique ; Les circuits intégrés. Divisé en trois parties, cet ouvrage propose, dans un premier temps, des explications concernant les principes fondamentaux de cette technique (modélisation par automates finis, produit synchronisé d'automates, logique temporelle, algorithmes de model-checking, model-checking symbolique, systèmes temporisés). La deuxième partie est, elle, consacrée à des questions pratiques liées à l'écriture des propriétés de correction et aux approches permettant de les vérifier. Enfin, plusieurs outils de model-checking sont présentés en fin de volume. Rédigé par une équipe de spécialistes, ce guide en langue française est le seul ouvrage disponible traitant du model-checking. Il intéressera tant les étudiants en second et troisième cycles d'informatique et d'automatique que les élèves des écoles d'ingénieurs. Ce livre a été rédigé par une équipe de chercheurs et d'enseignants-chercheurs du laboratoire Spécification et vérification, unité mixte de recherche n° 8643 de l'Ecole normale supérieure de Cachan et du CNRS. Ce travail col1ectif a été coordonné par Philippe Schnoebelen, chargé de recherche au CNRSvérification de logicls : techniques et outils du model -checking [texte imprimé] / Béatrice, Bérard, Auteur ; Michel, Bidoit, Auteur ; François, Laroussinie, Auteur ; Gérard, Cécé, Collaborateur ; Catherine, Dufourd, Collaborateur ; Alain, Finkel, Collaborateur ; Philippe, Schnoebelen . - [Paris] : Vuibert, 1999 . - XV-197 p : ill., couv. ill. en coul. ; 24/17cm. - (Vuibert informatique) .
ISBN : 978-2-7117-8646-6
Bibliogr. p. 183-187. Index
Langues : Français (fre)
Mots-clés : techniques outils model -checking Logiciels Vérification Index. décimale : 005.14 VER Résumé : La validation et la vérification des logiciels sont aujourd'hui des enjeux majeurs, tant industriels qu'économiques; de plus en plus, la maîtrise de ces aspects influe directement sur la réussite de l'entreprise. Différentes techniques vérifient formellement tout ou partie de logiciels critiques dont il faut impérativement garantir la correction. Cet ouvrage est consacré…
La validation et la vérification des logiciels sont aujourd'hui des enjeux majeurs, tant industriels qu'économiques; de plus en plus, la maîtrise de ces aspects influe directement sur la réussite de l'entreprise. Différentes techniques vérifient formellement tout ou partie de logiciels critiques dont il faut impérativement garantir la correction. Cet ouvrage est consacré à l'une des techniques les plus utilisées et les plus efficaces, le model-checking. Le model-checking a permis de découvrir et de mieux circonscrire des erreurs au sein d'applications industrielles (protocole de contrôle audio Bang et Olufsen, supervision de fabrication distribuée Renault, téléphonie cellulaire Motorola). L'usage du model-checking connaît donc un réel essor, notamment dans des domaines d'applications tels que le contrôle de bus informatiques, les protocoles de communication ; la commutation téléphonique ; les systèmes de contrôle-commande en automatique ; Les circuits intégrés. Divisé en trois parties, cet ouvrage propose, dans un premier temps, des explications concernant les principes fondamentaux de cette technique (modélisation par automates finis, produit synchronisé d'automates, logique temporelle, algorithmes de model-checking, model-checking symbolique, systèmes temporisés). La deuxième partie est, elle, consacrée à des questions pratiques liées à l'écriture des propriétés de correction et aux approches permettant de les vérifier. Enfin, plusieurs outils de model-checking sont présentés en fin de volume. Rédigé par une équipe de spécialistes, ce guide en langue française est le seul ouvrage disponible traitant du model-checking. Il intéressera tant les étudiants en second et troisième cycles d'informatique et d'automatique que les élèves des écoles d'ingénieurs. Ce livre a été rédigé par une équipe de chercheurs et d'enseignants-chercheurs du laboratoire Spécification et vérification, unité mixte de recherche n° 8643 de l'Ecole normale supérieure de Cachan et du CNRS. Ce travail col1ectif a été coordonné par Philippe Schnoebelen, chargé de recherche au CNRSExemplaires
Code-barres Cote Support Localisation Section Disponibilité BC00101/3 005.14 VER Ouvrage Bibliothèque de la Faculté des Sciences Exactes et Informatique Informatique Exclu du prêt BC00101/4 005.14 VER Ouvrage Bibliothèque de la Faculté des Sciences Exactes et Informatique Informatique Disponible BC00101/5 005.14 VER Ouvrage Bibliothèque de la Faculté des Sciences Exactes et Informatique Informatique Disponible 101/02 08-08-012 Ouvrage Bibliothèque Universitaire Centrale Informatique Disponible 101/1 08-08-012 Ouvrage Bibliothèque Universitaire Centrale Informatique Exclu du prêt
Titre : Design patterns et architectures logicielles Type de document : texte imprimé Auteurs : Wolfgang Pree, Auteur ; Marie Lhomme, Traducteur Editeur : [Paris] : Vuibert Année de publication : 1998 Collection : Vuibert informatique Importance : XIII-281 p. Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-8611-4 Prix : 220 F Note générale : Bibliogr. p. 269-272. Glossaire. Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Conception orientée objets ( informatique) Logiciels Développement Design patterns et architectures logicielles [texte imprimé] / Wolfgang Pree, Auteur ; Marie Lhomme, Traducteur . - [Paris] : Vuibert, 1998 . - XIII-281 p. : ill., couv. ill. ; 24 cm. - (Vuibert informatique) .
ISBN : 978-2-7117-8611-4 : 220 F
Bibliogr. p. 269-272. Glossaire. Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Conception orientée objets ( informatique) Logiciels Développement Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC00027/2 681.324 PRE Ouvrage Bibliothèque de la Faculté des Sciences Exactes et Informatique Informatique Disponible BC00027/3 681.324 PRE Ouvrage Bibliothèque de la Faculté des Sciences Exactes et Informatique Informatique Disponible 027/1 08-07-067 Ouvrage Bibliothèque Universitaire Centrale Informatique Exclu du prêt
Titre : Amplificateurs, oscillateurs : Toute l'électronique du premier cycle. Type de document : texte imprimé Auteurs : Jelinski, Isabelle, Auteur Editeur : [Paris] : Vuibert Année de publication : 1996 Importance : 228 p. Présentation : ill., Format : 24x18cm ISBN/ISSN/EAN : 978-2-7117-8856-9 Note générale : Bibliogr., Langues : Français (fre) Mots-clés : Amplificateurs , Manuels d'enseignement supérieur,
Oscillateurs Manuels d'enseignement supérieurAmplificateurs, oscillateurs : Toute l'électronique du premier cycle. [texte imprimé] / Jelinski, Isabelle, Auteur . - [Paris] : Vuibert, 1996 . - 228 p. : ill., ; 24x18cm.
ISBN : 978-2-7117-8856-9
Bibliogr.,
Langues : Français (fre)
Mots-clés : Amplificateurs , Manuels d'enseignement supérieur,
Oscillateurs Manuels d'enseignement supérieurExemplaires
Code-barres Cote Support Localisation Section Disponibilité F-T 39315/2 F-T 02-14-096 Ouvrage Bibliothèque de la Faculté de Technologie Eléctrotéchnique Disponible F-T 39315/3 F-T 02-14-096 Ouvrage Bibliothèque de la Faculté de Technologie Eléctrotéchnique Exclu du prêt 39315/1 02-12-044 Ouvrage Bibliothèque Universitaire Centrale Eléctronique Exclu du prêt
Titre : La chine première entreprise mondiale Type de document : texte imprimé Auteurs : Fishman Ted, Auteur Mention d'édition : éd. française Editeur : [Paris] : Vuibert Année de publication : 2005 Importance : 264p. Présentation : couv. ill. Format : 15*24cm ISBN/ISSN/EAN : 978-2-7117-4328-5 Langues : Français (fre) Mots-clés : la chine l'entreprise Résumé : la chine sera probablement la premiere puissance mondiale dans à peine quelques décennies; hier les jouets;aujourd'huit le textile,demain les ordinateurs, les automobiles, les avions,les médicaments...et toujours avec des spécificités qui engagent le présent et l'avenir du monde:sous évolution du yuan, pollution galopante,dumping,non-espect de la propriété industrielle,absence de droit du travail,répression musclés des opposants politiques,ambitions géopolitiques renaissantes. Note de contenu : index La chine première entreprise mondiale [texte imprimé] / Fishman Ted, Auteur . - éd. française . - [Paris] : Vuibert, 2005 . - 264p. : couv. ill. ; 15*24cm.
ISBN : 978-2-7117-4328-5
Langues : Français (fre)
Mots-clés : la chine l'entreprise Résumé : la chine sera probablement la premiere puissance mondiale dans à peine quelques décennies; hier les jouets;aujourd'huit le textile,demain les ordinateurs, les automobiles, les avions,les médicaments...et toujours avec des spécificités qui engagent le présent et l'avenir du monde:sous évolution du yuan, pollution galopante,dumping,non-espect de la propriété industrielle,absence de droit du travail,répression musclés des opposants politiques,ambitions géopolitiques renaissantes. Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 42132/03 11-20-004 Ouvrage Bibliothèque de la Faculté des Sciences Economiques, Commerciales et des Sciences de Gestion Sciences économiques Exclu du prêt ec/42132/02 11-20-004 Ouvrage Bibliothèque de la Faculté des Sciences Economiques, Commerciales et des Sciences de Gestion Sciences économiques Disponible 42132/01 11-18-033 Ouvrage Bibliothèque Universitaire Centrale Sciences économiques Disponible
Titre : La littérature française : des origines à nos jours Type de document : texte imprimé Auteurs : Pierre Brunel (1939-....), Auteur ; Denis Huisman (1929-....), Auteur Mention d'édition : 2e éd. Editeur : [Paris] : Vuibert Année de publication : 2005 Collection : Vuibert guides Importance : 319 p. Présentation : couv. ill. Format : 23 cm ISBN/ISSN/EAN : 978-2-7117-6159-3 Prix : 23 EUR Note générale : Index Langues : Français (fre) Mots-clés : Littérature française Histoire et critique Index. décimale : 840.9 Histoire de la littérature française (même si la période étudiée est bien définie). Biographies collectives d'auteurs sur plusieurs périodes. Classer les biographies des auteurs et leurs ?uvres complètes à l'indice de la période appropriée, en tenant compte de l'année de naissance La littérature française : des origines à nos jours [texte imprimé] / Pierre Brunel (1939-....), Auteur ; Denis Huisman (1929-....), Auteur . - 2e éd. . - [Paris] : Vuibert, 2005 . - 319 p. : couv. ill. ; 23 cm. - (Vuibert guides) .
ISBN : 978-2-7117-6159-3 : 23 EUR
Index
Langues : Français (fre)
Mots-clés : Littérature française Histoire et critique Index. décimale : 840.9 Histoire de la littérature française (même si la période étudiée est bien définie). Biographies collectives d'auteurs sur plusieurs périodes. Classer les biographies des auteurs et leurs ?uvres complètes à l'indice de la période appropriée, en tenant compte de l'année de naissance Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8068/2 28-10-080 Ouvrage Bibliothèque de la Faculté des Langues Étrangères Langue Française Exclu du prêt 8068/3 28-10-080 Ouvrage Bibliothèque de la Faculté des Langues Étrangères Langue Française Disponible 8068/1 28-10-080 Ouvrage Bibliothèque Universitaire Centrale Langue Française Exclu du prêt
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
