Perspectives of Systems Informatics

Bending without Breaking: Making Software More Flexible

Pages 46-49

Bruce, Kim B.

Program Construction in the Context of Evolutionary Computation

Pages 50-57

Sanko, Jelena (et al.)

A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development

Pages 58-65

Michiels, Cindy (et al.)

The Outside-In Method of Teaching Introductory Programming

Pages 66-78

Meyer, Bertrand

Numeric Types in Formal Synthesis

Pages 79-90

Sabelfeld, Viktor (et al.)

On the Possibility of Provably Secure Obfuscating Programs

Pages 91-102

Varnovsky, Nikolay P. (et al.)

Verification-Oriented Language C-Light and Its Structural Operational Semantics

Pages 103-111

Nepomniaschy, Valery A. (et al.)

Proofs-as-Imperative-Programs: Application to Synthesis of Contracts

Pages 112-119

Poernomo, Iman

On the Visualization and Aesthetics of Large Graphs

Pages 120-120

Harel, David

Data Mappings in the Model-View-Controller Pattern

Pages 121-132

Rammerstorfer, Martin (et al.)

The Translation Power of the Futamura Projections

Pages 133-147

Glück, Robert

A Compiler Generator for Constraint Logic Programs

Pages 148-161

Craig, Stephen-John (et al.)

The Supercompiler SCP4: General Structure

Pages 162-170

Nemytykh, Andrei P.

Partial Evaluation for Common Intermediate Language

Pages 171-177

Chepovsky, Andrei M. (et al.)

Timed Verification with μCRL

Pages 178-191

Blom, Stefan (et al.)

Verification of Distributed Dataspace Architectures

Pages 192-206

Orzan, Simona (et al.)

Using SPIN and STeP to Verify Business Processes Specifications

Pages 207-213

Augusto, Juan C. (et al.)

Integrating Tools for Automatic Program Verification

Pages 214-221

Hubbers, Engelbert

A Logical Reconstruction of Reachability

Pages 222-237

Rybina, Tatiana (et al.)

Recent Advances in Σ-Definability over Continuous Data Types

Pages 238-247

Korovina, Margarita

Open Maps and Trace Semantics for Timed Partial Order Models

Pages 248-259

Virbitskaite, Irina B. (et al.)

Confidentiality for Multithreaded Programs via Bisimulation

Pages 260-273

Sabelfeld, Andrei

Dynamic Modification of System Structures Using LLPNs

Pages 274-293

Farwer, Berndt (et al.)

Principles for Entity Authentication

Pages 294-306

Bugliesi, Michele (et al.)

Causality and Replication in Concurrent Processes

Pages 307-318

Degano, Pierpaolo (et al.)

Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems

Pages 319-328

Vyatkin, Valeriy

Teams of Pushdown Automata

Pages 329-337

Beek, Maurice H. (et al.)

Algebraic State Machines: Concepts and Applications to Security

Pages 338-343

Jürjens, Jan

Combining Aspects of Reactive Systems

Pages 344-349

Kof, Leonid (et al.)

OCL Extended with Temporal Logic

Pages 351-357

Ziemann, Paul (et al.)

The Definition of Transitive Closure with OCL – Limitations and Applications –

Pages 358-365

Baar, Thomas

Improving the Consistency Checking Process by Reusing Formal Verification Knowledge

Pages 366-380

Redondo, Rebeca P. Díaz (et al.)

Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework

Pages 381-394

Björklund, Henrik (et al.)

Polynomial Approximations for Model Checking

Pages 395-400

Shilov, Nikolai V. (et al.)

Separating Search and Strategy in Solver Cooperations

Pages 401-414

Pajot, Brice (et al.)

Industrial Application of External Black-Box Functions in Constraint Programming Solver

Pages 415-422

Sidorov, Vladimir (et al.)

LGS: Geometric Constraint Solver

Pages 423-430

Ershov, Alexey (et al.)

On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method

Pages 431-437

Dolgov, Yuri G.

PROG $\mathcal{DOC}$— A New Program Documentation System

Pages 438-449

Simonis, Volker (et al.)

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems

Pages 450-461

Kuliamin, Victor V. (et al.)

Test Case Generation for UML Statecharts

Pages 462-468

Seifert, Dirk (et al.)

Conceptual Content Modeling and Management

Pages 469-493

Schmidt, Joachim W. (et al.)

A Relational Algebra for Functional Logic Deductive Databases

Pages 494-508

Almendros-Jiménez, Jesús Manuel (et al.)

Implication of Functional Dependencies for Recursive Queries

Pages 509-519

Paramá, José R. (et al.)

TeXOR: Temporal XML Database on an Object-Relational Database System

Pages 520-530

Nørvåg, Kjetil (et al.)

Functional Dependencies, from Relational to XML

Pages 531-538

Liu, Jixue (et al.)

Data-Object Replication, Distribution, and Mobility in Network Environments

Pages 539-545

Pérez O., Joaquín (et al.)

Multi-classification of Patent Applications with Winnow

Pages 546-555

Koster, Cornelis H. A. (et al.)

Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses

Pages 556-562

Gelbukh, Alexander (et al.)

An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems

Pages 563-569

Zhdanova, Anna V. (et al.)