By Topic

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
  • 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.
  • Lessons from using Basic LOTOS

    Publication Year: 1994, Page(s):5 - 14
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    We describe three case studies in the use of Basic LOTOS for electronic switching systems software. The studies cover design recovery, requirements specification, and design activities. We also report lessons learned from the studies. Early lessons suggested changes to the syntax of the language used, and the need for some specific analysis tools. The last case study reports some of the results of... 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.
  • SAAM: a method for analyzing the properties of software architectures

    Publication Year: 1994, Page(s):81 - 90
    Cited by:  Papers (132)
    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.
  • On formal requirements modeling languages: RML revisited

    Publication Year: 1994, Page(s):135 - 147
    Cited by:  Papers (40)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1360 KB)

    Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the time it was first proposed at the Sixth International Conference on Software Engineering (ICSE-6) to the present - ten ICSEs later. We note that the central theme of “Capturing More World Knowledge” in the origin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the inference of configuration structures from source code

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

    We apply mathematical concept analysis to the problem of inferring configuration structures from existing source code. Concept analysis has been developed by German mathematicians over the last years; it can be seen as a discrete analogon to Fourier analysis. Based on this theory, our tool will accept source code, where configuration-specific statements are controlled by the preprocessor. The algo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software process improvement experience in the DP/MIS function

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

    This experience report outlines Corning Inc.'s experience in successfully using software process assessment as part of their Information Service Division's software process improvement program. Improvement actions executed as indicated and prioritized by our self-assessment findings resulted in largely eliminating the cost and schedule overruns on projects in ISD's Systems Engineering Group. This ... 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.
  • Automated construction of testing and analysis tools

    Publication Year: 1994, Page(s):241 - 250
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (952 KB)

    Many software testing and analyse's tools manipulate graph representations of programs, such as abstract syntax trees or abstract semantics graphs. Hand-crafting such tools in conventional programming languages can be difficult, error prone, and time consuming. Our approach is to use application generators targeted for the domain of graph-representation-based testing and analysis tools. Moreover, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Understanding “why” in software process modelling, analysis, and design

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

    In trying to understand and redesign software processes, it is often necessary to have an understanding of the “whys” that underlie the “whats” - the motivations, intents, and rationales behind the activities and input-output flows. This paper presents a model which captures the intentional structure of a software process and its embedding organization, in terms of dependen... View full abstract»

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

    Publication Year: 1994, Page(s):71 - 80
    Cited by:  Papers (110)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (784 KB)

    As software systems become more complex the overall system structure - or software architecture - becomes a central design problem. An important step towards an engineering discipline of software is a formal basis for describing and analyzing these designs. We present a theory for one aspect of architectural description, the interactions between components. The key idea is to define architectural ... 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.
  • Software aging

    Publication Year: 1994, Page(s):279 - 287
    Cited by:  Papers (241)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    Programs, like people, get old. We can't prevent aging, but we can understand its causes, take steps to limits its effects, temporarily reverse some of the damage it has caused, and prepare for the day when the software is no longer viable. A sign that the software engineering profession has matured will be that we lose our preoccupation with the first release and focus on the long-term health of ... 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.
  • Comprehension processes during large scale maintenance

    Publication Year: 1994, Page(s):39 - 48
    Cited by:  Papers (33)
    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.
  • 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.
  • 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.
  • Workshop on the intersection between databases and software engineeering

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

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software architecture: practice, potential, and pitfalls

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

    Whatever the long-term impact of software architecture may turn out to be, an appropriate starting point is a concrete appraisal of the current state of the practice in the use of software architecture. It is the purpose of the article to take a step in this direction. It provides concrete examples of what is now possible when architectural principles are applied to industrial problems in systemat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The role of testing methodologies in open systems standards

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

    This paper describes the lifecycle role of a conformance testing research facility in the open systems standards environment. This facility, the Clemson Automated Testing System (CATS), has demonstrated the value of integrating formalized test methods within all phases of standards development. IEEE's effort to develop a standard for operating systems interfaces (POSIX) has provided a working envi... 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.
  • A formal approach to determining parallel resource bindings

    Publication Year: 1994, Page(s):15 - 22
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB)

    The paper investigates the nature of the design process for parallel operating systems. It proposes a temporal logic-based formal methodology addressing the high-level design of such systems. In operating systems design, much use is made of the informal notion of resource bindings. A way of improving the high-level design of parallel systems is proposed by providing a formal language for enumerati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering education: a place in the sun?

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

    Virtually every research specialisation in software engineering would be prepared to claim that its particular concern is the most important in the field. The author wishes to claim such a status for software engineering education, a specialisation barely regarded as respectable among the majority of researchers. What are the grounds for this claim? Virtually all the technologies which we believe ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Nico Habermann's research: a brief retrospective

    Publication Year: 1994, Page(s):149 - 153
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    The last decade and a half of Nico Habermann's research career focused on software engineering, and in particular on software development environments. His earlier work was oriented more towards operating systems and programming language research. We take this opportunity to look back at his research, putting it in a larger perspective, identifying some general themes that characterize his contrib... View full abstract»

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