Proceedings of 16th International Conference on Software Engineering

16-21 May 1994

Filter Results

Displaying Results 1 - 25 of 45
  • Proceedings of 16th International Conference on Software Engineering

    Publication Year: 1994
    Request permission for commercial reuse | PDF file iconPDF (438 KB)
    Freely Available from IEEE
  • Software engineering and artificial intelligence

    Publication Year: 1994, Page(s):353 - 354
    Request permission for commercial reuse | PDF file iconPDF (112 KB)
    Freely Available from IEEE
  • Workshop on the intersection between databases and software engineeering

    Publication Year: 1994, Page(s): 355
    Cited by:  Papers (1)
    Request permission for commercial reuse | PDF file iconPDF (59 KB)
    Freely Available from IEEE
  • A process for hitting paydirt

    Publication Year: 1994, Page(s): 369
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (110 KB)

    The fundamentals of software engineering lie in establishing and controlling a process that gives engineers time to execute their skills and allows them to maintain project coordination. When these fundamentals are weak software development resembles thrashing, with the customer receiving the worst of it. Tools and design methods were not designed to solve these problems. Without a fundamentally s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A programmer performance measure based on programmer state transitions in testing and debugging process

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

    To organize and manage software development teams, it as important to evaluate the capability of each programmer based on reliable and easily collected data. We present a system which automatically monitors programmer activities, and propose a programmer debugging performance measure based on data monitored by the system. The system automatically categorizes programmer activity in real time into t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An instrumented approach to improving software quality through formal technical review

    Publication Year: 1994, Page(s):113 - 122
    Cited by:  Papers (17)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (760 KB)

    Formal technical review (FTR) is an essential component of all software quality assessment, assurance and improvement techniques. However, current FTR practice leads to significant expense, clerical overhead, group process obstacles, and research methodology problems. CSRS is an instrumented, computer-supported cooperative work environment for formal technical review. CSRS addresses problems in th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Workshop on software engineering and computer-human interaction: joint research issues

    Publication Year: 1994, Page(s):356 - 357
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (168 KB)

    Software engineering and computer-human interaction have much to do with each other, but their respective research communities typically have little interaction. The purpose of the article is to explore the intersections of these areas, determining what each community has to offer the other as well as to identify and address open problems of mutual interest. Topics of discussion were drawn from th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experiment to assess different defect detection methods for software requirements inspections

    Publication Year: 1994, Page(s):103 - 112
    Cited by:  Papers (45)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    Software requirements specifications (SRS) are usually validated by inspections, in which several reviewers read all or part of the specification and search for defects. We hypothesize that different methods for conducting these searches may have significantly different rates of success. Using a controlled experiment, we show that a scenario-based detection method, in which each reviewer executes ... View full abstract»

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

    Publication Year: 1994, Page(s):223 - 227
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    Formal approaches to software specification and development have been a topic of active research for a long time. There now exists an important corpus of knowledge and results in this domain. There is more and more interest in the industrial applications of these techniques, even if it is generally observed that transfer is difficult in this area. The article surveys formal specification technique... View full abstract»

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

    Publication Year: 1994
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (96 KB)

    The author advocates the use of a separate and explicit structural language to describe software architectures. The structural nature makes it amenable to both textual and graphical description. Since it is a language, it can be used to support general descriptions and to provide the framework for checking interconnections. In addition, it can be used to generate and manage the system itself. This... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The SMART approach for software process engineering

    Publication Year: 1994, Page(s):341 - 350
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (744 KB)

    Describes a methodology for software process engineering and an environment, SMART, that supports it. SMART supports a process life-cycle that includes the modeling, analysis, and execution of software processes. SMART's process monitoring capabilities can be used to provide feedback from the process execution to the process model. SMART represents the integration of three separately developed pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Storing and retrieving software components: a refinement based system

    Publication Year: 1994, Page(s):91 - 100
    Cited by:  Papers (24)  |  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (848 KB)

    Software reuse poses a number of challenges, ranging from managerial to technical - not least of these is the problem of storing and retrieving software components in a time efficient manner. This paper presents the design and implementation of an automated software repository, where software components can be automatically stored and retrieved. This repository is based on a formal representation ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software reuse - facts and myths

    Publication Year: 1994, Page(s):267 - 268
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (156 KB)

    The concept of systematic software reuse is simple: the idea of building and using “software preferred parts.” By building systems out of carefully designed, pre-tested components, one will save the cost of designing, writing and testing new code. The practice of reuse has not proven to be this simple however, and there are many misconceptions about how to implement and gain benefit fr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TESTTUBE: a system for selective regression testing

    Publication Year: 1994, Page(s):211 - 220
    Cited by:  Papers (80)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (832 KB)

    The paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBE first identifies which functions, types, variables and macros are covered by each test unit in a test suite. Each time the system under test is modified, TESTTUBE identifies which entities were changed to create the new version. Using the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software architectures: critical success factors and cost drivers

    Publication Year: 1994
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    Some useful perspectives on the potential and the pitfalls of software architecture investments can be gained via analysis of software architecture critical success factors and their associated cost and benefit drivers. Basically, the potential of software architecture investments comes from appropriately identifying and exploiting positive cost-benefit relationships. The pitfalls come from neglec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What small businesses and small organizations say about the CMM

    Publication Year: 1994, Page(s):331 - 340
    Cited by:  Papers (28)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    The US Air Force sponsored research within the Department of Defense software development community to determine the applicability of the Software Engineering Institute's capability maturity model (CMM) for software to small businesses and small software organizations. The research found that small businesses are faced not only with a lack of resources and funds required to implement many of the p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SAAM: a method for analyzing the properties of software architectures

    Publication Year: 1994, Page(s):81 - 90
    Cited by:  Papers (138)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (832 KB)

    While software architecture has become an increasingly important research topic in recent years, insufficient attention has been paid to methods for evaluation of these architectures. Evaluating architectures is difficult for two main reasons. First, there is no common language used to describe different architectures. Second, there is no clear way of understanding an architecture with respect to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated method for effective behaviour analysis of distributed systems

    Publication Year: 1994, Page(s):309 - 320
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (956 KB)

    Behavioural analysis is a valuable aid for the design and maintenance of well-behaved distributed systems. Dataflow and reachability analyses are two orthogonal, but complementary, behavioural analysis techniques. Individually, each of these techniques may be inadequate for the analysis of large-scale distributed systems. On the one hand, dataflow analysis algorithms, while tractable, may not be s... View full abstract»

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

    Publication Year: 1994, Page(s):59 - 67
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    There are many graphical techniques for visualizing software. Unfortunately, the current techniques do not scale to display large software systems and are largely unused. We present a method for visualizing statistics associated with code that is divided hierarchically into subsystems, directories, and files. Using this technique, we can display the relative sizes of the components in the system, ... View full abstract»

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

    Publication Year: 1994, Page(s):253 - 263
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (980 KB)

    The term “distributed software engineering” is ambiguous. It includes both the engineering of distributed software and the process of distributed development of software, such as cooperative work. This paper concentrates on the former, giving an indication of the special needs and rewards in distributed computing. In essence, we argue that the structure of these systems as interacting ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software reuse myths revisited

    Publication Year: 1994, Page(s):271 - 272
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB)

    In ACM Software Engineering Notices, vol. 13, no. 1, pp. 17-21 (1988), the author published the paper “Software reuse myths”. This paper comments on these “myths” in the light of recent technology advances: (1) software reuse is a technical problem; (2) special tools are needed for software reuse; (3) reusing code results in huge increases in productivity; (4) artificial in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A periodic object model for real-time systems

    Publication Year: 1994, Page(s):291 - 300
    Cited by:  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (784 KB)

    Time-sensitive objects (TSO), a data-oriented model for real-time systems, impose timing constraints on object values using validity intervals and object histories. Periodic objects, a class of objects within the TSO model, are described in detail and compared with more traditional periodic processes. Advantages of periodic objects are identified, including greater scheduling independence of proce... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for evaluating regression test selection techniques

    Publication Year: 1994, Page(s):201 - 210
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (852 KB)

    Regression testing is a necessary but expensive activity aimed at showing that code has not been adversely affected by changes. A selective approach to regression testing attempts to reuse tests from an existing test suite to test a modified program. This paper outlines issues relevant to selective retest approaches, and presents a framework within which such approaches can be evaluated. This fram... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software process description using LOTOS and its enaction

    Publication Year: 1994, Page(s):169 - 178
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (852 KB)

    Software processes can be treated as cooperative works among several engineers. In order to enact a software process in a distributed environment, the engineers must communicate with each other for exchanging data values and synchronization messages. Such communications should be described in a process description for enacting the process automatically and clarifying the engineers' work. Since the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comprehension processes during large scale maintenance

    Publication Year: 1994, Page(s):39 - 48
    Cited by:  Papers (35)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (788 KB)

    We present results of observing professional maintenance engineers working with industrial code at actual maintenance tasks. Protocol analysis is used to explore how code understanding might differ for small versus large scale code. The experiment confirms that cognition processes work at all levels of abstraction simultaneously as programmers build a mental model of the code. Cognition processes ... View full abstract»

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