Scheduled System Maintenance
On Friday, October 20, IEEE Xplore will be unavailable from 9:00 PM-midnight ET. We apologize for the inconvenience.
Notice: There is currently an issue with the citation download feature. Learn more.

Proceedings of 1st Asia-Pacific Software Engineering Conference

7-9 Dec 1994

Filter Results

Displaying Results 1 - 25 of 45
  • 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 (628 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.
  • Constraint-centered descriptions for automated tool invocation

    Publication Year: 1994, Page(s):92 - 101
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB)

    One dominant approach to automate tool invocation in software development environments (SDEs) is to describe software development processes (SDPs) in terms of when and how to invoke tools. However, this causes difficulties in writing and understanding such descriptions. In contrast to this traditional approach (we refer to such descriptions as activity-centered descriptions), it is possible to des... 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.
  • 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.
  • 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 (508 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.
  • 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.
  • 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.
  • 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.
  • 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 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.
  • 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 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.
  • 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.
  • 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 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.
  • A mapping system from Object-Z to C++

    Publication Year: 1994, Page(s):220 - 228
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 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.
  • 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.
  • A knowledge-based approach to regression testing

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

    This paper describes a frame-based reasoning mechanism and its implementation for regression testing. It describes a prototype rule set for data flow-based retesting to illustrate how the knowledge-based system can be used to support a particular retesting strategy. The key function of the mechanism is to deduce and maintain the reusability of test cases. The system is based on frames and a truth ... 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.
  • 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.
  • 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.
  • Reachability testing: an approach to testing concurrent software

    Publication Year: 1994, Page(s):246 - 255
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 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.
  • 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.
  • 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.
  • 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.