By Topic

Software Engineering Journal

Issue 1 • Date Jan. 1996

Filter Results

Displaying Results 1 - 5 of 5
  • Requirements engineering with viewpoints

    Publication Year: 1996, Page(s):5 - 18
    Cited by:  Papers (10)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1486 KB)

    The requirements engineering process involves a clear understanding of the requirements of the intended system. This includes the services required of the system, the system users, its environment and associated constraints. This process involves the capture, analysis and resolution of many ideas, perspectives and relationships at varying levels of detail. Requirements methods based on global reas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Problem decomposition for reuse

    Publication Year: 1996, Page(s):19 - 30
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1275 KB)

    An approach to software development problems is presented and illustrated by an example. The approach is based on the ideas of problem frames and structuring specifications by views. It is claimed that decompositions obtained by this approach result in a more effective separation of concerns, and that the resulting components are more likely to be reusable than those obtained by more conventional ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using ViewPoints for inconsistency management

    Publication Year: 1996, Page(s):31 - 43
    Cited by:  Papers (16)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1382 KB)

    Large-scale software development is an evolutionary process. In an evolving specification, multiple development participants often hold multiple inconsistent views on the system being developed, and considerable effort is spent handling recurrent inconsistencies. Detecting and resolving inconsistencies is only part of the problem; a resolved inconsistency might not stay resolved as a specification... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cross-viewpoint consistency in open distributed processing

    Publication Year: 1996, Page(s):44 - 57
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1619 KB)

    Discusses the use of viewpoints in the ODP (Open Distributed Processing) standardisation initiative. The ODP reference model is a new framework, going beyond OSI (Open Systems Interconnection). Multiple viewpoints are used to specify complex ODP systems. Consistency of viewpoint specifications is clearly a central issue, In addition, formal techniques have an increasingly significant role within O... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal validation of viewpoint specifications

    Publication Year: 1996, Page(s):58 - 66
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (837 KB)

    How can we be sure that a set of viewpoints is valid, in the sense that it is possible to build a system consistent with each and every one of them? Our approach is based on the idea of amalgamating the individual viewpoints into a single coherent whole. A formal study of this process leads to a proposed approach for combining viewpoints that identifies conditions under which the resulting specifi... View full abstract»

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