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
  • Modeling N-ary data relationships in CASE environments

    Publication Year: 1995, Page(s):132 - 140
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    An extended approach is presented for modeling data relationships that involve multiple entities. This approach unifies the different relationship cardinality values defined by existing approaches into a common framework and extends the types of values captured. A concise tabular notation for specifying such values is introduced. The result is a modeling technique that captures more completely the... 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.
  • 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.
  • 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.
  • Systems engineering and software engineering, contrasts and synergism

    Publication Year: 1995, Page(s):186 - 193
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    Systems engineers and software engineers work together in the development of modern complex systems. The two engineering cultures, their concepts and their best practices have developed independently over four decades. Notations and naming conventions for the same things are often different. Yet the efficient exchange of engineering information and wisdom between the two professions is important t... 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.
  • 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.
  • MCASE: model-based CASE

    Publication Year: 1995, Page(s):152 - 161
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (844 KB)

    MCASE is an approach to software development which emphasizes the use of operational models throughout the life cycle. Software development consists, therefore, in building, testing and refining models within a seamless process that leads the analyst/developer from analysis to design and finally do the implementation of the system. MCASE is made up of two modeling languages, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enveloping sophisticated tools into computer-aided software engineering environments

    Publication Year: 1995, Page(s):40 - 48
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (840 KB)

    We present a CASE-tool integration strategy based on enveloping pre-existing tools without source access or assuming an API or any other special capabilities on the part of the tool. This Black Box enveloping (or wrapping) idea has been around for a long time, but was previously restricted to relatively simple tools such as compilers. We describe the design and implementation of a new Black Box en... 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.
  • 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.
  • 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 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.
  • Supporting the domain lifecycle [CASE adoption]

    Publication Year: 1995, Page(s):10 - 19
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (872 KB)

    CASE tools are notorious for forcing organizations to adapt to a standard development methodology. The underlying assumption is that a universally applicable development method exists and it is up to the organization to conform to that method. But software development is no longer a homogeneous field. As computers are applied to an increasingly diverse set of applications, it is becoming increasin... 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.
  • 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.
  • ORBs in the midst: studying a new species of CASE integration mechanism

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

    The Common Object Request Broker (ORB) Architecture (CORBA) is generally described as foundational technology for achieving interoperability among applications on distributed, heterogeneous platforms. If widely adopted, CORBA may have a profound impact on the computer-aided software engineering (CASE) marketplace. However before advocating CORBA, it is important to establish realistic expectations... 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 computational architecture to support conceptual data model reuse by analogy

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

    Reuse within requirements specification has attracted great interest in recent years. Analogical retrieval is proposed as a way of reusing requirements specifications from different application domains. The paper presents a computational architecture to support analogical reuse in conceptual data modelling. The architecture synthesises analogical retrieval theories and results from empirical studi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology framework for the use of CASE-templates

    Publication Year: 1995, Page(s):100 - 109
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (812 KB)

    The two traditional approaches to the development of information systems have been “make or buy”. Recently, a hybrid third alternative has been emerging: the use of CASE templates. CASE templates are models of information systems acquired, used, and customised with the aid of CASE tools. This development strategy is characterised by the use of abstract models in all stages instead of p... 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.
  • A framework for prototyping and mechanically verifying a class of user interfaces

    Publication Year: 1995, Page(s):280 - 288
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    Increasing importance is being attached to the ability of ensuring that graphical user interfaces (GUIs) behave as expected, as they are being used in more applications where safety and security are critical. Prototyping is the preferred approach to creating GUIs because of the need to allow the user to test many of the issues associated with usability. Unfortunately it is often difficult to verif... 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.
  • Use of development methodology and CASE-tools in Norway: results from a survey

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

    Results are presented in the areas of the use of development methodology and CASE-tools within software development and maintenance, from a survey investigation performed in Norwegian organizations. The results are based on responses from 52 Norwegian organizations. The investigation indicates a larger proportion of new systems being developed as customized systems in larger organizations. The pre... View full abstract»

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