By Topic

Proceedings 17th IEEE International Conference on Automated Software Engineering,

23-27 Sept. 2002

Filter Results

Displaying Results 1 - 25 of 48
  • Proceedings ASE 2002. 17th IEEE International Conference on Automated Software Engineering [front matter]

    Publication Year: 2002
    Request permission for commercial reuse | PDF file iconPDF (308 KB)
    Freely Available from IEEE
  • A model of planning and enactment support in complex software development projects

    Publication Year: 2002
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (195 KB)

    Summary form only given. We propose an approach to facilitating not only project enactment but also project planning and monitoring, by tracking all decisions made during project planning and enactment and managing dependencies between these decisions. In order to identify those dependencies relevant for a decision, we established an extendable model of planning and plan enactment, which explicitl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed modular model checking

    Publication Year: 2002
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (216 KB)

    Summary form only given. Model checking is a formal method that verifies whether a finite state model of a system satisfies a specification given as a temporal logic formula. The most severe problem model checking suffers from is the so called state explosion problem. Distribution is one of the techniques that combat the state explosion. The aim is to distribute the state space among a number of c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adapting applications on the fly

    Publication Year: 2002
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (193 KB) | HTML iconHTML

    Summary form only given. Adapting a component-based application means adapting one or more of its components, and in general, adapting a component at run-time means disconnecting it from the application and connecting a new version of this component. Many approaches like OLAN and DCUP are based on component models in which each component is constituted by a functional part and a control part. This... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process support for tools interoperability

    Publication Year: 2002
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (185 KB)

    Summary form only given. Our work seeks to build a platform that makes entities of various types (component, COTS, tools, etc.) interoperate in order to build a new application. We call this new kind of application a federation. Our federations use workflow as a support for application integration and interoperability. In this approach, the process is not defined in term of tools and their paramet... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic synthesis of distributed systems

    Publication Year: 2002
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (191 KB) | HTML iconHTML

    Summary form only given. Our research aims towards a new method of synthesis for distributed systems using Mazurkiewicz traces for specification and asynchronous automata for models. Mazurkiewicz trace languages are languages closed under an explicit independence relation between actions and therefore they are suitable to describe concurrent behaviour. The main objectives of this work are: (a) to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic inter-procedural test case generation

    Publication Year: 2002
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (243 KB)

    Summary form only given. Our work is based on a new approach of the automatic structural test case generation problem defined previously. It uses constraint logic programming (CLP) to try and solve the problem of generating test cases in order to attain the structural covering of a procedure. A test tool prototype, named Inka has been developed by Thales Systemes Aeroportes. Inka. is designed for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semantic links and co-evolution in object-oriented software development

    Publication Year: 2002
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (184 KB)

    Summary form only given. This research focuses on the problem of the semantic linking and co-evolution of the different design diagrams and models of an object-oriented software application. The blueprint of an object-oriented software application consists mainly of models drawn in a modeling language. The state-of-the-art modeling language in object-oriented software development is the Unified Mo... View full abstract»

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

    Publication Year: 2002, Page(s):318 - 319
    Request permission for commercial reuse | PDF file iconPDF (180 KB)
    Freely Available from IEEE
  • Knowledge-based synthesis of numerical programs for simulation of rigid-body systems in physics-based animation

    Publication Year: 2002, Page(s):93 - 104
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (402 KB) | HTML iconHTML

    Physics-based animation programs are important in a variety of contexts, including education, science and entertainment among others. Manual construction of such programs is expensive, time consuming and prone to error. We have developed a system for automatically synthesizing physics-based animation programs for a significant class of problems: constrained systems of rigid bodies, subject to driv... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating product-lines of product-families

    Publication Year: 2002, Page(s):81 - 92
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (311 KB) | HTML iconHTML

    GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are refinements or layers, which are modules that implement a feature that many programs of a product-line can share. Unlike conventional components (e.g., COM, CORBA, EJB), a layer encapsulates fragments of multiple classes. Se... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience report on automated procedure construction for deductive synthesis

    Publication Year: 2002, Page(s):69 - 78
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (415 KB) | HTML iconHTML

    Deductive program synthesis systems based on automated theorem proving offer the promise of "correct by construction" software. However, the difficulty encountered in constructing usable deductive synthesis systems has prevented their widespread use. Amphion is a real-world, domain-independent program synthesis system. It is specialized to specific applications through the creation of an operation... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic test case optimization using a bacteriological adaptation model: application to .NET components

    Publication Year: 2002, Page(s):253 - 256
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (964 KB) | HTML iconHTML

    In this paper, we present several complementary computational intelligence techniques that we explored in the field of .Net component testing. Mutation testing serves as the common backbone for applying classical and new artificial intelligence (AI) algorithms. With mutation tools, we know how to estimate the revealing power of test cases. With AI, we aim at automatically improving test case effic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On CASE tool usage at Nokia

    Publication Year: 2002, Page(s):59 - 68
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (298 KB) | HTML iconHTML

    We present the results of a research work targeted to understanding CASE tools usage in Nokia. By means of a survey questionnaire, we collected data aimed to identify what features are most useful and best implemented in current CASE tools according to senior developers and managers. With the aid of both descriptive and inferential statistical data analysis methods, we found out that the features ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systematic bridging the gap between requirements and OO design

    Publication Year: 2002, Page(s):249 - 252
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (232 KB) | HTML iconHTML

    Today, most of the OO software development methodologies analyze requirements in terms of objects and their interactions. As a result, they have the problem of forcing analysts to make design decisions on objects and their interactions at the early stage of requirements analysis. This paper gives a brief introduction of an enhanced DFD model called data flow net (DF net) that resolves the impeding... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • VIATRA - visual automated transformations for formal verification and validation of UML models

    Publication Year: 2002, Page(s):267 - 270
    Cited by:  Papers (32)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (242 KB) | HTML iconHTML

    The VIATRA (visual automated model transformations) framework is the core of a transformation-based verification and validation environment for improving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. In the current paper, we present an overview of (i) the major design goals and decisions, (ii... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What makes finite-state models more (or less) testable?

    Publication Year: 2002, Page(s):237 - 240
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (936 KB) | HTML iconHTML

    This paper studies how details of a particular model can effect the efficacy of a search for detects. We find that if the test method is fixed, we can identity classes of software that are more or less testable. Using a combination of model mutators and machine learning, we find that we can isolate topological features that significantly change the effectiveness of a defect detection tool. More sp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • No Java without caffeine: A tool for dynamic analysis of Java programs

    Publication Year: 2002, Page(s):117 - 126
    Cited by:  Papers (8)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (408 KB) | HTML iconHTML

    To understand the behavior of a program, a maintainer reads some code, asks a question about this code, conjectures an answer, and searches the code and the documentation for confirmation of her conjecture. However, the confirmation of the conjecture can be error-prone and time-consuming because the maintainer has only static information at her disposal. She would benefit from dynamic information.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Identifying cause and effect relations between events in concurrent event-based components

    Publication Year: 2002, Page(s):245 - 248
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (298 KB) | HTML iconHTML

    Concurrent event-based components present characteristics that impose difficulties in understanding their dynamic behavior, mainly for interpreting the cause and effect relations between input and output events in component interactions. In this paper, we propose a technique to help in the process of understanding the dynamic behavior of concurrent event-based components. It checks the event trace... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Predicting software stability using case-based reasoning

    Publication Year: 2002, Page(s):295 - 298
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (259 KB) | HTML iconHTML

    Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item can evolve while preserving its design, is a key feature for software maintenance. We present a novel approach which relies on the case-based reasoning (CBR) paradigm. Thus, to predict the chances of an OO software item breaking downward compatibility, our method uses knowledge of past evolution extrac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SeDiTeC-testing based on sequence diagrams

    Publication Year: 2002, Page(s):261 - 266
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (264 KB) | HTML iconHTML

    In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC uses UML sequence diagrams, that are complemented by test case data sets consisting of parameters and return values for the method calls, as test specification and therefore can easily be integrated into the development pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System testing for object-oriented frameworks using hook technology

    Publication Year: 2002, Page(s):231 - 236
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (301 KB) | HTML iconHTML

    An application framework provides a reusable design and implementation for a family of software systems. If the framework contains defects, the defects will be passed on to the applications developed from the framework. Framework defects are hard to discover at the time the framework is instantiated. Therefore, it is important to remove all defects before instantiating the framework. The problem a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic validation of deployed J2EE components using aspects

    Publication Year: 2002, Page(s):47 - 56
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB) | HTML iconHTML

    Validating that software components meet their requirements under a particular deployment scenario is very challenging. We describe a new approach that uses component aspects, describing functional and nonfunctional cross-cutting concerns impacting components, to perform automated deployed component validation. Aspect information associated with J2EE component implementations is inspected after co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for automatic debugging

    Publication Year: 2002, Page(s):217 - 222
    Cited by:  Papers (11)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (262 KB) | HTML iconHTML

    This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. The approach is non-intrusive with respect to program source code and provides a high level of abstraction for debugging activities. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining and adapting software quality predictive models by genetic algorithms

    Publication Year: 2002, Page(s):285 - 288
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (260 KB) | HTML iconHTML

    The goal of quality models is to predict a quality factor starting from a set of direct measures. Selecting an appropriate quality model for a particular software is a difficult, non-trivial decision. In this paper, we propose an approach to combine and/or adapt existing models (experts) in such way that the combined/adapted model works well on the particular system. Test results indicate that the... View full abstract»

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