Proceedings of 1st Asia-Pacific Software Engineering Conference

7-9 Dec 1994

Filter Results

Displaying Results 1 - 25 of 45
  • Object-oriented analysis and design support system using algebraic specification techniques

    Publication Year: 1994, Page(s):388 - 397
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    Although many CASE tools for object-oriented methods (OO-CASE tools) have been proposed, few, if any, can verify that the constructed analysis and design models actually match the requirements of the system being developed. In order to realize this kind of verification, we propose a software development method amalgamating OO-CASE tools and algebraic specification techniques. We are developing an ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A hybrid program knowledge base for static program analyzers

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

    Static program analyzers (SPA) are interactive tools that enhance program understanding by answering queries about programs. An SPA extracts relevant information from input programs and stores it in a program knowledge base (PKB). In this paper, we present a hybrid PKB design model that integrates a relational database with attributed syntax trees. In the hybrid PKB, global properties of programs ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying object-oriented construction to fault tolerant systems

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

    This paper investigates the application of object-oriented construction to fault tolerant systems. The resulting system provides traditional fault tolerance within objects, but also a new form of fault tolerance between objects: object diversity. Object diversity extends current practice by integrating diversity in two directions: data and algorithm. This resulting form will allow increased divers... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The GOODSTEP project: general object-oriented database for software engineering processes

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

    The goal of the GOODSTEP project is to enhance and improve the functionality of a fully object-oriented database management system to yield a platform suited for applications such as software development environments (SDEs). The baseline of the project is the O2 database management system (DBMS). The O2 DBMS already includes many of the features regulated by SDEs. The project... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An adaptive user navigation mechanism and its evaluation

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

    Recently, there have been many online help systems that provide usage explanations for applications. However, it is difficult to find out necessary information in help contents and to understand how to obtain complete information. A navigation mechanism which can provide a user with essential information and guide the user so that he can achieve intended actions is indispensable. In this paper, we... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis and enactment of a distributed software process model: the AttNet model

    Publication Year: 1994, Page(s):278 - 286
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (620 KB)

    Process modeling has become increasingly attractive in the software engineering community. In process modeling, the enactment of software process model is a dominant theme. In order to correctly and smoothly enact the software process model, it is necessary to detect the inconsistencies contained in the software process model early, before the software process model is instantiated to actual enact... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Cogito methodology and system

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

    Cogito I is the first iteration of a Z-based integrated development methodology and support system for formal software development. This paper gives an overview of the Cogito methodology and associated tools. Particular emphasis is placed on the way in which Cogito integrates the various phases of the formal development process and provides comprehensive tool support for all phases of development ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Information Management System based on the entity-relationship model

    Publication Year: 1994, Page(s):420 - 427
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (428 KB)

    Provision of software information, which includes all kinds of documents produced during software development and maintenance, is helpful to developers or maintainers. In this paper, we describe a system, called the Software Information Management System (SIMS), for effective management of software information to support software development and maintenance. SIMS also provides a facility for a gro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting user-analyst interaction in functional requirements elicitation

    Publication Year: 1994, Page(s):114 - 123
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    A critical phase in the task of software engineering is represented by the elicitation of requirements from the users. The paper presents a cognitive approach to the elicitation of functional requirements of software systems founded on the modelling of the application domain. The framework outlined is grounded on an incremental process aimed at building a description of the real world, as perceive... View full abstract»

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

    Publication Year: 1994, Page(s):2 - 6
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB)

    I discuss several results of analysis related to software engineering. I show a result of analyzing research topics discussed in the software engineering community in the last two decades. I introduce an analytical result on important issues in the future and discuss the software gap between Japan and US View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Developing distributed applications by semantics-based automatic replication

    Publication Year: 1994, Page(s):40 - 49
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (700 KB)

    A new method for developing some types of distributed applications is presented. The main idea is to provide a generic tool by which a non-distributed service object can be developed into a replicated service object automatically, to provide the corresponding distributed service. A service object implements some abstract data types that can be accessed only by invoking the operations exported in i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proprietary vs. “open systems” options in the construction of knowledge-based software reengineering environments

    Publication Year: 1994, Page(s):60 - 69
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    The quality of software reengineering tools depends on that of the generic environments used in their construction. Some existing quality reengineering environments, such as the Software Refinery, go a long way to satisfying their particular design criteria, but fail to meet general open systems criteria. One remedial approach is to recreate some of the functionality of these environments by modif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process-sensitive software engineering environments: an object-oriented view

    Publication Year: 1994, Page(s):287 - 295
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    An object-oriented model is proposed, designed as a collection of layered components, for process-sensitive software engineering environments (PSEEs). In the model, three types of object (process objects, entity objects and service objects) are identified to abstract and reflect the behaviour in different aspects of a PSEE. An overview of object interaction patterns, which reflects and captures th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Cogito Repository Manager

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

    This paper describes the Cogito Repository Manager. The motivation behind, and structure of, the repository manager are presented in detail. Issues surrounding version and configuration management are also discussed. The way in which process modeling, configuration and version control, and tool integration are combined into a single framework is outlined. An example population which instantiates t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guiding the requirements engineering process

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

    Despite a constant improvement in automation in CASE environments, the level of guidance provided to developers is still low, especially in the early phases of information systems engineering. We argue in this paper that a more effective guidance to requirements engineers can be based on a process meta-model which allows us to deal with a large variety of situations in a flexible, decision-oriente... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic evolution of distributed systems specifications using reflective language

    Publication Year: 1994, Page(s):208 - 219
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (992 KB)

    The object-oriented approach is known by its flexibility for system construction. Current work has not addressed the dynamic modifications of specifications of distributed systems. We are concerned with formal description techniques that allow for the development and the dynamic modification of executable specifications. A two level model for the evolution of large object-oriented specifications i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ordered sequence testing criteria for concurrent programs and the support tool

    Publication Year: 1994, Page(s):236 - 245
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    Testing of programs is important to increase the reliability of programs. Coverage is a ratio of the number of worked test events to all test events, and it is used as a metric of testing sufficiency and reliability. The test events are defined by a testing criterion. Some testing criteria are proposed for evaluating testing sufficiency of sequential programs. However, the criteria are inadequate ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prescriptive metrics for software quality assurance

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

    Most current software metrics tend to be descriptive with weak prescriptive power; they are not rigid enough to support a successful engineering task as hardware metrics do. We propose the concept of software prescriptive metrics, which set up specific goals to achieve, and thus facilitate, quality control tasks. A general derivation procedure has been developed and applied to derive prescriptive ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An analysis of the effects and evaluation of upper CASE tools for embedded microprocessors in Japan and the US

    Publication Year: 1994, Page(s):308 - 316
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    We have much difficulty in developing good software efficiently for embedded microprocessors (MPs) because of insufficient requirements analysis and incomplete product specification. To improve the situation, we often consider adopting an upper CASE tool. However, it is not clear that an upper CASE tool is effective in developing software for embedded MPs. We researched the software development en... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated class testing: methods and experience

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

    In contrast to the explosion of activity in object-oriented design and programming, little attention has been given to object testing. In our approach, a driver class and an oracle class are developed for each class-under-test (CUT). The driver class is based on a test-graph which partially models the CUT as a state machine, but with vastly fewer states and transitions. The oracle class provides e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model-based MICOM application software development method

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

    Most electronics products have an embedded MICOM (MIcro COMputer) in which a control program runs. These programs, called microprograms, have usually been developed by electronics engineers in an ad hoc way. Severe competition among electronics companies, however, has forced them to adopt a systematic, engineering method. A model-based software engineering approach is developed in this paper to im... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • When to inherit and when not to

    Publication Year: 1994, Page(s):378 - 387
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    In object-oriented software development, it is generally accepted that inheritance should be used just to model a generalization/specialization relationship (i.e. an IS-A relation). This analysis/design guideline is too permissive. Some researchers thus advocate that a subclass should inherit the full a behavior of its superclass. Behavior inheritance, however, is far too restricted. In this paper... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering: a review and research agenda

    Publication Year: 1994, Page(s):10 - 19
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (764 KB)

    This paper reviews the area of requirements engineering. It outlines the key concerns to which attention should be devoted by both practitioners, who wish to “reengineer” their development processes, and academics, seeking intellectual challenges. It presents an assessment of the state-of-the-art and draws conclusions in the form of a research agenda View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Producing and managing software objects in the process programming environment OPM

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

    The paper reports on experience in applying the process programming environment OPM to the production and management processes of software objects. There are tools and environments that support software production and management processes. Process programs may interact with these tools and/or environments to produce and manipulate software objects. However, it is not always the case that the softw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal definitions of behavioural compatibility for active and passive objects

    Publication Year: 1994, Page(s):336 - 344
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    The modular refinement of object-oriented specifications requires a sound theory of behavioural compatibility of classes. Such a theory will depend on the way in which objects of a class interact with their environment. This paper defines two notions of behavioural compatibility. Observational compatibility is relevant when an active object is placed within a passive environment and operational co... View full abstract»

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