By Topic

Proceedings of IEEE 18th International Conference on Software Engineering

25-30 March 1996

Filter Results

Displaying Results 1 - 25 of 55
  • Proceedings of IEEE 18th International Conference on Software Engineering

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (349 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (91 KB)
    Freely Available from IEEE
  • Beyond structured programming

    Publication Year: 1996, Page(s):268 - 277
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (844 KB)

    Structured programming principles are not strong enough to control complexity and guarantee high reliability of software at the module level. Stronger organizing principles and stronger properties of components are needed to make significant gains in the quality of software. Practical proposals, based on the definition of normal forms which have a mathematical/logical foundation, are suggested as ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Forcing behavioral subtyping through specification inheritance

    Publication Year: 1996, Page(s):258 - 267
    Cited by:  Papers (31)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (940 KB)

    A common change to object-oriented software is to add a new type of data that is a subtype of some existing type in the program. However, due to message passing, unchanged pearls of the program may now call operations of the new type. To avoid reverification of unchanged code, such operations should have specifications that are related to the specifications of the appropriate operations in their s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Executable object modeling with statecharts

    Publication Year: 1996, Page(s):246 - 257
    Cited by:  Papers (51)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1216 KB)

    This paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. The goal is for models to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object-oriented languages such as C++. At the heart of the modeling method is the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A systematic survey of CMM experience and results

    Publication Year: 1996, Page(s):323 - 330
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    The capability maturity model (CMM) for software has become very influential as a basis for software process improvement (SPI). Most of the evidence to date showing the results of these efforts has consisted of case studies. We present a systematic survey of organizations that have undertaken CMM-based SPI to get more representative results. We found evidence that process maturity is in fact assoc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A flexible architecture for building data flow analyzers

    Publication Year: 1996, Page(s):554 - 564
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1004 KB)

    Data flow analysis is a versatile technique that can be used to address a variety of analysis problems. Typically, data flow analyzers are hand-crafted to solve a particular analysis problem. The cost of constructing analyzers can be high and is a barrier to evaluating alternative analyzer designs. We describe an architecture that facilitates the rapid prototyping of data flow analyzers. With this... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GRIDS-GRaph-based, integrated development of software: integrating different perspectives of software engineering

    Publication Year: 1996, Page(s):48 - 59
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1088 KB)

    The paper presents a multi dimensional software engineering model, based on a formal graph specification. In contrast to other software engineering approaches, we concentrate on the integration of the “partial” models of software processes, system architectures and views onto the system into one consistent project framework, in order to enhance large scale software development. We firs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simplifying data integration: the design of the Desert software development environment

    Publication Year: 1996, Page(s):398 - 407
    Cited by:  Papers (14)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (976 KB)

    This paper describes the design and motivations behind the Desert environment. The Desert environment has been created to demonstrate that the facilities typically associated with expensive data integration can be provided inexpensively in an open framework. It uses three integration mechanisms: control integration, simple data integration based on fragments, and a common editor. It offers a varie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using KIDS as a tool support for VDM

    Publication Year: 1996, Page(s):236 - 245
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (992 KB)

    KIDS/VDM is an experimental environment that supports the synthesis of executable prototypes from VDM specifications. The development proceeds as a series of correctness preserving transformations under the strict control of the tool. A by-product of this development is the proof of consistency properties of the original specification. Experiments with the tool have shown its ability to handle ind... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generic, peer-to-peer repository for distributed configuration management

    Publication Year: 1996, Page(s):308 - 317
    Cited by:  Papers (12)  |  Patents (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (960 KB)

    Distributed configuration management is intended to support the activities of projects that span multiple sites. NUCM (Network-Unified Configuration Management) is a testbed that we are developing to help us explore the issues of distributed configuration management. NUCM separates configuration management repositories (i.e. the stores for versions of artifacts) from configuration management polic... View full abstract»

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

    Publication Year: 1996, Page(s):542 - 552
    Cited by:  Papers (32)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (984 KB)

    The paper presents results of a software engineering experiment in which a new technology for constructing program generators from domain-specific specification languages has been compared with a reuse technology that employs sets of reusable Ada program templates. Both technologies were applied to a common problem domain, constructing message translation and validation modules for military comman... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • OPSIS: a view mechanism for software processes which supports their evolution and reuse

    Publication Year: 1996, Page(s):38 - 47
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (908 KB)

    The paper describes Opsis, a view mechanism applied to graph based process modelling languages of type Petri net. A view is a sub model which can be mechanistically constructed from another model by application of a perspective which: identifies all parts of the original model that are contained in the submodel; identifies and transforms all parts that constitute the interface to other sub models;... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Monitoring compliance of a software system with its high-level design models

    Publication Year: 1996, Page(s):387 - 396
    Cited by:  Papers (41)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1104 KB)

    As a complex software system evolves, its implementation tends to diverge from the intended or documented design models. Such undesirable deviation makes the system hard to understand, modify and maintain. This paper presents a hybrid computer-assisted approach for confirming that the implementation of a system maintains its expected design models and rules. Our approach closely integrates logic-b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience assessing an architectural approach to large-scale systematic reuse

    Publication Year: 1996, Page(s):220 - 229
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (908 KB)

    Systematic reuse of large-scale software components promises rapid, low cost development of high-quality software through the straightforward integration of existing software assets. To date this promise remains largely unrealized, owing to technical, managerial, cultural, and legal barriers, One important technical barrier is architectural mismatch. Recently, several component integration archite... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Configuration management with logical structures

    Publication Year: 1996, Page(s):298 - 307
    Cited by:  Papers (12)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1224 KB)

    When designing software, programmers usually think in terms of modules that are represented as functions and classes, but using existing configuration management systems, programmers have to deal with versions and configurations that are organized by files and directories. This is inconvenient and error-prone, since there is a gap between handling source code and managing configurations. We presen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A specification-based adaptive test case generation strategy for open operating system standards

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

    The paper presents a specification based adaptive test case generation (SBATCG) method for integration testing in an open operating system standards environment. In the SBATCG method, templates describing abstract state transitions are derived from a model based specification, and the templates are refined to the internal structure of each implementation. We adopt the Z notation, one of the most w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cooperating evolving components- A rigorous approach to evolving large software systems

    Publication Year: 1996, Page(s):428 - 437
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (836 KB)

    Large software systems have a large number of components and are developed over a long time period frequently by a large number of people. We describe a framework approach to evolving such systems based on an integration of product and process modelling. The evolving system is represented as a Product Tower, a hierarchy of components which provides views of the product at multiple levels of refine... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multilanguage interoperability in distributed systems. Experience report

    Publication Year: 1996, Page(s):451 - 463
    Cited by:  Papers (6)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1188 KB)

    The Q system provides interoperability support for multilingual, heterogeneous component-based software systems. Initial development of Q began in 1988, and was driven by the very pragmatic need for a communication mechanism between a client program written in Ada and a server written in C. The initial design was driven by language features present in C, but not in Ada, or vice-versa. In time our ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • User interface prototyping-concepts, tools, and experience

    Publication Year: 1996, Page(s):532 - 541
    Cited by:  Papers (14)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (888 KB)

    In recent years the development of highly interactive software systems with graphical user interfaces has become increasingly common. The acceptance of such a system depends to a large degree on the quality of its user interface. Prototyping is an excellent means for generating ideas about how a user interface can be designed, and it helps to evaluate the quality of a solution at an early stage. W... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How to identify binary relations for domain models

    Publication Year: 1996, Page(s):28 - 36
    Cited by:  Papers (8)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (920 KB)

    Many approaches to requirements engineering include building a model of the domain. Those using entity relationship modeling or deriving from it employ the concept of relations between entities, but identifying the relations is still more of an art than science or engineering. We deal with this problem primarily in the context of object oriented analysis (OOA), where relations between object class... View full abstract»

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

    Publication Year: 1996, Page(s):495 - 505
    Cited by:  Papers (99)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1108 KB)

    Describes the construction of system dependence graphs for object-oriented software on which efficient slicing algorithms can be applied. We construct these system dependence graphs for individual classes, groups of interacting classes and complete object-oriented programs. For an incomplete system consisting of a single class or a number of interacting classes, we construct a procedure dependence... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System dynamics modeling of an inspection-based process

    Publication Year: 1996, Page(s):376 - 386
    Cited by:  Papers (12)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1016 KB)

    A dynamic simulation model of an inspection-based software lifecycle process has been developed to support quantitative process evaluation. The model serves to examine the effects of inspection practices on cost, scheduling and quality throughout the lifecycle. It uses system dynamics to model the interrelated flows of tasks, errors and personnel throughout different development phases and is cali... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Checking subsystem safety properties in compositional reachability analysis

    Publication Year: 1996, Page(s):144 - 154
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (856 KB)

    The software architecture of a distributed program can be represented by an hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional reachability analysis has been proposed as a promising automated method to derive the overall behavior of a distributed program in stages, based on its architecture. The method is particularly suitable for the a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System acquisition based on software product assessment

    Publication Year: 1996, Page(s):210 - 219
    Cited by:  Papers (33)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (960 KB)

    The procurement of complex software product involves many risks. To properly assess and manage those risks, Bell Canada has developed methods and tools that combine process capability assessment with a static analysis based software product assessment. This paper describes the software product assessment process that is part of our risk management approach. The process and the tools used to conduc... View full abstract»

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