Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Front Matter....Pages -
Games, Interaction and Computation....Pages 1-1
Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed !....Pages 2-34
Compositional and Quantitative Model Checking (Extended Abstract)....Pages 35-42
Invariants, Modularity, and Rights....Pages 43-55
Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction....Pages 56-57
Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+....Pages 58-69
A Two-Level Approach for Modeling and Verification of Telecommunication Systems....Pages 70-85
SVM Paradoxes....Pages 86-97
Indexing Dense Nested Metric Spaces for Efficient Similarity Search....Pages 98-109
On the Containment Problem for Queries in Conjunctive Form with Negation....Pages 110-123
Towards a Scalable, Pragmatic Knowledge Representation Language for the Web....Pages 124-134
An Experiment with the Fourth Futamura Projection....Pages 135-150
Extracting the Essence of Distillation....Pages 151-164
Establishing Linux Driver Verification Process....Pages 165-176
A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules....Pages 177-184
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols....Pages 185-192
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation....Pages 193-205
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams....Pages 206-217
Applicability of the BLAST Model Checker: An Industrial Case Study....Pages 218-229
Σ K –constraints for Hybrid Systems....Pages 230-241
A Complete Invariant Generation Approach for P-solvable Loops....Pages 242-256
Standardization and Testing of Mathematical Functions....Pages 257-268
Using AOP for Discovering and Defining Executable Test Cases....Pages 269-281
Cryptographic Protocols Analysis in Event B....Pages 282-293
A Query Language for Logic Architectures....Pages 294-305
Planet Map Generation by Tetrahedral Subdivision....Pages 306-318
Towards Checking Parametric Reachability for UML State Machines....Pages 319-330
A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems....Pages 331-343
A Technique for Information Retrieval from Microformatted Websites....Pages 344-351
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research....Pages 352-365
History-Dependent Stochastic Petri Nets....Pages 366-379
Privacy Preserving Modules for Ontologies....Pages 380-387
Symbolic Bounded Conformance Checking of Model Programs....Pages 388-400
Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture....Pages 401-412
Anti-unification Algorithms and Their Applications in Program Analysis....Pages 413-423
Back Matter....Pages -