By Topic

14th IEEE International Conference on Automated Software Engineering

12-15 Oct. 1999

Filter Results

Displaying Results 1 - 25 of 52
  • 14th IEEE International Conference on Automated Software Engineering

    Publication Year: 1999
    Request permission for commercial reuse | PDF file iconPDF (163 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1999, Page(s):339 - 340
    Request permission for commercial reuse | PDF file iconPDF (8 KB)
    Freely Available from IEEE
  • Modular and incremental analysis of concurrent software systems

    Publication Year: 1999, Page(s):92 - 101
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (196 KB)

    Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysis and verification of concurrent software systems. Our methodology is based on the theory of abstract interpretation. We first propose a compositional data flow analysis algorithm that computes invariants of concurrent sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • NAVCo: negotiation-based adaptive view coordination

    Publication Year: 1999, Page(s):327 - 330
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB)

    In mission critical applications of distributed information systems, autonomous information resources are coordinated to meet the information demands of client specific decision-support views. The current approach to view coordination relies on design-time trade-offs to select a static view coordination policy from a set of available policies. This approach is not robust and does not respond well ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated translation of UML models of architectures for verification and simulation using SPIN

    Publication Year: 1999, Page(s):102 - 109
    Cited by:  Papers (15)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 KB)

    The Unified Modeling Language (UML) is fast becoming an industry standard for object-oriented modeling and analysis. Applying the UML to model, analyze and design dependable systems require methods and tools for model checking that are integrated with the UML and its support environment. Recent advances in model-checking technologies have led to the development of approaches and tools to check the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development of a constraint-based airlift scheduler by program synthesis from formal specifications

    Publication Year: 1999, Page(s):267 - 270
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (48 KB)

    We describe the formal specification and automated synthesis of a strategic airlift scheduler for the Air Mobility Command of the US Air Force. The program synthesis system, the Kestrel Interactive Development System, composes a formal domain theory with a formal description of a class of algorithms (global search with constraint propagation) to produce provably correct and highly efficient code t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards automatic imperative program synthesis through proof planning

    Publication Year: 1999, Page(s):44 - 51
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (108 KB)

    An approach to automatic imperative program synthesis is presented which builds upon Gries' (1981) vision of developing a program and its proof hand in hand. To achieve this vision we rely on the proof planning paradigm, which enables the coupling of both heuristic and deductive components. By formalising structured programming and proof heuristics within the proof planning framework we focus the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Siddhartha: a method for developing domain-specific test driver generators

    Publication Year: 1999, Page(s):81 - 90
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (96 KB)

    Siddhartha applies the domain-specific language (DSL) paradigm to solve difficult problems in specification-based testing (SBT). Domain-specific test case data specifications (TestSpecs) and difficult-to-test program design styles engender difficult SBT problems, which are the essential phenomena of interest to Siddhartha. Difficult-to-test program design styles are explicitly represented by domai... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An automatic and optimized test generation technique applying to TCP/IP protocol

    Publication Year: 1999, Page(s):73 - 80
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (80 KB)

    In this paper an automatic and optimized technique for test generation for communication protocol control and data portion is described, the goal is to minimize the number of tests with a guaranteed coverage. The test generation algorithm is applied to the client layer part of the TCP/IP protocol. The protocol used for the experiment is TCP-Reno, which is specified in the SDL language and is one o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • vUML: a tool for verifying UML models

    Publication Year: 1999, Page(s):255 - 258
    Cited by:  Papers (55)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    The Unified Modelling Language (UML) is a standardised notation for describing object oriented software designs. We present vUML, a tool that automatically verifies UML models where the behaviour of the objects is described using UML Statecharts diagrams. The tool uses the SPIN model checker to perform the verification, but the user does not have to know how to use SPIN or the PROMELA language. If... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolving object-oriented designs with refactorings

    Publication Year: 1999, Page(s):174 - 181
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (44 KB)

    Refactorings are behaviour-preserving program transformations that automate design-level changes in object-oriented applications. Our previous research established that many schema transformations, design patterns and hot-spot meta-patterns are automatable. This research evaluates whether refactoring technology can be transferred to the mainstream by restructuring non-trivial C++ applications. The... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Industrial applications of software synthesis via category theory

    Publication Year: 1999, Page(s):35 - 43
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    Over the last two years, we have demonstrated the feasibility of applying category-theoretic methods in specifying, synthesizing, and maintaining industrial strength software systems. We have been using a first-of-its-kind tool for this purpose. Kestrel's SpecwareTM software development system. In this paper, we describe our experiences and give an industrial perspective on what is need... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatically detecting mismatches during component-based and model-based development

    Publication Year: 1999, Page(s):191 - 198
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (80 KB)

    A major emphasis in software development is placed on identifying and reconciling architectural and design mismatches. These mismatches happen during software development on two levels: while composing system components (e.g. COTS or in-house developed) and while reconciling view perspectives. Composing components into a system and `composing' views (e.g. diagrams) into a system model are often se... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An overview of Lutess a specification-based tool for testing synchronous software

    Publication Year: 1999, Page(s):208 - 215
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (120 KB)

    Test data generation and test execution are both time-consuming activities when done manually. Automated testing methods promise to save a great deal of human effort. This especially applies to reactive programs which have complex behaviour over time and which require long test sequences. We present Lutess, a testing environment for synchronous reactive software. Lutess produces automatically and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal ontology for re-use of software architecture documents

    Publication Year: 1999, Page(s):259 - 262
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (32 KB)

    Software architecture has been established as a viable level of representation for reuse in practical software engineering efforts. The main reason for this is that an architectural view of software is sufficiently abstract to have many instantiations. Even with technologies such as CORBA and JavaBeans, which emphasize reuse of components, the realization of widespread reuse has been severely limi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic generation of test oracles: from pilot studies to application

    Publication Year: 1999, Page(s):63 - 72
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    There is a trend towards the increased use of automation in V&V (verification and validation). Automation can yield savings in time and effort. For critical systems, where thorough V&V is required, these savings can be substantial. We describe a progression from pilot studies to development and use of V&V automation. We used pilot studies to ascertain opportunities for, and suitability... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards adaptive web agents

    Publication Year: 1999, Page(s):335 - 338
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is extremely valuable since a system needs to evolve in order to respond to changing requirements. One way for software to evolve is for it to reflect upon a model of its own design. A key challenge in reflective evolution is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic synthesis of control software for an industrial automation control system

    Publication Year: 1999, Page(s):247 - 250
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (220 KB)

    We present a case study on automatic synthesis of control software from formal specifications for an industrial automation control system. Our aim is to compare the effectiveness (i.e. design effort and controller quality) of automatic controller synthesis from closed loop formal specifications with that of manual controller design, followed by automatic verification. Our experimental results show... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing annotation visibility for software inspection

    Publication Year: 1999, Page(s):243 - 246
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    Annotation of software artifacts is common in software development, and vital for software inspection. People viewing annotated artifacts encounter delocalization: they must understand various parts of an artifact (and their annotations) to understand the part they are viewing. We taxonomize delocalization within software systems into lateral delocalization (different items of the artifact within ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fixing some transformation problems

    Publication Year: 1999, Page(s):148 - 157
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    Defining domain-specific abstractions for generator systems leads to a quandary between choosing abstractions that exhibit powerful programming amplification through the combinatorial opportunities provided by composition, and choosing abstractions that can be easily transformed into high-performance code. Most generators opt for abstraction to improve programming productivity, which usually compr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Controlled natural language can replace first-order logic

    Publication Year: 1999, Page(s):295 - 298
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (56 KB)

    Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem, we developed Attempto Controlled English (ACE), a subset of English that can be unambiguously translated into first-order logic and thus can conveniently replace first-order logic as a formal notation. We describe how ACE has been used as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Retrenchment: extending the reach of refinement

    Publication Year: 1999, Page(s):158 - 165
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (124 KB)

    Discusses a simple example that demonstrates various expressive limitations of the refinement calculus, and suggests a liberalization of refinement, called retrenchent, which supports an analogous formal development calculus. Useful concrete system behaviour can be specified outside the domain of pure refinement, and a case is made for fluidity between I/O and state components across the developme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying test automation to type acceptance testing of telecom networks: a case study with customer participation

    Publication Year: 1999, Page(s):216 - 223
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    This paper presents results of a joint case study of Ericsson and the German cellular network provider Mannesmann Mobilfunk, targeted at automating type acceptance tests. Faced with a growing number of tests required to verify the quality of the telecom switch software, both companies seek to improve testing efficiency by means of test automation. In a joint effort, a test platform originally crea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data mining library reuse patterns in user-selected applications

    Publication Year: 1999, Page(s):24 - 33
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (132 KB)

    In this paper, we show how data mining can be used to discover library reuse patterns in user-selected applications. This can be helpful in building and debugging applications that use a particular library by observing how other developers have used that library in their applications. Specifically, we consider the problem of discovering association rules that identify library components that are o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic software clustering via Latent Semantic Analysis

    Publication Year: 1999, Page(s):251 - 254
    Cited by:  Papers (27)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (36 KB)

    The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus based statistical method for inducing and representing aspects of the meanings of words and passages (of natural language) reflective in their usage. This methodology is assessed for application to the domain of software compon... View full abstract»

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