International Symposium on Principles of Software Evolution : proceedings : Kanazawa, Japan, November 1-2, 2000 /
Saved in:
| Meeting name: | International Symposium on Principles of Software Evolution (2000 : Kanazawa-shi, Japan) |
|---|---|
| Imprint: | Los Alamitos, Calif. : IEEE Computer Society, c2000. |
| Description: | ix, 321 p. : ill. ; 28 cm. |
| Language: | English |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/5672623 |
Table of Contents:
- Foreword
- Overview
- Invited Talk
- Towards a Theory of Software Evolution--And its Practical Impact
- Session 1A. Component Evolution
- Supporting Compositional Styles for Software Evolution
- Mobile Codes with Interactive Proofs: An Approach to Provably Safe Evolution of Distributed Software Systems
- Describing Consistent Component Extension with Expression of Dependence
- Session 1B. Software Process
- Sharing Instability of a Distributed Cooperative Work
- Managing Software Evolution with the Service Concept
- Simulating the Impact of Business Process Management Agents and Human Factors
- Session 2A. Reactive Systems
- Program Synthesis for Stepwise Satisfiable Specification of Reactive System
- Evolutionary Development of Object Behaviors
- Evolving Temporal Conceptual Schemas: The Reification Case
- Using Predicate Temporal Logic and Coloured Petri Nets to Specifying Integrity Restrictions in the Structural Evolution of Temporal Active Systems
- Session 2B. Design Pattern
- Speed and Scale Up Software Reengineering with Abstraction Patterns and Rules
- Object-Oriented Modeling of Software Patterns
- Evolutionary Patterns of Design and Design Patterns
- Session 3A. Dynamic Adaptability
- An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++
- Dynamic Compilation of a Reflective Language using Run-Time Specialization
- Specifying Runtime Environments and Functionalities of Downloadable Components under the Sandbox Model
- Session 3B. Software Architecture
- Architecture-Driven Embedded Systems Adaptation for Supporting Vocabulary Evolution
- A Meta-model for Language-Independent Refactoring
- Redesigning of an Existing Software using Design Patterns
- LACE Frame works and Technique--Identifying the Legacy Status of a Business Information System from the Perspectives of its Causes and Effects
- Session 4A. Constraint Management
- Evolutional Tableau Method for Temporal Logic Specifications
- Formalizing Prioritized Consistency Management in Requirement Engineering
- Verification of Reactive System Specifications with Outer Event Conditional Formula
- Session 4B. Source Code Handling
- Generating Linkage between Source Code and Evolvable Domain Knowledge for the Ease of Software Evolution
- Source Program Archives Site: A Step toward Cooperation of Open-source Movement and Software Engineering
- Session 5A. Computational Model
- Cooperative Constraint Functional Logic Programming
- Programmable Environment Calculus as Theory of Dynamic Software Evolution
- Run Time Transformation of Concurrent Processes using Multi Dimensional Representation of Linear Logic
- Session 5B. Language Support for Object Evolution
- RoleEP: Role based Evolutionary Programming for Cooperative Mobile Agent Applications
- Design Issues of Visual Languages for Supporting Software Evolution
- Invited Talk
- Calculation Carrying Programs--How to Code Program Transformations
- Session 6A. Formal Method and Testing
- Formal Approach for Handling Software Evolution in Component-based Software Developments
- Verifying Formal Specifications using Fault Tree Analysis
- Effective Testing and Debugging Methods and Its Supporting System with Program Deltas
- Session 6B. Operating Systems Support for Evolution
- Operating Systems Support for the Evolution of Software: An Evaluation using WWW Server Software
- Prototype of the Device Driver Generation System for UNIX-like Operating Systems
- Runtime Software Reorganization by Traditional OS Features
- Implementation and Evaluation of Multiple Processes Control Mechanism for Regulating Program Execution Speed
- Index of Authors