↓ 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 A.P. Ershov— A Pioneer and a Leader of National Programming
  3. Altmetric Badge
    Chapter 2 A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts
  4. Altmetric Badge
    Chapter 3 The Abstract State Machine Paradigm: What Is in and What Is out
  5. Altmetric Badge
    Chapter 4 On Algorithmic Unsolvability
  6. Altmetric Badge
    Chapter 5 Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially
  7. Altmetric Badge
    Chapter 6 On Expressive and Model Checking Power of Propositional Program Logics
  8. Altmetric Badge
    Chapter 7 An Extension of Dynamic Logic for Modelling OCL’s @ pre Operator
  9. Altmetric Badge
    Chapter 8 Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions
  10. Altmetric Badge
    Chapter 9 A Transformation of SDL Specifications— A Step towards the Verification
  11. Altmetric Badge
    Chapter 10 Accurate Widenings and Boundedness Properties of Timed Systems
  12. Altmetric Badge
    Chapter 11 Perspectives of System Informatics
  13. Altmetric Badge
    Chapter 12 A Verification Approach for Distributed Abstract State Machines
  14. Altmetric Badge
    Chapter 13 Transformational Construction of Correct Pointer Algorithms
  15. Altmetric Badge
    Chapter 14 A Theoretical Foundation of Program Synthesis by Equivalent Transformation
  16. Altmetric Badge
    Chapter 15 Equivalent Transformation by Safe Extension of Data Structures
  17. Altmetric Badge
    Chapter 16 Semantics and Transformations in Formal Synthesis at System Level
  18. Altmetric Badge
    Chapter 17 Automated Program Synthesis for Java Programming Language
  19. Altmetric Badge
    Chapter 18 The Varieties of Programming Language Semantics And Their Uses
  20. Altmetric Badge
    Chapter 19 Binding-Time Analysis for Polymorphic Types
  21. Altmetric Badge
    Chapter 20 An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus
  22. Altmetric Badge
    Chapter 21 Observational Semantics for Timed Event Structures
  23. Altmetric Badge
    Chapter 22 The Impact of Synchronisation on Secure Information Flow in Concurrent Programs
  24. Altmetric Badge
    Chapter 23 Dynamical Priorities without Time Measurement and Modification of the TCP
  25. Altmetric Badge
    Chapter 24 From ADT to UML-Like Modelling
  26. Altmetric Badge
    Chapter 25 Transformation of UML Specification to XTG
  27. Altmetric Badge
    Chapter 26 A Systematic Approach towards Object-Based Petri Net Formalisms
  28. Altmetric Badge
    Chapter 27 Unfoldings of Coloured Petri Nets
  29. Altmetric Badge
    Chapter 28 A Net-Based Multi-tier Behavior Inheritance Modelling Method
  30. Altmetric Badge
    Chapter 29 Specification Based Testing: Towards Practice
  31. Altmetric Badge
    Chapter 30 Java Specification Extension for Automated Test Development
  32. Altmetric Badge
    Chapter 31 Specification-Based Testing of Firewalls
  33. Altmetric Badge
    Chapter 32 Academic vs. Industrial Software Engineering: Closing the Gap
  34. Altmetric Badge
    Chapter 33 A Method for Recovery and Maintenance of Software Architecture
  35. Altmetric Badge
    Chapter 34 An Empirical Study of Retargetable Compilers
  36. Altmetric Badge
    Chapter 35 Conceptual Data Modeling: An Algebraic Viewpoint
  37. Altmetric Badge
    Chapter 36 Integrating and Managing Conflicting Data
  38. Altmetric Badge
    Chapter 37 A Knowledge Engineering Approach to Deal with ‘Narrative’ Multimedia Documents
  39. Altmetric Badge
    Chapter 38 Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach
  40. Altmetric Badge
    Chapter 39 Reexecution-Based Analysis of Logic Programs with Delay Declarations
  41. Altmetric Badge
    Chapter 40 Pos(T ) : Analyzing Dependencies in Typed Logic Programs
  42. Altmetric Badge
    Chapter 41 A Prolog Tailoring Technique on an Epilog Tailored Procedure
  43. Altmetric Badge
    Chapter 42 Hierarchical Constraint Satisfaction Based on Subdefinite Models
  44. Altmetric Badge
    Chapter 43 Using Constraint Solvers in CAD/CAM Systems
  45. Altmetric Badge
    Chapter 44 A Graphical Interface for Solver Cooperations
  46. Altmetric Badge
    Chapter 45 Abstract Computability of Non-deterministic Programs over Various Data Structures
  47. Altmetric Badge
    Chapter 46 On Lexicographic Termination Ordering with Space Bound Certifications
  48. Altmetric Badge
    Chapter 47 Generalised Computability and Applications to Hybrid Systems
  49. Altmetric Badge
    Chapter 48 Exploring Template Template Parameters
  50. Altmetric Badge
    Chapter 49 Compiler-Cooperative Memory Management in Java
  51. Altmetric Badge
    Chapter 50 A Software Composition Language and Its Implementation
  52. Altmetric Badge
    Chapter 51 Editor Definition Language and Its Implementation
  53. Altmetric Badge
    Chapter 52 Oberon-2 as Successor of Modula-2 in Simulation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
1 Wikipedia page

Citations

dimensions_citation
1 Dimensions
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, June 2003
DOI 10.1007/3-540-45575-2
ISBNs
978-3-54-043075-9, 978-3-54-045575-2
Editors

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.