Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2003, 2003
|
Edition: | 1st ed. 2003 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Documentation and Testing
- PROG — A New Program Documentation System
- Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
- Test Case Generation for UML Statecharts
- Databases
- Conceptual Content Modeling and Management
- A Relational Algebra for Functional Logic Deductive Databases
- Implication of Functional Dependencies for Recursive Queries
- TeXOR: Temporal XML Database on an Object-Relational Database System
- Functional Dependencies, from Relational to XML
- Data-Object Replication, Distribution, and Mobility in Network Environments
- Natural Language Processing
- Multi-classification of Patent Applications with Winnow
- Automatic Evaluation of Quality of anExplanatory Dictionary by Comparison of Word Senses
- An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems
- Programming Issues
- The Verifying Compiler: A Grand Challenge for Computing Research
- Linear Types for Cashflow Reengineering
- Storing Properties in Grouped Tagged Tuples
- A Polymorphic Radix-n Framework for Fast Fourier Transforms
- Intersecting Classes and Prototypes
- Software Engineering
- Bending without Breaking: Making Software More Flexible
- Program Construction in the Context of Evolutionary Computation
- A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development
- Software Education
- The Outside-In Method of Teaching Introductory Programming
- Program Synthesis, Transformation, and Semantics
- Numeric Types in Formal Synthesis
- On the Possibility of Provably Secure Obfuscating Programs
- Verification-Oriented Language C-Light and Its Structural Operational Semantics
- Proofs-as-Imperative-Programs: Application to Synthesis of Contracts
- Graphical Interfaces
- On the Visualization and Aesthetics of Large Graphs
- Causality and Replication in Concurrent Processes
- Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems
- Teams of Pushdown Automata
- Program Specification
- Algebraic State Machines: Concepts and Applications to Security
- Combining Aspects of Reactive Systems
- OCL Extended with Temporal Logic
- The Definition of Transitive Closure with OCL – Limitations and Applications –
- Verification and Model Checking
- Improving the Consistency Checking Process by Reusing Formal Verification Knowledge
- Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework
- Polynomial Approximations for Model Checking
- Constraint Programming
- Separating Search and Strategy in Solver Cooperations
- Industrial Application of External Black-Box Functions in Constraint Programming Solver
- LGS: Geometric Constraint Solver
- On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method
- Data Mappings in the Model-View-Controller Pattern
- Partial Evaluation and Supercompilation
- The Translation Power of the Futamura Projections
- A Compiler Generator for Constraint Logic Programs
- The Supercompiler SCP4: General Structure
- Partial Evaluation for Common Intermediate Language
- Verification
- Timed Verification with ?CRL
- Verification of Distributed Dataspace Architectures
- Using SPIN and STeP to Verify Business Processes Specifications
- Integrating Tools for Automatic Program Verification
- Logic and Types
- A Logical Reconstruction of Reachability
- Recent Advances in ?-Definability over Continuous Data Types
- Concurrent and Distributed Systems
- Open Maps and Trace Semantics for Timed Partial Order Models
- Confidentiality for Multithreaded Programs via Bisimulation
- Dynamic Modification ofSystem Structures Using LLPNs
- Concurrent and Reactive Systems
- Principles for Entity Authentication