By Topic

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)

13-16 Oct. 1998

Filter Results

Displaying Results 1 - 25 of 46
  • Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)

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

    Publication Year: 1998, Page(s):333 - 334
    Request permission for commercial reuse | PDF file iconPDF (179 KB)
    Freely Available from IEEE
  • Explanation based scenario generation for reactive system models

    Publication Year: 1998, Page(s):115 - 124
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB)

    Reactive systems control many useful and complex real-world devices. Tool-supported specification modelling helps software engineers design such systems correctly. One such tool is a scenario generator, which constructs an input event sequence for the spec model that reaches a state satisfying given criteria. It can uncover counterexamples to desired safety properties, explain feature interactions... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A visualization concept for hierarchical object models

    Publication Year: 1998, Page(s):225 - 228
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do not support hierarchical decomposition at all. Those methods which do employ tools that provide explosive zoom as the only means for the visualization of hierarchies. The authors present an approach for the visualization of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On detecting and handling inconsistencies in integrating software architecture design and performance evaluation

    Publication Year: 1998, Page(s):188 - 191
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (48 KB)

    We consider the problem of detecting and handling inconsistencies in software development processes using a graph based approach. It seems to be a natural way to express the various options and possibilities in attacking the problem. We apply the techniques developed in the area of software architecture design which uses in a structured way performance models in order to produce a design which inc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An automated framework for structural test-data generation

    Publication Year: 1998, Page(s):285 - 288
    Cited by:  Papers (37)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (136 KB)

    Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test data to achieve 100% coverage of a given structural coverage metric is labour-intensive and expensive. This paper presents an approach to automate the generation of such test data. The test-data generation is based on the application of a dynamic optimisation-based search ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated knowledge acquisition and application for software development projects

    Publication Year: 1998, Page(s):306 - 309
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    The application of empirical knowledge about the environment-dependent software development process is mostly based on heuristics. In this paper, we show how one can express these heuristics by using a tailored fuzzy expert system. Metrics are used as input, enabling a prediction for a related quality factor like correctness, defined as the inverse of criticality or error-proneness. By using genet... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component-based software process support

    Publication Year: 1998, Page(s):196 - 199
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    Only recently has the research community started to consider how to make software process models interoperable and reusable. The task is difficult Software processes are inherently creative and dynamic difficult to define and repeat at an enactable level of detail. Additionally, interoperability and reusability have not been considered important issues. Recent interoperability and reusability solu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reusability hypothesis verification using machine learning techniques: a case study

    Publication Year: 1998, Page(s):84 - 93
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (72 KB)

    Since the emergence of object technology, organizations have accumulated a tremendous amount of object-oriented (OO) code. Instead of continuing to recreate components that are similar to existing artifacts, and considering the rising costs of development, many organizations would like to decrease software development costs and cycle time by reusing existing OO components. This paper proposes an e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parameterising (algebraic) specifications on diagrams

    Publication Year: 1998, Page(s):221 - 224
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (104 KB)

    The paper presents an extension of previous work on the parameterisation of logical and algebraic specifications leading to a novel formalisation of parameterisation which is general enough to become independent of the specificities of the underlying formalism, and flexible enough to accommodate the manipulation of complex parameterised specifications where the parameters are presented by means of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • From Z to BON/Eiffel

    Publication Year: 1998, Page(s):209 - 212
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (196 KB)

    The article shows how to make a transition from the Z formal notation to the Business Object Notation (BON). It is demonstrated that BON has the expressive power of Z, with the additional advantages of object-orientation and a supporting seamless development method. The transition is illustrated for some widely used Z constructs. The translation lays the groundwork for a semi-automated tool for ex... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification-based browsing of software component libraries

    Publication Year: 1998, Page(s):74 - 83
    Cited by:  Papers (15)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (148 KB)

    Specification-based retrieval provides exact content-oriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any deduction into an off-line indexing phase. In this paper, we show how match relations are used to build an appropriate index and how formal concept analysis is used to build a suitable navigation structu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering and verification using specification animation

    Publication Year: 1998, Page(s):302 - 305
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (52 KB)

    Presents an overview of the Possum specification animation system and its integration into the Cogito methodology and toolset. Possum allows interpretation (or animation) of specifications written in Sum, the specification language of Cogito. We distinguish two potential uses for Possum and illustrate each of these with an example. The first is the use of Possum for specification verification, whe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A design pattern based approach to generating synchronization adaptors from annotated IDL

    Publication Year: 1998, Page(s):63 - 72
    Cited by:  Papers (2)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (236 KB)

    Middleware forms such as CORBA and DCOM provide standard component interfaces, interaction protocols and communication services to support interoperability of object-oriented applications operating in heterogeneous and distributed environments. General-purpose services and facilities foster re-use and help reduce development costs. Yet the degree of automation of the software development process i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development, assessment, and reengineering of language descriptions

    Publication Year: 1998, Page(s):314 - 317
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (220 KB)

    Discusses tools that aid in the development, assessment and reengineering of language descriptions (i.e. syntactic descriptions of a language). We develop assessment tools that give an indication as to what is wrong with an existing language description, and give hints towards its correction. From a correct and complete language description, it is possible to generate a parser, a manual and online... View full abstract»

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

    Publication Year: 1998, Page(s):240 - 248
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (160 KB)

    Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion has a number of advantages, such as the ability to develop a new synthesis system simply by writing a declarative domain theory. However, as a practical matter, the validation of the domain theory for such a system is problematic b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated software test data generation for complex programs

    Publication Year: 1998, Page(s):136 - 146
    Cited by:  Papers (9)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully automatic and supports all C/C++ language constructs. This allows us to generate tests for programs more complex than those previously reported in the literature. We address a number of issues that are encountered when a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A coordination system approach to software workflow process evolution

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

    Describes a coordination-based approach to the dynamic evolution of (software) workflow processes. Our interest is in widely distributed workflow processes, i.e. systems that allow each instance of a process model to be enacted in a distributed fashion, with different parts of the process being enacted on different nodes of the system. More specifically, we are interested in the problem of dynamic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesizing software architecture descriptions from Message Sequence Chart specifications

    Publication Year: 1998, Page(s):192 - 195
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    Message Sequence Chart (MSC) specifications have found their way into many software engineering methodologies and CASE tools, in particular to represent early life-cycle requirements and high-level design specifications. We analyze iterating and branching MSC specifications with respect to their software architectural content. We present algorithms for the automated synthesis of Real-Time Object-O... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Detection of exclusive OR global predicates

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

    Detecting global predicates in a distributed program is a useful tool for debugging and testing the program. Past research has considered several restricted forms of predicates, including conjunctive predicates and linked predicates, and their detection algorithms. The authors introduce an exclusive OR global predicates to describe exclusive usages of shared resources in distributed programs. An e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification-based testing of Ada units with low encapsulation

    Publication Year: 1998, Page(s):22 - 31
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (128 KB)

    Describes a system that improves testing quality by supporting automatic test data selection, execution and result verification. The system tests poorly-encapsulated Ada units against formal specifications. This task is difficult partly because the unit's interface is not explicit, but rather is buried in the body/implementation code. We attack this problem by making the unit's interface explicit ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Planning equational verification in CCS

    Publication Year: 1998, Page(s):43 - 52
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (168 KB)

    Most efforts to automate the formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical communicating systems, and hence there is interest in a novel class of problems, which we call VIPSs (Value-passing Infinite-state Parameterised Systems). Existing approaches using model checking over FSSs are insufficien... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A tool for automated system analysis based on modular specifications

    Publication Year: 1998, Page(s):2 - 11
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (104 KB)

    An effective means for analyzing and reasoning on software systems is to use formal specifications to simulate their execution. The simulation traces can be used for specification testing and reused, later in the development process, for functional testing of the system. It is widely acknowledged that, to deal with the complexity of industrial-size systems, specifications must be structured into m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Task oriented software understanding

    Publication Year: 1998, Page(s):230 - 239
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (188 KB)

    The main factors that affect software understanding are the complexity of the problem solved by the program, the program text, the user's mental ability and experience and the task being performed. The paper describes a planning approach solution to the software understanding problem that focuses on the user's task and expertise. First, user questions about software artifacts have been studied and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ADLscope: an automated specification-based unit testing tool

    Publication Year: 1998, Page(s):289 - 292
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (48 KB)

    Specification-based testing is important because it relates directly to what the program is supposed to do and can detect certain errors that are often not detected by traditional code-based testing techniques such as branch coverage and statement coverage. We have developed an automated testing tool, called ADLscope, that utilizes the formal specification of a program unit as the basis for test c... View full abstract»

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