Perspectives of Systems Informatics

Bending without Breaking: Making Software More Flexible

Bruce, Kim B.

Pages 46-49

Program Construction in the Context of Evolutionary Computation

Sanko, Jelena (et al.)

Pages 50-57

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

Michiels, Cindy (et al.)

Pages 58-65

The Outside-In Method of Teaching Introductory Programming

Meyer, Bertrand

Pages 66-78

Numeric Types in Formal Synthesis

Sabelfeld, Viktor (et al.)

Pages 79-90

On the Possibility of Provably Secure Obfuscating Programs

Varnovsky, Nikolay P. (et al.)

Pages 91-102

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

Nepomniaschy, Valery A. (et al.)

Pages 103-111

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

Poernomo, Iman

Pages 112-119

On the Visualization and Aesthetics of Large Graphs

Harel, David

Pages 120-120

Data Mappings in the Model-View-Controller Pattern

Rammerstorfer, Martin (et al.)

Pages 121-132

The Translation Power of the Futamura Projections

Glück, Robert

Pages 133-147

A Compiler Generator for Constraint Logic Programs

Craig, Stephen-John (et al.)

Pages 148-161

The Supercompiler SCP4: General Structure

Nemytykh, Andrei P.

Pages 162-170

Partial Evaluation for Common Intermediate Language

Chepovsky, Andrei M. (et al.)

Pages 171-177

Timed Verification with μCRL

Blom, Stefan (et al.)

Pages 178-191

Verification of Distributed Dataspace Architectures

Orzan, Simona (et al.)

Pages 192-206

Using SPIN and STeP to Verify Business Processes Specifications

Augusto, Juan C. (et al.)

Pages 207-213

Integrating Tools for Automatic Program Verification

Hubbers, Engelbert

Pages 214-221

A Logical Reconstruction of Reachability

Rybina, Tatiana (et al.)

Pages 222-237

Recent Advances in Σ-Definability over Continuous Data Types

Korovina, Margarita

Pages 238-247

Open Maps and Trace Semantics for Timed Partial Order Models

Virbitskaite, Irina B. (et al.)

Pages 248-259

Confidentiality for Multithreaded Programs via Bisimulation

Sabelfeld, Andrei

Pages 260-273

Dynamic Modification of System Structures Using LLPNs

Farwer, Berndt (et al.)

Pages 274-293

Principles for Entity Authentication

Bugliesi, Michele (et al.)

Pages 294-306

Causality and Replication in Concurrent Processes

Degano, Pierpaolo (et al.)

Pages 307-318

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

Vyatkin, Valeriy

Pages 319-328

Teams of Pushdown Automata

Beek, Maurice H. (et al.)

Pages 329-337

Algebraic State Machines: Concepts and Applications to Security

Jürjens, Jan

Pages 338-343

Combining Aspects of Reactive Systems

Kof, Leonid (et al.)

Pages 344-349

OCL Extended with Temporal Logic

Ziemann, Paul (et al.)

Pages 351-357

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

Baar, Thomas

Pages 358-365

Improving the Consistency Checking Process by Reusing Formal Verification Knowledge

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

Pages 366-380

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

Björklund, Henrik (et al.)

Pages 381-394

Polynomial Approximations for Model Checking

Shilov, Nikolai V. (et al.)

Pages 395-400

Separating Search and Strategy in Solver Cooperations

Pajot, Brice (et al.)

Pages 401-414

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

Sidorov, Vladimir (et al.)

Pages 415-422

LGS: Geometric Constraint Solver

Ershov, Alexey (et al.)

Pages 423-430

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

Dolgov, Yuri G.

Pages 431-437

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

Simonis, Volker (et al.)

Pages 438-449

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

Kuliamin, Victor V. (et al.)

Pages 450-461

Test Case Generation for UML Statecharts

Seifert, Dirk (et al.)

Pages 462-468

Conceptual Content Modeling and Management

Schmidt, Joachim W. (et al.)

Pages 469-493

A Relational Algebra for Functional Logic Deductive Databases

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

Pages 494-508

Implication of Functional Dependencies for Recursive Queries

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

Pages 509-519