By Topic

Proceedings 1995 Asia Pacific Software Engineering Conference

6-9 Dec. 1995

Filter Results

Displaying Results 1 - 25 of 61
  • Proceedings 1995 Asia Pacific Software Engineering Conference

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (545 KB)
    Freely Available from IEEE
  • Panel on Software Process Improvement Paradigms

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (104 KB)
    Freely Available from IEEE
  • The Ericsson's approach to software improvements

    Publication Year: 1995
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (75 KB)

    In 1993 Ericsson Corporate initiated the ESSI (Ericsson Systems Software Initiative), to achieve breakthrough improvements in software developments. Ericsson Australia`s software improvement program is being carried out in the form of a project. A baseline was defined in Feb??95 through the CMM assessment. The assessment team comprised of members of the Ericsson Design Centres in Brazil, Mexico, U... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Are formal methods relevant?

    Publication Year: 1995
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (554 KB)

    First Page of the Article
    View full abstract»

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

    Publication Year: 1995
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (90 KB)

    The author argues that software engineering fits in the craft stage of the engineering evolutionary cycle. What is required is the software engineering theories need to be developed. This raises the question as to whether current research in software engineering is designed to assist in formulating these theories. Our research should place more emphasis on formulating models, based on scientific p... View full abstract»

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

    Publication Year: 1995
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (227 KB)

    It is argued that many of the problems that beset software engineering are in fact problems with modelling. For example: both reuse and codification require shared and understandable models if they are ever to be effcctivelv utilised. Codification is a vital ingredient of any engineering culture and a lack of suitable, widely understood, tool-based modelling frameworks mitigates strongly against e... View full abstract»

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

    Publication Year: 1995
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (192 KB)

    This paper argues for a greater emphasis on validation in software engineering research. Empirical evidence fiom two software engineering journals indicates that, despite calls for increased research validation, the evidence is that it has not happened as yet. The implications for this lack of validation is discussed. View full abstract»

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

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (90 KB)
    Freely Available from IEEE
  • Prototyping the structured specification as logic programs

    Publication Year: 1995, Page(s):380 - 389
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    The structured analysis and design methodology was devised for general purpose application development and has been widely used in industry. The methodology uses the structured specification to capture the design of an application. Unfortunately, the structured specification only has an informal definition and consequently, the correctness of a design cannot be easily verified. Prototyping has bee... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Relationship between query interface and profiles in reuse support system

    Publication Year: 1995, Page(s):374 - 378
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    The main issue when designing a reuse support system is how to store and retrieve reusable components. The reusable component is typically stored in a library for later retrieval, accompanied by a profile (representation) for each component. A profile, which is a set of characterizing attributes, is created to enable operations on the component. These operations would be more difficult or impossib... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration of software process management and development history recording

    Publication Year: 1995, Page(s):468 - 477
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (888 KB)

    The article describes how software process management could be improved by integration of development history recording. This idea is based on the observation that software process management focuses on activity patterns to be enforced, while the dependences between documents and document parts produced in these activities are not considered. As a complement to that perspective, development histor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge acquisition and integration on specification change-a method for systematic reuse

    Publication Year: 1995, Page(s):364 - 373
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (912 KB)

    Our research goal is to construct an environment that mechanically supports human intellectual activities through software development with reuse. We propose a model of software development with systematic reuse in which the existing program can be altered to meet the given specification change using the program derivation process from the specification. We consider what kinds of knowledge must be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Two dimensional concurrent program debugging

    Publication Year: 1995, Page(s):76 - 85
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (800 KB)

    A concurrent program fault can propagate both within a single task (thread of control) and between tasks, making fault localization difficult. We propose a two-dimensional approach and supporting techniques for integrating analysis of task interactions, inter- and intra-task data flow, and conventional sequential debugging of individual tasks. We define augmented concurrent dynamic slice, a varian... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Complexity measures for object-oriented program based on the entropy

    Publication Year: 1995, Page(s):127 - 136
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (752 KB)

    Software metrics are widely advocated as fundamental elements of an engineering approach to planning and controlling software development. They are especially important in object-oriented programming. We propose a new software complexity model which consists of class complexity, inter-object complexity, and the total complexity for the object-oriented program. We measure the complexities based on ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A hierarchical framework for designing reliable distributed systems

    Publication Year: 1995, Page(s):180 - 188
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (864 KB)

    The paper suggests a new approach to constructing reliable distributed systems. The basic idea is to use a hierarchical framework as a reference model by which distributed systems can be constructed to be more reliable. Reliability is deemed to be a fundamental potential advantage of distributed systems. Existing research tends to concentrate on improving the reliability of specific system functio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated approach to IS modeling

    Publication Year: 1995, Page(s):458 - 467
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    Application modeling is a major part of IS development. Often the application models are used directly in the implementation. Moreover, most traditional modeling methods are incomplete, and ad hoc methods are used to “fill in the gaps”. As industry dependence on software increases, software quality becomes paramount, and such informal practices are no longer adequate. Model integration... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Deriving programs by combining and adapting refinement scripts

    Publication Year: 1995, Page(s):354 - 363
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB)

    Although program refinement is usually presented as a top-down process, real programs are usually constructed by extending, adapting and combining existing programs. We show how this kind of program development can be performed within the refinement calculus using editable refinement scripts, which can be extended, adapted and combined in this way. Our approach is illustrated by a sequence of exam... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building the structure of specification documents from utterances of requirements elicitation meetings

    Publication Year: 1995, Page(s):64 - 73
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    In the process of requirements elicitation in software development, it is usual for participants with different roles to have a series of meetings and requirements analysts to compose specification documents between the meetings. There have many studies supporting these processes, such as cooperative working models in meetings, tools based on those models, and specification and design methods such... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing of object-oriented programs based on finite state machines

    Publication Year: 1995, Page(s):234 - 241
    Cited by:  Papers (15)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    In object-oriented testing literature, a class is considered to be a basic unit of testing. A major characteristic of classes is the interaction between data members and member functions. This interaction is represented as definitions and uses of data members in member functions and can be properly modeled with finite state machines (FSM). We discuss how FSMs can be effectively used for class test... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A reorganization framework of the object-oriented class hierarchy

    Publication Year: 1995, Page(s):117 - 126
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    In recent years there has been renewal of interest in the reorganization and transformation of classes for object-oriented design and programming. Numerous attempts have been made by researchers to find algorithms and heuristics to produce “good” and “reusable” class organizations based on the inheritance hierarchy. However, little attention has been given to the reorganiza... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development of distributed applications with separation of concerns

    Publication Year: 1995, Page(s):168 - 177
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (892 KB)

    We propose an object-oriented approach to the development of distributed applications emphasizing separation of concerns. Our approach combines the needs of transparency, encapsulation of distribution issues, and support for non-traditional models, where cooperation and sharing are desired. The development process is constructive, thus allowing partial verification of results. We recognize seven c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Re-engineering 4GL-based information system applications

    Publication Year: 1995, Page(s):448 - 457
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (904 KB)

    Most contemporary fourth generation languages (4GL) are tightly coupled with the database, and other subsystems, that are provided by the vendor. As a result, organisations that wish to change database vendors are typically forced to rewrite their applications using the new vendor's 4GL. The anticipated cost of this redevelopment can deter an organisation from changing vendors, hence denying it th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An empirical study on software error detection: voting, instrumentation and Fagan inspection

    Publication Year: 1995, Page(s):345 - 351
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    The paper presents the results of an experiment that compared error detection capability of voting, instrumentation, and Fagan inspection methods. Several experiments have measured effectiveness of various error detection methods. However, most experiments have used different programs; consequently, the results are generally incompatible and do not allow one to make objective comparison on the cos... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic data flow analysis for C++

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

    Although data flow analysis has been successfully applied in testing programs written in procedural programming languages, its current form as not powerful enough to test object-oriented programs. The methodology of conventional data flow analysis should be extended to incorporate new techniques to test C++ programs. We propose how data flow analysis should be extended and demonstrate how it can b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning about Object-Z specifications

    Publication Year: 1995, Page(s):489 - 497
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    This paper presents a method of reasoning about Object-Z specifications. The approach utilises the modularity inherent in Object-Z specifications to simplify proofs. Properties proved for a class in isolation can be used when that class is either inherited by another class or instantiated as part of a system of interacting objects. Proofs using structural induction and the notion of object integri... View full abstract»

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