↓ Skip to main content

Perspectives of System Informatics

Overview of attention for book
Cover of 'Perspectives of System Informatics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Verifying Compiler: A Grand Challenge for Computing Research
  3. Altmetric Badge
    Chapter 2 Linear Types for Cashflow Reengineering
  4. Altmetric Badge
    Chapter 3 Storing Properties in Grouped Tagged Tuples
  5. Altmetric Badge
    Chapter 4 A Polymorphic Radix- n Framework for Fast Fourier Transforms
  6. Altmetric Badge
    Chapter 5 Intersecting Classes and Prototypes
  7. Altmetric Badge
    Chapter 6 Bending without Breaking: Making Software More Flexible
  8. Altmetric Badge
    Chapter 7 Program Construction in the Context of Evolutionary Computation
  9. Altmetric Badge
    Chapter 8 A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development
  10. Altmetric Badge
    Chapter 9 The Outside-In Method of Teaching Introductory Programming
  11. Altmetric Badge
    Chapter 10 Numeric Types in Formal Synthesis
  12. Altmetric Badge
    Chapter 11 On the Possibility of Provably Secure Obfuscating Programs
  13. Altmetric Badge
    Chapter 12 Verification-Oriented Language C-Light and Its Structural Operational Semantics
  14. Altmetric Badge
    Chapter 13 Proofs-as-Imperative-Programs: Application to Synthesis of Contracts
  15. Altmetric Badge
    Chapter 14 On the Visualization and Aesthetics of Large Graphs
  16. Altmetric Badge
    Chapter 15 Data Mappings in the Model-View-Controller Pattern
  17. Altmetric Badge
    Chapter 16 The Translation Power of the Futamura Projections
  18. Altmetric Badge
    Chapter 17 A Compiler Generator for Constraint Logic Programs
  19. Altmetric Badge
    Chapter 18 The Supercompiler SCP4: General Structure
  20. Altmetric Badge
    Chapter 19 Partial Evaluation for Common Intermediate Language
  21. Altmetric Badge
    Chapter 20 Timed Verification with μ CRL
  22. Altmetric Badge
    Chapter 21 Verification of Distributed Dataspace Architectures
  23. Altmetric Badge
    Chapter 22 Using SPIN and STeP to Verify Business Processes Specifications
  24. Altmetric Badge
    Chapter 23 Integrating Tools for Automatic Program Verification
  25. Altmetric Badge
    Chapter 24 A Logical Reconstruction of Reachability
  26. Altmetric Badge
    Chapter 25 Recent Advances in Σ-Definability over Continuous Data Types
  27. Altmetric Badge
    Chapter 26 Open Maps and Trace Semantics for Timed Partial Order Models
  28. Altmetric Badge
    Chapter 27 Confidentiality for Multithreaded Programs via Bisimulation
  29. Altmetric Badge
    Chapter 28 Dynamic Modification of System Structures Using LLPNs
  30. Altmetric Badge
    Chapter 29 Principles for Entity Authentication
  31. Altmetric Badge
    Chapter 30 Causality and Replication in Concurrent Processes
  32. Altmetric Badge
    Chapter 31 Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems
  33. Altmetric Badge
    Chapter 32 Teams of Pushdown Automata
  34. Altmetric Badge
    Chapter 33 Algebraic State Machines: Concepts and Applications to Security
  35. Altmetric Badge
    Chapter 34 Combining Aspects of Reactive Systems
  36. Altmetric Badge
    Chapter 35 OCL Extended with Temporal Logic
  37. Altmetric Badge
    Chapter 36 The Definition of Transitive Closure with OCL – Limitations and Applications –
  38. Altmetric Badge
    Chapter 37 Improving the Consistency Checking Process by Reusing Formal Verification Knowledge
  39. Altmetric Badge
    Chapter 38 Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework
  40. Altmetric Badge
    Chapter 39 Polynomial Approximations for Model Checking
  41. Altmetric Badge
    Chapter 40 Separating Search and Strategy in Solver Cooperations
  42. Altmetric Badge
    Chapter 41 Industrial Application of External Black-Box Functions in Constraint Programming Solver
  43. Altmetric Badge
    Chapter 42 LGS: Geometric Constraint Solver
  44. Altmetric Badge
    Chapter 43 On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method
  45. Altmetric Badge
    Chapter 44 PROG $\mathcal{DOC}$ — A New Program Documentation System
  46. Altmetric Badge
    Chapter 45 Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
  47. Altmetric Badge
    Chapter 46 Test Case Generation for UML Statecharts
  48. Altmetric Badge
    Chapter 47 Conceptual Content Modeling and Management
  49. Altmetric Badge
    Chapter 48 A Relational Algebra for Functional Logic Deductive Databases
  50. Altmetric Badge
    Chapter 49 Implication of Functional Dependencies for Recursive Queries
  51. Altmetric Badge
    Chapter 50 TeXOR: Temporal XML Database on an Object-Relational Database System
  52. Altmetric Badge
    Chapter 51 Functional Dependencies, from Relational to XML
  53. Altmetric Badge
    Chapter 52 Data-Object Replication, Distribution, and Mobility in Network Environments
  54. Altmetric Badge
    Chapter 53 Multi-classification of Patent Applications with Winnow
  55. Altmetric Badge
    Chapter 54 Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses
  56. Altmetric Badge
    Chapter 55 An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
53 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.
Title
Perspectives of System Informatics
Published by
Springer Berlin Heidelberg, December 2003
DOI 10.1007/b94823
ISBNs
978-3-54-020813-6, 978-3-54-039866-0
Editors

Broy, Manfred, Zamulin, Alexandre V.

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 53 100%

Demographic breakdown

Readers by professional status Count As %
Lecturer 1 2%
Unknown 52 98%
Readers by discipline Count As %
Medicine and Dentistry 1 2%
Unknown 52 98%