By Topic

Proceedings Seventh International Workshop on Computer-Aided Software Engineering

10-14 July 1995

Filter Results

Displaying Results 1 - 25 of 41
  • Proceedings Seventh International Workshop on Computer-Aided Software Engineering

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (291 KB)
    Freely Available from IEEE
  • Lessons learned by building and using Scrutiny, a collaborative software inspection system

    Publication Year: 1995, Page(s):350 - 357
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (716 KB)

    This is an experience report describing the results of a project to build and introduce an experimental CASE tool into a software engineering organization. The tool is Scrutiny, a CSCW system used to manage and facilitate the performance of software inspection and review by geographically separated teams. We describe Scrutiny and the lessons learned while building it and introducing it. The lesson... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AVAT, a CASE tool for software verification and validation

    Publication Year: 1995, Page(s):358 - 367
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    AVAT, an abbreviation of Automation of the Verification, Validation and Testing (AVAT) of Real-Time Software and Embedded Systems, is a CASE (computer aided software engineering) tool. It has been developed as a tool for the enhancement of software reliability by reducing the manual steps in verification, validation and testing. It implements the formal method of program function (PF) tables. Its ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CASE tool for the design of safety-critical software

    Publication Year: 1995, Page(s):370 - 380
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1092 KB)

    The paper uses a CASE tool called StateTime to design the shutdown system of a nuclear reactor. The shutdown system is based on three identical microprocessors running in parallel with each other that monitor power and pressure for critical behaviour. The final decision on whether to shut down the reactor is implemented on a majority rules basis. The CASE tool uses a combination of visual (impleme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated support for distributed software design

    Publication Year: 1995, Page(s):381 - 390
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1004 KB)

    Automated support for the software design process has existed for many years in the form of CASE tools. Most of these are tailored to support specific design or analysis methods, and often have knowledge of the corresponding methodology built into the working of the tool. However, in terms of tool support, few of them go much beyond the provision of syntax-sensitive editors and checkers for the de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interactive object-oriented schema development

    Publication Year: 1995, Page(s):391 - 399
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    Interactive object-oriented schema development requires a tool that permits fine-grained, incremental capture of semantic intent in the form of atomic assertions and provides feedback to the user to reflect the consequences of the design. The paper describes a design tool that includes a graphical interface for schema entry and feedback, a conceptual reasoner to perform the deductions, and a schem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a hyper media tool to support requirements elicitation meetings

    Publication Year: 1995, Page(s):250 - 259
    Cited by:  Papers (10)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    Introduces a hypermedia tool for requirements elicitation meetings. We consider such a meeting to be a consensus-making process among the participants, who have their own roles. Participants in the meeting usually repeat the following activities to reach the final specification: (a) preparing the agenda and/or final specification for the next meeting while referring both to their own memory and th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CASE technologies created in Japan

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

    Looks at CASE technologies originating an Japan and presents some selected ones to an international audience. Japanese computer manufacturers' CASE products have been evolving. These are examined first, summarizing their characteristics. Then, true “upper CASE” products, together with one new development methodology, which have been developed by independent software vendors, are review... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolution is essential for software tool development

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

    Examines the problems encountered in evolving software development tools, in particular, configuration management tools, drawing on our experience in producing the DaSC configuration management toolset. Building good software development tools is a time-consuming, iterative process where the tool designers must take into account the evolving nature of the software development process embodied in t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Domain modeling for software reuse and evolution

    Publication Year: 1995, Page(s):162 - 171
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (812 KB)

    This paper describes a prototype domain modeling environment used to demonstrate the concepts of reuse of software requirements and software architectures. The environment, which is application-domain independent, is used to support the development of domain models and to generate target system specifications from them. The prototype environment consists of an integrated set of commercial-off-the-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic identification of reusable components

    Publication Year: 1995, Page(s):80 - 87
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    A model for the effective reuse of components from previous software developments is presented. The model has been implemented in a software system which makes use of software measures to assess the reusability of a given component. The results obtained by the system were then benchmarked against the performance of experienced software developers in terms of recognizing reusable components. The in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer-aided sub-processes (CASPs): a practical approach to the use of CASE technology to support process improvement

    Publication Year: 1995, Page(s):20 - 28
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    To improve software engineering practice some people advocate a process improvement approach, while others promote increased use of tools and technology. This paper discusses the relationship between a process-oriented and technology-oriented approach to software improvement. The notion of a computer-aided sub-process (CASP) is advanced as a way of reconciling these views. The CASP approach is des... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FAES: a CASE tool for information acquisition

    Publication Year: 1995, Page(s):260 - 269
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    It has become a trend that new CASE based tools be more focused. FAES is such a case. It assists the software engineer in the interview process during an information systems' requirements phase. FAES inherited important concepts from the IS literature and embodies them in a conceptual model that drives the interview process. Special heuristics associated with the conceptual model were proposed and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A comparison of the results of two surveys on software development and the role of CASE in the UK

    Publication Year: 1995, Page(s):234 - 238
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (380 KB)

    The use of CASE and structured methods continues to evolve. This paper examines the extent to which this is reflected in the update of both technologies within the UK. To do this, a comparison is made between the results obtained from a survey carried out in 1990 and a second carried out in 1994. The issues discussed include the use of methods, the use of CASE, tool support for methods, and users'... View full abstract»

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

    Publication Year: 1995, Page(s):206 - 214
    Cited by:  Papers (3)  |  Patents (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (760 KB)

    Describes a tool for debugging programs which have been developed using evolutionary software techniques. The tool enhances the traditional debugging approach by automating the comparison of data structures between two running programs. Using this technique, it is possible to use early versions of a program which are known to operate correctly to generate values for comparison with the new program... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A computer-based process handbook for a systems engineering business

    Publication Year: 1995, Page(s):172 - 181
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    This paper outlines a way of using a computer-based handbook for the dissemination of company and project knowledge which alleviates the problems of paper-based procedure manuals. An online facility, a handbook, is created to allow instant access to up-to-date information about a company and the way it operates. The data is organised using a series of models built using the Boardman Soft Systems M... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Providing support for process model enaction in the Metaview metasystem

    Publication Year: 1995, Page(s):141 - 149
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (808 KB)

    Process modeling is a means of formally defining many aspects of the software development process through the use of models. Partial automation of a process model can help to improve the software process. Menial or tedious tasks, such as collecting metrics, no longer have to be the responsibility of the developer. Coordination of effort can also be enhanced through automation. Automation can be ac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based reuse repositories-concepts and experience

    Publication Year: 1995, Page(s):60 - 69
    Cited by:  Patents (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (792 KB)

    Reuse repositories provide a wide range of assets that software engineers can use in developing systems to reduce the need for continual development of components that provide the same functionality. Most current reuse repositories are component based; they provide a catalogue of software components categorized by some scheme. An alternative to the component based repository is the model based rep... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An evaluation of object-oriented CASE tools: the Newbridge experience

    Publication Year: 1995, Page(s):4 - 9
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    We evaluated a large number of object-oriented CASE tools, concentrating on 14 that seemed particularly interesting. Our primary evaluation criterion was the degree of automatic code generation, but we also considered custom document generation, ease of use, consistency checking, and other factors. We found that, although many tools claim to do automatic code and document generation, very few actu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The development of Phedias: a CASE shell

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

    The paper describes the development of Phedias, a CASE shell, whose design objectives include ease of use and portability. Phedias supports method specification and CASE tools (in the form of graphical editors) generation. Within Phedias, a method is specified both conceptually and presentationally. The former is based on the metamodelling principle and by means of a graphical editor whose buildin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CACE+CASE= better reuse of mechatronic software

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

    Mechatronic products are automated machines that incorporate electronic control systems. Because most mechatronic products are modular, their control systems usually consist of a network of intelligent actuators supervised by embedded microcontrollers. In this paper we discuss real-life experiences in the development of components for mechatronic products. The components were successfully develope... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Understanding frameworks by exploration of exemplars

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

    A framework is designed to cover a family of applications or subsystems in a given domain and is typically delivered as a collection of interdependent abstract classes, together with their concrete subclasses. The abstract classes and their interdependencies describe the architecture of the framework. Developing a new application reusing classes of a framework requires a thorough understanding of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture specification support for component integration

    Publication Year: 1995, Page(s):30 - 39
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1004 KB)

    The paper describes an approach to automating the construction of software systems from components. We illustrate how integration-related concerns such as component interfacing, interconnection, distribution and configuration can be modeled with a specification language. We also show how a graphics-based design environment can be used to support visual specification and transformation of integrati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated environment for communication software design

    Publication Year: 1995, Page(s):270 - 278
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    In communication software design, it is important to describe the specification efficiently without any errors or ambiguity. For this purpose, several formal description techniques have been proposed to ensure rigorous specifications. In addition, it is necessary to facilitate the generation of highly reliable specification by using a computer, namely by application of CASE tools. We propose an in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A review of tool support for software inspection

    Publication Year: 1995, Page(s):340 - 349
    Cited by:  Papers (7)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (876 KB)

    Inspection is widely believed to be the most cost-effective method for detecting defects in documents produced during the software development lifecycle. However, it is by its very nature a labour intensive process. This has led to work on computer support for the process which should increase the efficiency and effectiveness beyond what is currently possible with a solely manual process. In this ... View full abstract»

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