search for books and compare prices
Tables of Contents for Persectives on System Informatics
Chapter/Section Title
Page #
Page Count
Memorial Session
A.P. Ershov --- A Pioneer and a Leader of National Programming
1
7
A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts
8
16
Computing and Algorithms
The Abstract State Machine Paradigm: What Is in and What Is out
24
1
On Algorithmic Unsolvability
25
8
Logical Methods
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially
33
6
On Expressive and Model Checking Power of Propositional Program Logics
39
8
An Extension of Dynamic Logic for Modelling OCL's @pre Operator
47
8
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions
55
9
Verification
A Transformation of SDL Specifications --- A Step towards the Verification
64
15
Accurate Widenings and Boundedness Properties of Timed Systems
79
16
Adaptive Saturation-Based Reasoning
95
14
A Verification Approach for Distributed Abstract State Machines
109
7
Program Transformation and Synthesis
Transformational Construction of Correct Pointer Algorithms
116
15
A Theoretical Foundation of Program Synthesis by Equivalent Transformation
131
9
Equivalent Transformation by Safe Extension of Data Structures
140
9
Semantics and Transformations in Formal Synthesis at System Level
149
8
Automated Program Synthesis for Java Programming Language
157
8
Semantics & Types
The Varieties of Programming Language Semantics (And Their Uses)
165
26
Binding-Time Analysis for Polymorphic Types
191
14
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus
205
9
Processes and Concurrency
Observational Semantics for Timed Event Structures
214
11
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs
225
15
Dynamical Priorities without Time Measurement and Modification of the TCP
240
6
UML Specification
From ADT to UML-Like Modelling
246
1
Transformation of UML Specification to XTG
247
8
Petri Nets
A Systematic Approach towards Object-Based Petri Net Formalisms
255
13
Unfoldings of Coloured Petri Nets
268
11
A Net-Based Multi-tier Behavior Inheritance Modelling Method
279
8
Testing
Specification Based Testing: Towards Practice
287
14
Java Specification Extension for Automated Test Development
301
7
Specification-Based Testing of Firewalls
308
9
Software Construction
Academic vs. Industrial Software Engineering: Closing the Gap
317
7
A Method for Recovery and Maintenance of Software Architecture
324
4
An Empirical Study of Retargetable Compilers
328
8
Data & Knowledge Bases
Conceptual Data Modeling: An Algebraic Viewpoint
336
13
Integrating and Managing Conflicting Data
349
14
A Knowledge Engineering Approach to Deal with `Narrative' Multimedia Documents
363
15
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach
378
17
Logic Programming
Reexecution-Based Analysis of Logic Programs with Delay Declarations
395
11
Pos(T): Analyzing Dependencies in Typed Logic Programs
406
15
A Prolog Tailoring Technique on an Epilog Tailored Procedure
421
13
Constraint Programming
Hierarchical Constraint Satisfaction Based on Subdefinite Models
434
12
Using Constraint Solvers in CAD/CAM Systems
446
11
A Graphical Interface for Solver Cooperations
457
11
Program Analysis
Abstract Computability of Non-deterministic Programs over Various Data Structures
468
14
On Lexicographic Termination Ordering with Space Bound Certifications
482
12
Generalised Computability and Applications to Hybrid Systems
494
6
Language Implementation
Exploring Template Template Parameters
500
11
Compiler-Cooperative Memory Management in Java
511
8
A Software Composition Language and Its Implementation
519
11
Editor Definition Language and Its Implementation
530
8
Oberon-2 as Successor of Modula-2 in Simulation
538
9
Author Index
547