By Topic

Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on

Date 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
  • Author index

    Publication Year: 2002, Page(s):318 - 319
    Request permission for commercial reuse | PDF file iconPDF (180 KB)
    Freely Available from IEEE
  • 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.
  • Dependence management for dynamic reconfiguration of component-based distributed systems

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

    The growing popularity of wired and wireless Internet requires distributed systems to be more flexible, adaptive and easily extensible. Dynamic reconfiguration of component-based distributed systems is one possible solution to meet these demands. However, there are some challenges for building dynamically reconfigurable distributed systems. Managing dependencies among components is one of the most... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 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.
  • From early requirements to user interface prototyping: a methodological approach

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

    The objective of this paper is to define a software production process which represents the correspondence between the primitive elements of a business model (represented in the framework i*) and the user interface of the software system. The representation of the user interface is compliant with the Unified Model Language (UML). We use a use case model as an intermediary between the business requ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adding value to formal test oracles

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

    Test oracles are programs which check the output of test cases run on other programs. We describe techniques which add value to formally-defined test oracles in three ways: (a) by measuring functional coverage of test suites, (b) by giving automated support to the process of validating the oracles, and (c) by automating the generation of test cases from the oracles. The techniques involve the use ... 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 (7)  |  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.
  • Generating product-lines of product-families

    Publication Year: 2002, Page(s):81 - 92
    Cited by:  Papers (10)
    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.
  • Towards usable and relevant model checking techniques for the analysis of dependable interactive systems

    Publication Year: 2002, Page(s):223 - 226
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (378 KB) | HTML iconHTML

    Model checking is a formal technique for the automated analysis of system models against formal requirements. Once a suitable model and property have been specified, no further interaction by the analyst is required. However, this does not make the method necessarily user friendly since the checker must be provided with appropriate and complex input data. Furthermore, counter-examples generated by... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A temporal logic approach to the specification of reconfigurable component-based systems

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

    We propose a formal specification language for dynamically reconfigurable component-based systems, based on temporal logic. The main aim of the language is to allow one to specify behaviours of component-based systems declaratively, with special emphasis on behaviours in which the architectural structure of the system changes dynamically. Due to the semantics and organisation of our language, it i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CpprofJ: aspect-capable call path profiling of multi-threaded Java applications

    Publication Year: 2002, Page(s):107 - 116
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (314 KB) | HTML iconHTML

    A primary goal of program performance understanding tools is to focus the user's attention directly on optimization opportunities where significant cost savings may be found. Optimization opportunities fall into (at least) three broad categories: the call context of a general component may obviate the need for some of its generality; cross-cutting program aspects may be implemented suboptimally fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Report on the workshop on the state of the art in automated software engineering

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

    First Page of the Article
    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.
  • 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.
  • An approach to rapid prototyping of large multi-agent systems

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

    Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable technique to help software engineers explore the design space while gaining insight and a "feel" for the dynamics of the system; prototyping also allows engineers to learn more about the relationships among design features... 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 (13)
    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.
  • 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.
  • 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.
  • 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.
  • Interfaces for modular feature verification

    Publication Year: 2002, Page(s):195 - 204
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (337 KB) | HTML iconHTML

    Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasingly support this style of programming, but programmers get little support from verification tools. Ideally, programmers should be able to verify features independently of each other and use automated compositional reasoni... 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.
  • VIATRA - visual automated transformations for formal verification and validation of UML models

    Publication Year: 2002, Page(s):267 - 270
    Cited by:  Papers (28)
    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.
  • Combining and adapting software quality predictive models by genetic algorithms

    Publication Year: 2002, Page(s):285 - 288
    Cited by:  Papers (4)
    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.
  • 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.