↓ Skip to main content

Building the Information Society

Overview of attention for book
Cover of 'Building the Information Society'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Three Decades of Data Intecration — all Problems Solved?
  3. Altmetric Badge
    Chapter 2 The PLIB Ontology-Based Approach to Data Integration
  4. Altmetric Badge
    Chapter 3 The MOMIS Methodology for Integrating Heterogeneous Data Sources
  5. Altmetric Badge
    Chapter 4 Building Scalable Mediator Systems
  6. Altmetric Badge
    Chapter 5 Representation of Procedural Knowledge and its Use to Compute a Form of Subsumption
  7. Altmetric Badge
    Chapter 6 Developing Re-Usable Interactive Storytelling Technologies
  8. Altmetric Badge
    Chapter 7 Connecting the Real World and Virtual World through Gaming
  9. Altmetric Badge
    Chapter 8 Positive Effects of Entertainment Technology on Human Behaviour
  10. Altmetric Badge
    Chapter 9 Realization of Tai-Chi Motion Using a Humanoid Robot
  11. Altmetric Badge
    Chapter 10 Storytelling for Recreating Our Selves: Zenetic Computer
  12. Altmetric Badge
    Chapter 11 Interaction in a Sensitive House
  13. Altmetric Badge
    Chapter 12 Dependable Systems of the Future: What is Still Needed?
  14. Altmetric Badge
    Chapter 13 Dependability and Its Threats: A Taxonomy
  15. Altmetric Badge
    Chapter 14 Current Research Activities on Dependable Computing and Other Dependability Issues in Japan
  16. Altmetric Badge
    Chapter 15 The Evolution of Dependable Computing at the University of Illinois
  17. Altmetric Badge
    Chapter 16 Wrapping the Future
  18. Altmetric Badge
    Chapter 17 From the University of Illinois VIA JPL and UCLA to Vytautas Magnus University: 50 Years of Computer Engineering by Algirdas AviŽienis
  19. Altmetric Badge
    Chapter 18 Airbus Fly-By-Wire: A Total Approach To Dependability
  20. Altmetric Badge
    Chapter 19 Unique Dependability Issues for Commercial Airplane Fly by Wire Systems
  21. Altmetric Badge
    Chapter 20 The Fault Hypothesis for The Time-Triggered Architecture
  22. Altmetric Badge
    Chapter 21 Communications Dependability Evolution
  23. Altmetric Badge
    Chapter 22 Intrusion Tolerance For Internet Applications
  24. Altmetric Badge
    Chapter 23 Static Program Transformations for Efficient Software Model Checking
  25. Altmetric Badge
    Chapter 24 Architectural Challenges for A Dependable Information Society
  26. Altmetric Badge
    Chapter 25 Experimental Research in Dependable Computing at Carnegie Mellon University
  27. Altmetric Badge
    Chapter 26 Systems Approach to Computing Dependability in and Out of Hitachi
  28. Altmetric Badge
    Chapter 27 Basic Concepts of Abstract Interpretation
  29. Altmetric Badge
    Chapter 28 TVLA: A System for Generating Abstract Interpreters
  30. Altmetric Badge
    Chapter 29 aiT: Worst-Case Execution Time Prediction by Static Program Analysis
  31. Altmetric Badge
    Chapter 30 AstrÉe: Verification of Absence of Runtime Error
  32. Altmetric Badge
    Chapter 31 Industrial Experience of Abstract Interpretation-Based Static Analyzers
  33. Altmetric Badge
    Chapter 32 Design Space for Multimodal Interaction
  34. Altmetric Badge
    Chapter 33 Software Design and Development of Mutimodal Interaction
  35. Altmetric Badge
    Chapter 34 A Generic Formal Specification of Fusion of Modalities in a Multimodal Hci
  36. Altmetric Badge
    Chapter 35 Multimomodality and Multi-Platform Interactive Systems
  37. Altmetric Badge
    Chapter 36 Multimodality and Context-Aware Adaptation
  38. Altmetric Badge
    Chapter 37 Towards Multimodal Web Interaction
  39. Altmetric Badge
    Chapter 38 Towards “Inventiveness-Oriented” Cai Tools
  40. Altmetric Badge
    Chapter 39 Exploring the Inclusion of Design Factors in Computer Aided Inventing
  41. Altmetric Badge
    Chapter 40 State-of-the-Art and Trends of Computer-Aided Innovation Tools
  42. Altmetric Badge
    Chapter 41 Computer Aided Comprehensive Design for Six Sigma (DFSS) and Axiomatic Design (AD)
  43. Altmetric Badge
    Chapter 42 TRIZ and Computer Aided Inventing
  44. Altmetric Badge
    Chapter 43 Optimization VS Innovation in a Cae Environment
  45. Altmetric Badge
    Chapter 44 Formal Proof and Test Case Generation for Critical Embedded Systems Using Scade
  46. Altmetric Badge
    Chapter 45 Safety Assessment with Altarica
  47. Altmetric Badge
    Chapter 46 Improving Certification Capability through Automatic Code Generation
  48. Altmetric Badge
    Chapter 47 Early Validation of Requirements
  49. Altmetric Badge
    Chapter 48 Proof of Properties in Avionics
  50. Altmetric Badge
    Chapter 49 The Convergence of Bio-Info-Nano-Technologies
  51. Altmetric Badge
    Chapter 50 Running an E-Learning Project: Technology, Expertise, Pedagogy
  52. Altmetric Badge
    Chapter 51 Learning Objects Interoperability: The Ariagne Experience
  53. Altmetric Badge
    Chapter 52 An E-Learning Version of the French Higher Education Curriculum “Computer Methods for the Companies Management”
  54. Altmetric Badge
    Chapter 53 Perspectives on Computing for Service Providers of Intelligent Environments
  55. Altmetric Badge
    Chapter 54 Global Governance of the Technological Revolution
  56. Altmetric Badge
    Chapter 55 e-Health — Making Healthcare Better for European Citizens: Challenges and Expectations
  57. Altmetric Badge
    Chapter 56 Intelligent Ethics
  58. Altmetric Badge
    Chapter 57 The TRain Topical Day — A Foreword
  59. Altmetric Badge
    Chapter 58 TRain: The Railway Domain
  60. Altmetric Badge
    Chapter 59 Reusing Formal Models
  61. Altmetric Badge
    Chapter 60 a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device
  62. Altmetric Badge
    Chapter 61 From Railway Resource Planning to Train Operation
  63. Altmetric Badge
    Chapter 62 Integrated Formal Methods for Safety Analysis of Train Systems
  64. Altmetric Badge
    Chapter 63 Stochastic Train Domain Theory Framework
  65. Altmetric Badge
    Chapter 64 CyberRail
  66. Altmetric Badge
    Chapter 65 Towards a Formal Model of Cyberrail
  67. Altmetric Badge
    Chapter 66 Open Source Software in Critical Systems
  68. Altmetric Badge
    Chapter 67 Trusting Strangers
  69. Altmetric Badge
    Chapter 68 An Interdisciplinary Perspective of Dependability in Open Source Software
  70. Altmetric Badge
    Chapter 69 Is Academic Open Source Software Dependable?
  71. Altmetric Badge
    Chapter 70 Open Source in Dependable Systems: Current and Future Business Models
  72. Altmetric Badge
    Chapter 71 An Open-Source VHDL IP Library with Plug&Play Configuration
  73. Altmetric Badge
    Chapter 72 Linux: A Multi-Purpose Executive Support for Civil Avionics Applications?
  74. Altmetric Badge
    Chapter 73 A Journey Towards an OSS-Aware Organization
  75. Altmetric Badge
    Chapter 74 Interdependencies of Critical Infrastructures
  76. Altmetric Badge
    Chapter 75 Social Robots: Challenges for Machine Intelligence
  77. Altmetric Badge
    Chapter 76 Development of Humanoids and New Business Structure
  78. Altmetric Badge
    Chapter 77 Towards Robot Companions
  79. Altmetric Badge
    Chapter 78 Roles of Robots in Human Society: Challenges and Case Studies
  80. Altmetric Badge
    Chapter 79 Human-Like Motion from Physiologically-Based Potential Field
  81. Altmetric Badge
    Chapter 80 A Dialog Based Interactive Robot
  82. Altmetric Badge
    Chapter 81 Tracking Humans
  83. Altmetric Badge
    Chapter 82 Learning and Cooperative Multimodal Humanoid Robots
  84. Altmetric Badge
    Chapter 83 From Geometric to Cognitive Maps — A Key Element for Personal Robots
  85. Altmetric Badge
    Chapter 84 Centibots: Very Large Scale Distributed Robotic Teams
Attention for Chapter 31: Industrial Experience of Abstract Interpretation-Based Static Analyzers
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Industrial Experience of Abstract Interpretation-Based Static Analyzers
Chapter number 31
Book title
Building the Information Society
Published by
Springer, Boston, MA, January 2004
DOI 10.1007/978-1-4020-8157-6_31
Book ISBNs
978-1-4020-8156-9, 978-1-4020-8157-6
Authors

Jean Souyris, Souyris, Jean

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Student > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%
Psychology 1 100%