By Topic

Proceedings International Symposium on Principles of Software Evolution

1-2 Nov. 2000

Filter Results

Displaying Results 1 - 25 of 41
  • Proceedings International Symposium on Principles of Software Evolution

    Publication Year: 2000
    Request permission for commercial reuse | PDF file iconPDF (197 KB)
    Freely Available from IEEE
  • Index of authors

    Publication Year: 2000, Page(s): 321
    Request permission for commercial reuse | PDF file iconPDF (54 KB)
    Freely Available from IEEE
  • Cooperative constraint functional logic programming

    Publication Year: 2000, Page(s):214 - 220
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (436 KB)

    Describes the current status of the development of CFLP (constraint functional logic programming), a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS) and distributed constraint solving. FLP provides support for defining one's own abstractions (user-defined functions and predicates) over a constraint domain in an e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Verifying formal specifications using fault tree analysis

    Publication Year: 2000, Page(s):272 - 281
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB)

    Specification before implementation has been suggested as a sensible approach to software evolution. The quality of this approach may be improved by using formal specification. However, to serve as a trustable foundation for implementation and to help reduce the cost of program testing, the formal specification must be ensured to be satisfiable, consistent, complete and accurate in recording the u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mobile codes with interactive proofs: an approach to provably safe evolution of distributed software systems

    Publication Year: 2000, Page(s):23 - 27
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB)

    This paper proposes a new proof-based approach to safe evolution of distributed software systems. Specifically it extends the simple certification mechanism of proof-carrying code (PCC) to make it interactive and probabilistic, thereby devising code with interactive proof (CIP). With CIP, a code consumer is convinced, with overwhelming probability, of the existence and validity of a safety proof o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolutional tableau method for temporal logic specifications

    Publication Year: 2000, Page(s):176 - 183
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    Presents a new consistency checking method for temporal logic specifications. The new method verifies the consistency of a whole specification by using a tableau graph constructed from tableau graphs obtained in the verifications of partial specifications. The new method is applicable not only to on-the-fly verification but also to compositional verification. On-the-fly verification is verificatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach for constructing component-based software systems with dynamic adaptability using LEAD++

    Publication Year: 2000, Page(s):118 - 127
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    A software system has dynamic adaptability if it can adapt itself to dynamically changing runtime environments. This means that such a software system can change its own behavior depending on states of runtime environments in flexible way. We have proposed a software model with dynamic adoptability named DAS and its description language LEAD++. The DAS model is a reflective software model, and LEA... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Source Program Archives Site: a step toward cooperation of open-source movement and software engineering

    Publication Year: 2000, Page(s):206 - 212
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    The open-source movement plays an important role especially in the middle and lower phases of software development, and it brings a new research style to software engineering. Researchers can now access large quantities of large-scale and commercial-quality software for free without any non-disclosure agreement (NDA). In this paper, we report a project named “Sappy” in order to establi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sharing instability of a distributed cooperative work

    Publication Year: 2000, Page(s):36 - 45
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (740 KB)

    We discuss a model and mechanisms to support awareness of recognition gaps and coordination for distributed cooperative work, especially for software development activities. We show a model and an implementation of the information repository which can reflect the progress of the work in a real world to share the instability of the work among participants of the work. Sharing of instability gives u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal approach for handling software evolution in component-based software developments

    Publication Year: 2000, Page(s):262 - 271
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    Analyses software evolution in component-based software developments. We adopt two aspects (functional and non-functional aspects) to characterize software evolution. These two aspects construct a 2D evolution space which can be nicely handled by component-based algebraic specification (CBAS). CBAS is based on the algebraic specification technique (a kind of formal specification) combined with the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting compositional styles for software evolution

    Publication Year: 2000, Page(s):14 - 22
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB)

    Software is not just difficult to develop, it is even more difficult to maintain in the face of changing requirements. The complexity of software evolution can, however be significantly reduced if we manage to separate the stable artifacts (the “components”) from their configuration (the “scripts”). We have proposed a simple, unifying framework of forms, agents, and channel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • LACE frameworks and technique-identifying the legacy status of a business information system from the perspectives of its causes and effects

    Publication Year: 2000, Page(s):170 - 174
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    This paper first presents a definition of the concept `legacy status' with a three-dimensional model. It then discusses LACE frameworks and techniques, which can be used to assess legacy status from the cause and effects perspectives. A method of applying the LACE frameworks is shown and a technique with a mathematical model and metric so that the legacy status of a system can be calculated. This ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolutionary patterns of design and design patterns

    Publication Year: 2000, Page(s):110 - 116
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    Design patterns are considered well-formed language to represent software design. We propose several notions of design evolution and discuss the patterns of design evolution in terms of design patterns. First, we propose a classification of design patterns into pattern families. To model the design patterns and the evolutionary relationship between them, we propose a set of graphical notations of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating linkage between source code and evolvable domain knowledge for the ease of software evolution

    Publication Year: 2000, Page(s):196 - 205
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    Business software systems without exception need to be evolved to cater for new/changed market requirements, or to adapt to a new operating environment. One of the most significant problems in current software evolution practice is that software maintainers usually find it quite difficult to locate the program sections in the source code which need to be modified and to identify the extent to whic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design issues of visual languages for supporting software evolution

    Publication Year: 2000, Page(s):241 - 248
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    We describe issues in design of visual languages that can provide a support for software evolution and lessons learned from our experience in the development of a visual language environment called KLIEG. In this paper, we put emphasis on general frameworks for visual syntax, interaction supports and aspect visualization. We also describe several specific techniques and design decisions of KLIEG View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Runtime software reorganization by traditional OS features

    Publication Year: 2000, Page(s):311 - 315
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    With the increased complexity of software and requirements for non-stop service features, it is important to establish an effective method for online or runtime program updating. For commercial servers, even a short break of service can cause a great loss for a company, and modern complex software systems are frequently updated for patching security holes or adding new features. To cope with such ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A meta-model for language-independent refactoring

    Publication Year: 2000, Page(s):154 - 164
    Cited by:  Papers (21)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (780 KB)

    Refactoring-transforming code while preserving behaviour-is considered a key approach for improving object-oriented software systems. Unfortunately, all of the current refactoring tools depend on language-dependent refactoring engines, which prevents a smooth integration with mainstream development environments. We investigate the similarities between refactorings for Smalltalk and Java, derive a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Speed and scale up software reengineering with abstraction patterns and rules

    Publication Year: 2000, Page(s):90 - 99
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (740 KB)

    Software reengineering is an essential part of software evolution. Two important issues faced by software reengineering techniques are the time involved and the ability to cope with the scale of software systems. Unless these two issues have been addressed properly, the real use of any reengineering technique is limited. Our observation shows that these two issues mainly occur at the reverse engin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programmable environment calculus as theory of dynamic software evolution

    Publication Year: 2000, Page(s):221 - 225
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (344 KB)

    Software evolution is one of the most important features in advanced computer systems, and the significance of its theoretical study is acknowledged. Software evolution is divided into two categories: static and dynamic evolution. Static evolution involves changes in a software system that occur before compilation; a typical example is a software update. On the other hand, dynamic evolution involv... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effective testing and debugging methods and its supporting system with program deltas

    Publication Year: 2000, Page(s):282 - 289
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    In the maintenance phase of software development, it is necessary to check that all features still perform correctly after some changes have been applied to existing software. However, it is not easy to debug the software when a defect is found in those features which have not changed during the modification, even using a regression test. Existing approaches employ program deltas to specify defect... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Describing consistent component extension with expression of dependence

    Publication Year: 2000, Page(s):28 - 33
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    The component technology will promise to cope with software evolution by extending and adapting only the affected parts. It is important to ensure consistency of extended and extending components. The consistency is generally determined with respect to some desired properties. The paper concentrates on the issue of composition safety: system-wide rules must not be violated by an extension. A compo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formalizing prioritized consistency management in requirement engineering

    Publication Year: 2000, Page(s):184 - 188
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (364 KB)

    Proposes a method of consistency management for a logical specification with priority. When we add or delete some information to/from the original specification, we sometimes encounter “inconsistency”. We often try to fix such inconsistency by revising the specification minimally. Moreover, we sometimes know that a certain part of the specification should be changed in preference to th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic compilation of a reflective language using run-time specialization

    Publication Year: 2000, Page(s):128 - 137
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (700 KB)

    In reflective languages, application programs can customize a language system that executes the application programs. Our premise is that this customizability of reflective languages can be a basic mechanism of software evolution. We present a simple architecture of a reflective language that can dynamically select meta-interpreters, and a dynamic compilation scheme by using run-time specializatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Managing software evolution with the service concept

    Publication Year: 2000, Page(s):46 - 50
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (444 KB)

    Software-intensive systems evolve. Properties embedded in them seldom benefit from this, as the modifications needed for supporting new features do not always match with software structures that originally constitute the system. This results in special cases and exceptions for intended abstractions, and consequently creates problems for the future evolution of the system. In order to improve the f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Calculation carrying programs - how to code program transformations

    Publication Year: 2000, Page(s):250 - 259
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    Proposes a new mechanism called “calculation-carrying programs” that can relax the tension between efficiency and clarity in programming. The idea is to accompany clear programs with some calculation specifying the intention of how to manipulate the programs to be efficient. This calculation specification can be executed automatically by our compiler to derive efficient programs. As a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.