Perspectives of System Informatics Book

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