By Topic

Proceedings of 1st Asia-Pacific Software Engineering Conference

7-9 Dec 1994

Filter Results

Displaying Results 1 - 25 of 45
  • 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.
  • 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.
  • 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.
  • 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.
  • An approach to predict software maintenance cost based on ripple complexity

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

    Almost half of a software maintainer's time is spent trying to understand programs. This means that software maintenance cost prediction depends on software understandability. We have proposed ripple complexity as a means to predict program understandability. This paper describes an experiment to prove the usefulness of ripple complexity. The result of this experiment has shown that ripple complex... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 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.
  • Software process representation to support multiple views

    Publication Year: 1994, Page(s):197 - 205
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    Current interest in improving the effectiveness and predictability of software development has led to a recent focus on software process modeling and improvement. Process-centered software development environments (PCSDEs), have been examined as a useful adjunct to software process modeling. A number of PCSDEs have been designed and built; an examination of the range of potential users of such env... 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.
  • 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.
  • Optimal release policies for hyper-geometric distribution software reliability growth model with scheduled delivery time

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

    The hyper-geometric distribution model (HGDM) of software reliability growth has been used for estimating the number of initial faults in a software program. Another important problem in the software development process is to determine when to stop testing and release the software. In this paper, we investigate the optimal release policies minimizing the total expected software cost with a schedul... 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.
  • 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.
  • From the software process to software quality: BOOTSTRAP and ISO 9000

    Publication Year: 1994, Page(s):174 - 182
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB)

    The aim of the BOOTSTRAP project was to develop a method for software process assessment, quantitative measurement and improvement. BOOTSTRAP enhanced and refined the SEI method for software process assessment and adapted it to the needs of software producing units (SPUs) in the European software industry. BOOTSTRAP assesses both the SPU and the projects of the SPU with respect to policies and gui... 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.
  • Reversing concurrent systems into formal specifications

    Publication Year: 1994, Page(s):229 - 234
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB)

    Many distributed systems are developed in traditional artistic manner. They neither have formal specifications nor the implementation are able to be reasoned or formally verified. As the number and importance of distributed systems are growing rapidly, we expect that there will be a demand of reversing these distributed systems back to formal descriptions in order to verify its correctness or to d... View full abstract»

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

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

    We have conducted a survey of the state of software maintenance in Hong Kong, as the software industry in Hong Kong and south China is expanding. The survey instrument is derived from the previous work of Lientz and Swanson (1981) and Dekleva (1992). We sent out about 1000 questionnaires and received about 5% replies. Our results indicate that, in Hong Kong, about 66% of the total software life cy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object and domain policies specification

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

    An object-oriented rule-based software model has been proposed (Poo, 1993). In this paper, a development method for deriving the model is discussed. The technique and steps involved in the identification and specification of objects and domain policies, concepts and development approach of the method are discussed 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.
  • Fall-in C: a software tool for pitfall detection in C programs

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

    Programming language C has a flexible structure, and its compiler generates compact and efficient object codes. However slight bugs (pitfall) which cannot be detected by the compiler may cause a serious error in C programs. We are developing a software tool Fall-in C to detect such pitfalls. The paper demonstrates the basic features of Fall-in C. In order to enable a programmer to correct the dete... 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.
  • A sentential function mapping method for object-oriented analysis and design

    Publication Year: 1994, Page(s):368 - 377
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    Points out the problems of OOA/D methods concerning function decomposition, the assignment procedure and its description methods. We suggest a practical method, called SSDM (sentential system design method), as a solution for those problems. SSDM makes use of the preliminary outcomes of an OOA/D method. With those as inputs, we first prepare semantic diagrams, and then, for each system function, w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software documents, their relationships and properties

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

    One of the functionalities of software development environments is to maintain all the documents produced in the software development process. To facilitate the much needed traceability support for the software process, the representation of the software documents should capture not only the individual documents, but also their relationships and structural properties. We present an approach to the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • BOOTSTRAP: a software process assessment and improvement methodology

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

    The value of software process assessment and improvement has already been recognized for some time. Initiatives such as SEI or ISO 9001/9000-3 have selectively addressed the needs of software engineering community. BOOTSTRAP is an assessment and improvement methodology which addresses perhaps the widest sample of software producing organizations (SPUs). It offers integrated methods and tools for a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A TAHG model based software generator system

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

    Presents a timed attribute hypergraph grammar (TAHG) model-based software generator system. A TAHG model consists of a syntax definition, a semantic definition, and object definitions. In the syntax definition, a designer uses a parameterized context-free grammar, called a hypergraph grammar. In the semantic definition, the designer describes the dynamic behavior of target objects using a generali... 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.