By Topic

Software Engineering Journal

Issue 1 • Jan. 1993

Filter Results

Displaying Results 1 - 5 of 5
  • Shotgun correlations in software measures

    Publication Year: 1993, Page(s):5 - 13
    Cited by:  Papers (11)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (609 KB)

    Many software measures have been forwarded on the simple basis of a high linear correlation coefficient with some measurable quantities. The linear correlation coefficient is an unreliable statistic for deciding whether an observed correlation indicates significant association. Several published software measure experiments collected more than 20 different measurements, or have 14 or fewer observa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Task structure semantics through process algebra

    Publication Year: 1993, Page(s):14 - 20
    Cited by:  Papers (6)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (866 KB)

    The task structure diagramming technique can be used to graphically denote process specifications. In task structure diagrams, sequential execution, iteration, choice and parallelism can be expressed. Task structure diagrams are extended with a synchronisation mechanism and a formal semantics is given by means of a translation to process algebra. By using known techniques for proving equivalence o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test data adequacy measurement

    Publication Year: 1993, Page(s):21 - 29
    Cited by:  Papers (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (705 KB)

    Criteria for test data adequacy are rules for deciding when enough testing has been performed. Development of these criteria is an important objective of research in software testing. The abstract properties of adequacy criteria are investigated in a formal axiomatic style. Starting from work by Weyuker (1986, 1988) and Parrish and Zweben (1991), the authors define an adequacy criterion as a funct... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systems are not only software

    Publication Year: 1993, Page(s):31 - 39
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (896 KB)

    Hardware and software engineers are called upon to collaborate in building complex high-quality computer-based systems. The paper seeks to facilitate this collaboration by laying foundations for a 'common engineering culture'; a coherent, powerful structure of ideas central to system designers and procurers, with particular relevance to IT systems, hardware and software. The authors define and for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model for co-operative object-orientated programming

    Publication Year: 1993, Page(s):41 - 48
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (929 KB)

    The authors describe an abstract model for the development of object-oriented software in a context where several programmers work together as a team. They introduce the different levels that compose the model, mapping its concepts and tools to existing systems whenever possible. The goal is to design an environment for cooperative programming that deals specifically with the needs of developers u... View full abstract»

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