A partir de cette page vous pouvez :
collection
| Retourner au premier écran avec les étagères virtuelles... |
Détail d'une collection
(Recherche, technologie, applications. Informatique et systèmes d'information(Recherche, technologie, applications. Informatique et systèmes d'information)
Editeur :
ISSN :
pas d'ISSN
|
Documents disponibles dans la collection
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesMise en oeuvre de la méthode B / Jean-Louis Boulanger (DL 2013, cop. 2013)
Titre : Mise en oeuvre de la méthode B Type de document : texte imprime Auteurs : Jean-Louis Boulanger, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès-Lavoisier Année de publication : DL 2013, cop. 2013 Autre Editeur : Lavoisier Collection : (Recherche, technologie, applications. Informatique et systèmes d'information(Recherche, technologie, applications. Informatique et systèmes d'information) Importance : 395p. Présentation : fig Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3810-7 Note générale : Références bibliogr.en fin de chapitres. Index. Glossaire Langues : Français Mots-clés : B (méthode formelle) Méthodes formelles (informatique):applications industrielles Génie logiciel Résumé :
La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s'appuyant sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.
Note de contenu :
Chapitre 1. Présentation de la méthode B / Jean-Louis BOULANGER
Chapitre 2. L’Atelier B / Thierry LECOMTE
Chapitre 3. Outils B / Jean-Louis BOULANGER
Chapitre 4. La méthode B à Siemens / Daniel DOLLE
Chapitre 5. Applications industrielles de la modélisation avec la méthode B / Thierry LECOMTE
Chapitre 6. Vérification formelle de données pour les systèmes paramétrables / Mathieu CLABAUT
Chapitre 7. BCARe : contrôle automatique des règles ajoutées à Siemens SAS IC MOL / Karim BERKANI, Mélanie JACQUEL, Eric LE LAY
Chapitre 8. B-RAIL : d’UML à B pour la modélisation d’un passage à niveau / Jean-Louis BOULANGER
Chapitre 9. Event B / Dominique MERY, Neeraj Kumar SINGH
Chapitre 10. B étendu aux flottants : est-ce suffisant pour prouver un logiciel avionique ? / Jean-Louis DUFOUR
Chapitre 11. Usage pragmatique du B : la puissance du formel sans ses lourdeurs / Christophe METAYER, François BUSTANY et Mathieu CLABAUT
Chapitre 12. BRILLANT/BCaml : une plateforme d’outils libres pour la méthode B / Samuel COLIN, Dorian PETIT
Chapitre 13. Faisabilité de l’utilisation des méthodes formelles pour les systèmes manufacturiers / Pascal LAMY, Philippe CHARPENTIER, Jean-François PETIN, Dominique EVROTPermalink : ./index.php?lvl=notice_display&id=12084 Mise en oeuvre de la méthode B [texte imprime] / Jean-Louis Boulanger, Directeur de publication, rédacteur en chef . - Paris : Hermès-Lavoisier : [S.l.] : Lavoisier, DL 2013, cop. 2013 . - 395p. : fig ; 24 cm. - ((Recherche, technologie, applications. Informatique et systèmes d'information(Recherche, technologie, applications. Informatique et systèmes d'information)) .
ISBN : 978-2-7462-3810-7
Références bibliogr.en fin de chapitres. Index. Glossaire
Langues : Français
Mots-clés : B (méthode formelle) Méthodes formelles (informatique):applications industrielles Génie logiciel Résumé :
La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s'appuyant sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.
Note de contenu :
Chapitre 1. Présentation de la méthode B / Jean-Louis BOULANGER
Chapitre 2. L’Atelier B / Thierry LECOMTE
Chapitre 3. Outils B / Jean-Louis BOULANGER
Chapitre 4. La méthode B à Siemens / Daniel DOLLE
Chapitre 5. Applications industrielles de la modélisation avec la méthode B / Thierry LECOMTE
Chapitre 6. Vérification formelle de données pour les systèmes paramétrables / Mathieu CLABAUT
Chapitre 7. BCARe : contrôle automatique des règles ajoutées à Siemens SAS IC MOL / Karim BERKANI, Mélanie JACQUEL, Eric LE LAY
Chapitre 8. B-RAIL : d’UML à B pour la modélisation d’un passage à niveau / Jean-Louis BOULANGER
Chapitre 9. Event B / Dominique MERY, Neeraj Kumar SINGH
Chapitre 10. B étendu aux flottants : est-ce suffisant pour prouver un logiciel avionique ? / Jean-Louis DUFOUR
Chapitre 11. Usage pragmatique du B : la puissance du formel sans ses lourdeurs / Christophe METAYER, François BUSTANY et Mathieu CLABAUT
Chapitre 12. BRILLANT/BCaml : une plateforme d’outils libres pour la méthode B / Samuel COLIN, Dorian PETIT
Chapitre 13. Faisabilité de l’utilisation des méthodes formelles pour les systèmes manufacturiers / Pascal LAMY, Philippe CHARPENTIER, Jean-François PETIN, Dominique EVROTPermalink : ./index.php?lvl=notice_display&id=12084 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA591/1 IA591 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA591/2 IA591 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA591/3 IA591 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Ontologies et modélisation par SMA en SHS : traité RTA, série Informatique et systèmes d'information Type de document : texte imprime Auteurs : Denis Phan Editeur : Paris : Hermès-Lavoisier Année de publication : impr. 2014 Collection : (Recherche, technologie, applications. Informatique et systèmes d'information(Recherche, technologie, applications. Informatique et systèmes d'information) Importance : 560 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3207-5 Note générale : SMA = Systèmes multi-agents. SHS = Sciences de l'homme et de la société
Bibliogr. en fin de chapitres. IndexLangues : Français Mots-clés : Intelligence artificielle répartie Ontologies (informatique) Sciences humaines:modèles mathématiques Sciences sociales:modèles mathématiques Simulation par ordinateur Résumé :
En philosophie, l'ontologie étudie ce qui pourrait exister : le type et la structure des objets, les propriétés, évènements, processus et relations. En ingénierie des connaissances, c'est la spécification de la conceptualisation d'un domaine de savoir. Ce domaine concerne ici la modélisation à base d'agents (ABM) pour les sciences de l'homme et de la société (SHS) en vue de la simulation par systèmes multi-agents (SMA).
La modélisation SMA en SHS propose la formalisation d'une pluralité de points de vue dans un cadre général qui permet de comparer et de combiner différents angles de réflexion.
Agrémenté d'exemples issus de trois domaines (la géographie, l'économie et la sociologie), cet ouvrage utilise des formalismes principalement basés sur UML. L'exercice de description d'une ontologie est présenté comme un dialogue conceptuel interdisciplinaire et l'ontologie comme le médiateur de ce dialogue.Note de contenu :
Première partie : Enjeux, mode d'emploi et méthodologie
1. Introduction à la modélisation par SMA en SHS : comment fait-on une ontologie ?
2. Ontologies et modélisation par SMA en SHS
3. Le « test ontologique » : un outil de médiation pour la modélisation
4. Les points de vue et leur modélisation
5. L’individuel et le collectif : ontologie et intersubjectivité dans les SMA
6. Une ontologie des systèmes à base d’agents (AB) : application du cadre conceptuel AROC à la modélisation par SMA en SHS
Deuxième partie : Ontologies spatiales
7. Interaction d’ontologies informatique et géographique pour simuler des dynamiques multiscalaires
8. Une ontologie formelle pour la modélisation de systèmes complexes en géographie : le modèle AOC
9. Représenter et modéliser un système de villes dans le temps long : une approche ontologique
10. Une ontologie conceptuelle du domaine des risques et des catastrophes
11. De l’ontologie du domaine de la croissance urbaine à celle d’un modèle dynamique de croissance urbaine sous SpaCelle
12. Du spécifique au générique, ontologie des systèmes territoriaux
13. Une ontologie pour décrire les transformations du système de peuplement européen entre 800 et 1100
Troisième partie : Ontologies sociales
14. Agentivité, rationalité et ontologie sociale : questions posées aux SHS par les modèles à base d’agents
15. Une formalisation de la sociologie de l’action organisée : métamodèle, simulation et étude analytique
16. Les marchés de biens
17. Une ontologie des configurations de la sociologie de l’imprévisible
18. La structuration sociale de l’espace scolaire : une ontologie multipoints de vue, intégrée mais non réductrice
19. Emergence, croyances individuelles et croyances sociales
20. Qu’est-ce que suivre une règle ? Réflexion sur les normes et les usagesPermalink : ./index.php?lvl=notice_display&id=14885 Ontologies et modélisation par SMA en SHS : traité RTA, série Informatique et systèmes d'information [texte imprime] / Denis Phan . - Paris : Hermès-Lavoisier, impr. 2014 . - 560 p. ; 24 cm. - ((Recherche, technologie, applications. Informatique et systèmes d'information(Recherche, technologie, applications. Informatique et systèmes d'information)) .
ISBN : 978-2-7462-3207-5
SMA = Systèmes multi-agents. SHS = Sciences de l'homme et de la société
Bibliogr. en fin de chapitres. Index
Langues : Français
Mots-clés : Intelligence artificielle répartie Ontologies (informatique) Sciences humaines:modèles mathématiques Sciences sociales:modèles mathématiques Simulation par ordinateur Résumé :
En philosophie, l'ontologie étudie ce qui pourrait exister : le type et la structure des objets, les propriétés, évènements, processus et relations. En ingénierie des connaissances, c'est la spécification de la conceptualisation d'un domaine de savoir. Ce domaine concerne ici la modélisation à base d'agents (ABM) pour les sciences de l'homme et de la société (SHS) en vue de la simulation par systèmes multi-agents (SMA).
La modélisation SMA en SHS propose la formalisation d'une pluralité de points de vue dans un cadre général qui permet de comparer et de combiner différents angles de réflexion.
Agrémenté d'exemples issus de trois domaines (la géographie, l'économie et la sociologie), cet ouvrage utilise des formalismes principalement basés sur UML. L'exercice de description d'une ontologie est présenté comme un dialogue conceptuel interdisciplinaire et l'ontologie comme le médiateur de ce dialogue.Note de contenu :
Première partie : Enjeux, mode d'emploi et méthodologie
1. Introduction à la modélisation par SMA en SHS : comment fait-on une ontologie ?
2. Ontologies et modélisation par SMA en SHS
3. Le « test ontologique » : un outil de médiation pour la modélisation
4. Les points de vue et leur modélisation
5. L’individuel et le collectif : ontologie et intersubjectivité dans les SMA
6. Une ontologie des systèmes à base d’agents (AB) : application du cadre conceptuel AROC à la modélisation par SMA en SHS
Deuxième partie : Ontologies spatiales
7. Interaction d’ontologies informatique et géographique pour simuler des dynamiques multiscalaires
8. Une ontologie formelle pour la modélisation de systèmes complexes en géographie : le modèle AOC
9. Représenter et modéliser un système de villes dans le temps long : une approche ontologique
10. Une ontologie conceptuelle du domaine des risques et des catastrophes
11. De l’ontologie du domaine de la croissance urbaine à celle d’un modèle dynamique de croissance urbaine sous SpaCelle
12. Du spécifique au générique, ontologie des systèmes territoriaux
13. Une ontologie pour décrire les transformations du système de peuplement européen entre 800 et 1100
Troisième partie : Ontologies sociales
14. Agentivité, rationalité et ontologie sociale : questions posées aux SHS par les modèles à base d’agents
15. Une formalisation de la sociologie de l’action organisée : métamodèle, simulation et étude analytique
16. Les marchés de biens
17. Une ontologie des configurations de la sociologie de l’imprévisible
18. La structuration sociale de l’espace scolaire : une ontologie multipoints de vue, intégrée mais non réductrice
19. Emergence, croyances individuelles et croyances sociales
20. Qu’est-ce que suivre une règle ? Réflexion sur les normes et les usagesPermalink : ./index.php?lvl=notice_display&id=14885 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité SYD220/1 SYD220 Livre Magasin d'Ouvrages / INF Système d'Exploitation Consultation sur place
Exclu du prêtSYD220/2 SYD220 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD220/3 SYD220 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD220/4 SYD220 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD220/5 SYD220 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
