Perspectives of System Informatics

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 An Architecture for Non-invasive Software Measurement
3. Altmetric Badge
   Chapter 2 A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications
4. Altmetric Badge
   Chapter 3 Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code
5. Altmetric Badge
   Chapter 4 Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method
6. Altmetric Badge
   Chapter 5 A Platform for Security Monitoring of Multi-cloud Applications
7. Altmetric Badge
   Chapter 6 The Hybrid Multidimensional-Ontological Data Model Based on Metagraph Approach
8. Altmetric Badge
   Chapter 7 PosDB: A Distributed Column-Store Engine
9. Altmetric Badge
   Chapter 8 Microservices: How To Make Your Application Scale
10. Altmetric Badge
    Chapter 9 Static Binary Code Instrumentation for ARM Architecture
11. Altmetric Badge
    Chapter 10 A Behavioural Theory for Reflective Sequential Algorithms
12. Altmetric Badge
    Chapter 11 Lightweight Non-intrusive Virtual Machine Introspection
13. Altmetric Badge
    Chapter 12 A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population
14. Altmetric Badge
    Chapter 13 A Framework for Dynamical Construction of Software Components
15. Altmetric Badge
    Chapter 14 A Transformation-Based Approach to Developing High-Performance GPU Programs
16. Altmetric Badge
    Chapter 15 Domain Engineering the Magnolia Way
17. Altmetric Badge
    Chapter 16 Approximating Event System Abstractions by Covering Their States and Transitions
18. Altmetric Badge
    Chapter 17 Implementing the Symbolic Method of Verification in the C-Light Project
19. Altmetric Badge
    Chapter 18 Highlights of the Rice-Shapiro Theorem in Computable Topology
20. Altmetric Badge
    Chapter 19 A Memory Model for Deductively Verifying Linux Kernel Modules
21. Altmetric Badge
    Chapter 20 Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees
22. Altmetric Badge
    Chapter 21 An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language
23. Altmetric Badge
    Chapter 22 Compositional Relational Programming with Name Projection and Compositional Synthesis
24. Altmetric Badge
    Chapter 23 WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method
25. Altmetric Badge
    Chapter 24 Distributed In Situ Processing of Big Raster Data in the Cloud
26. Altmetric Badge
    Chapter 25 Statistical Approach to Increase Source Code Completion Accuracy
27. Altmetric Badge
    Chapter 26 Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation
28. Altmetric Badge
    Chapter 27 Runtime Specialization of PostgreSQL Query Executor
29. Altmetric Badge
    Chapter 28 MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors
30. Altmetric Badge
    Chapter 29 Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor
31. Altmetric Badge
    Chapter 30 Towards Automated Static Verification of GNU C Programs
32. Altmetric Badge
    Chapter 31 Domain Specific Semantic Validation of Schema.org Annotations