Proceedings of 1st Asia-Pacific Software Engineering Conference

7-9 Dec. 1994

Filter Results

Displaying Results 1 - 25 of 45
  • 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 (569 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.
  • 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 (449 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.
  • 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 (687 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.
  • 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 (498 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.
  • 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 (941 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 O/sub 2/ database management system (DBMS). The O/sub 2/ DBMS already includes many of the features regulated by SDEs. The project has ident... 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 (795 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.
  • 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 (828 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.
  • 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 (894 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.
  • 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 (790 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.
  • 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 (843 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.
  • 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 (746 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.
  • 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 (824 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.
  • PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints

    Publication Year: 1994, Page(s):328 - 335
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (591 KB)

    Areas of computer application are being broadened rapidly due to the rapid improvement of the performance of computer hardware. This results in increased demands for computer applications that are large and have complex temporal characteristics. This paper introduces a real-time systems analysis method named PARTS. PARTS supports analyses from two viewpoints: external viewpoint, a view of the syst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scalability for graph based CASE tools

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

    Software engineering is particularly concerned with the construction of large systems. Existing software engineering tools tend to be adequate for medium size systems, but not as useful for large and very large systems. This paper presents a model viewing system as the basis for graph based CASE tools which overcomes this lack of scalability. With existing commercial tools the number of user steps... 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 (611 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.
  • Generating data access programs from PCTE schemas with constraints

    Publication Year: 1994, Page(s):298 - 307
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (818 KB)

    Presents how we developed a tool for generating data access programs from PCTE data schemas. We propose first an extended PCTE data model which allows constraints to be explicitly described between values of the data types. Our program generator analyzes this data model, which we call the constrained SDS (schema definition set), and generates a C++ library. A class of C++ is generated from each ob... 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 (784 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.
  • 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 (717 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.
  • 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 (894 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.
  • 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 (778 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.
  • Reachability testing: an approach to testing concurrent software

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

    Concurrent programs are more difficult to test than sequential programs because of nondeterministic behavior. An execution of a concurrent program nondeterministically exercises a sequence of synchronization events, called a synchronization sequence (or SYN-sequence). Nondeterministic testing of a concurrent program P is to execute P with a given input many times in order to exercise distinct SYN-... 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 (716 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.
  • Reversing concurrent systems into formal specifications

    Publication Year: 1994, Page(s):229 - 234
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (491 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 mapping system from Object-Z to C++

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

    Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. The paper introduces and discusses a structural mapping system from Object-Z to the programming language C++, and reports on its implementation on Unix. The structural mapping translates an Object-Z specification consisting of classes into class interfaces of C++ such as data me... 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 (1151 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.