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
  • Limitations of formal methods and an approach to improvement

    Publication Year: 1995, Page(s):498 - 507
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (988 KB)

    Software development using formal methods is believed to be a process of successive refinements from abstract specifications into concrete specifications. Refinement rules may be used to demonstrate that the concrete specifications satisfy the corresponding abstract ones. However, there are serious limitations of the refinement rules in both theory and in practical applications. This paper first u... 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.
  • Soft typing of general first-order languages

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

    The aim of the paper is to describe an extension of the notion of soft typing which increases its usefulness in software engineering. Our soft typing concept is general enough to be integrated into a wide variety of normal languages, including formalizations of mathematics, with a view to increasing reasoning productivity in the development of verified software. Specifically the paper extends the ... 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.
  • Living with free type and class union

    Publication Year: 1995, Page(s):304 - 312
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (624 KB)

    There are two constructs in the formal specification language Object-Z for modelling polymorphic and recursive structures. One construct, the free type, is adopted from the Z specification language. The other, class-union, facilitates polymorphic class declarations. Free type and class-union constructs are respectively based upon the functional value point of view and the object reference point of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design and implementation of a method base management system for a situational CASE environment

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

    Situational method engineering focuses on configuration of system development methods (SDMs) tuned to the situation of a project at hand. Situational methods are assembled from parts of existing SDMs, so called method fragments, that are selected to match the project situation. The complex task of selecting appropriate method fragments and assembling them into a method requires effective automated... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An efficient debugging method for message-based parallel programs using static analysis information

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

    Guaranteeing reproducibility and minimizing probe effects are major issues in the parallel program debugging. The paper suggests a new debugging method, called the Detect and Reproduce method, for message-based parallel programs. The proposed method is designed to guarantee the reproducible behaviors of a target program and to alleviate probe effects by reducing both the number of the probes to be... 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.
  • Communication, collaboration and cooperation in software development-how should we support group work in software development?

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

    Software development is essentially cooperative work which is collaboratively performed by various roles of persons and tools. Communication among the members of a development team (e.g. conversation) and among the tools is one of the most important characteristics for this collaborative work. To make our software development environment more effective and comfortable, we should observe what commu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Animating Z: interactivity, transparency and equivalence

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

    The ability to animate Z specifications is useful in allowing a specifier to explore the behaviour of a specification. The paper defines three new evaluation criteria for animation systems, interactivity, transparency and operational equivalence. It also describes a simple Haskell-based animation system that satisfies these criteria View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the analysis of subdomain testing strategies

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

    Weyuker and Jeng (1991) have investigated the conditions that affect the performance of partition testing and have compared analytically the fault-detecting ability of partition testing and random testing. Chen and Yu (1994) have generalized some of Weyuker and Jeng's results. We extend the analysis to subdomain testing in which subdomains may overlap. We derive several results for a special case ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CARD: an environment for software requirements definition

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

    Computer aided requirements definition methods and an environment are presented. We have proposed a requirements model, named Requirements Frame, and requirements languages based on the model. We have developed several supporting methods of software requirements definition on the basis of the model. They are: analysis of requirements; describing requirements; verification of SRS (Software Requirem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software environment support for integrated formal program specification and development

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

    Formal program development has gained widespread academic interest as a rigorous software engineering technique. One of the main hurdles for the wider IT industry in adopting these formal techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for object-oriented software development which incorp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Management of distributed concurrent development for large scale software systems

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

    The article discusses a new software process model, distributed concurrent development, and its experience in developing a family of large-scale communication software systems. We have experienced an evolutionary change of our software development process. The change is spread into two dimensions, that is, from sequential to concurrent, and from centralized to distributed. With the concurrent deve... View full abstract»

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

    Publication Year: 1995, Page(s):86 - 95
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (796 KB)

    Embedded specifications in object-oriented (OO) languages such as Eiffel and Sather are based on a rigorous approach towards validation, compatibility and reusability of sequential programs. The underlying method of “design-by-contract” is based on Hoare logic for which concurrency extensions exist. However concurrent OO languages are still in their infancy. They have inherently impera... 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 (5)
    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.
  • Event interactions graph for test-case generations of concurrent programs

    Publication Year: 1995, Page(s):29 - 37
    Cited by:  Papers (6)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (608 KB)

    Test cases play an important role for high-quality software testing. Inadequate test-cases may cause bugs to remain after testing. Overlapped test cases may increase costs. This paper proposes an event interactions graph (EIAG), representing the behavior of concurrent programs and the cooperated paths (copaths) on the EIAG as test cases. The EIAG consists of event graphs and interactions. An event... View full abstract»

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