ISBN: 3-540-67102-1
TITLE: Perspectives of System Informatics
AUTHOR: Bjorner, Dines; Broy, Manfred; Zamulin, Alexandre V. (Eds.)
TOC:

Algebraic Specifications
The Common Framework Initiative for Algebraic Specification and Development of Software (Invited Talk) 1
D. Sannella
A Logical Approach to Specification of Hybrid Systems 10
M. V. Korovina, O. V. Kudinov
Specifications with States
Algebraic Imperative Specifications (Invited Talk) 17
M.-C. Gaudel, A. Zamulin
Enhanced Control Flow Graphs in Montages 40
M. Anlauff, Ph. W. Kutter, A. Pierantonio
Abstract State Machines for the Composition of Architectural Styles 54
A. Snbl
Partial Evaluation and Supercompilation
The Essence of Program Transformation by Partial Evaluation and Driving (Invited Talk) 62
N. D. Jones
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All 80
N. H. Christensen, R. Glck, S. Laursen
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification 93
R. Glck, M. Leuschel
Sonic Partial Deduction. 101
J. Martin, M. Leuschel
On Perfect Supercompilation 113
J. P. Secher, M. H. Srensen
Linear Time Self-Interpretation of the Pure Lambda Calculus 128
T. . Mogensen
An Optimal Algorithm for Purging Regular Schemes 143
D. L. Uvarov
Polymorphism in OBJP 149
M. Plmicke
Concurrency and Parallelism
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem (Invited Talk) 155
P. Gibson, D. Mry
Serializability Preserving Extensions of Concurrency Control Protocols 180
D. Chkliaev, J. Hooman, P. van der Stok
Platform Independent Approach for Detecting Shared Memory Parallelism 194
Yu. V. Chelomin
Hierarchical Cause-Effect Structures 198
A. P. Ustimenko
Some Decidability Results for Nested Petri Nets 208
I. A. Lomazova, Ph. Schnoebelen
Abstract Structures for Communication between Processes 221
G. Ciobanu, E. F. Olariu
Logic and Processes
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs 228
M. I. Dekhtyar, A. Ja. Dikovsky,, M. K. Valiev
On Semantics and Correctness of Reactive Rule-Based Programs 235
M. Lin, J. Malec, S. Nadjm-Tehrani
Compositional Verification of CCS Processes 247
M. Dam, D. Gurov
Compositional Style of Programming FPGAs 257
E. Trichina
Languages and Software
Using Experiments to Build a Body of Knowledge (Invited Talk) 265
V. Basili, F. Shull, F. Lanubile
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results 283
G. Kucherov, M. Rusinowitch
Extensions: A Technique for Structuring Functional-Logic Programs 297
R. Caballero, F. J. Lpez-Fraguas
Language Tools and Programming Systems in Educational Informatics 311
S. S. Kobilov
Database Programming
Current Directions in Hyper-Programming (Invited Talk) 316
R. Morrison, R. C. H. Connor, Q. I. Cutts, A. Dearle, A. Farkas, G. N. C. Kirby, R. McGettrick, E. Zirintsis
Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data 341
L. Frank
A General Object-Oriented Model for Spatial Data 352
S. Asgari, N. Yonezaki
Object-Oriented Programming
Twin - A Design Pattern for Modeling Multiple Inheritance 358
H. Mssenbck
A Partial Semantics for Object Data Models with Static Binding 370
K. Lellahi, R. Souah
Heterogeneous, Nested STL Containers in C++ 383
V. Simonis, R. Weiss
Data Flow Analysis of Java Programs in the Presence of Exceptions 389
V. I. Shelekhov, S. V. Kuksenko
Late Adaptation of Method Invocation Semantics 396
M. Hof
Constraint Programming
A Control Language for Designing Constraint Solvers 402
C. Castro, E. Monfroy
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints 416
F. Benhamou, F. Goualard, . Langunou, M. Christie
Constraint Programming Techniques for Solving Problems on Graphs 424
V. Sidorov, V. Telerman, D. Ushakov
Extensional Set Library for ECL^iPS^e 434
T. Yakhno, E. Petrov
Model & Program Checking
Introducing Mutual Exclusion in Esterel 445
K. Schneider, V. Sabelfeld
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications 460
R. J. Anderson, P. Beame, W. Chan, D. Notkin
Formal Verification of a Compiler Back-End Generic Checker Program 470
A. Dold, V. Vialard
Construction of Verified Compiler Front-Ends with Program-Checking 481
A. Heberle, Th. Gaul, W. Goerigk, G. Goos, W. Zimmermann
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker 493
C. de la Riva, J. Tuya, J. R. de Diego
Artificial Intelligence
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles 503
F. A. Kolushev, A. A. Bogdanov
Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique 511
I. S. Kononenko, I. G. Popov, Yu. A. Zagorulko
Approach to Development of a System for Speech Interaction with an Intelligent Robot 517
G. B. Cheblakov, F. G. Dinenberg, D. Ya. Levin, I. G. Popov, Yu. A. Zagorulko
Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages 530
S. Herath, Ch. Saito, A. Herath
Author Index 539
END
