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, US... 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
  • Test suite generation methods for concurrent systems based on coloured Petri nets

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

    Automatic generation of test suites for concurrent systems is a newly exploited area of conformance tests. A few methods based on a finite state machine (FSM) have been proposed. However, these methods require a large amount of computation cost. By using coloured Petri nets (CPN), the required amount of computation costs can be reduced, and the length of the test suites can be reduced by using the... 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.
  • 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.
  • Software systems engineering-from domain analysis via requirements capture to software architectures

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

    Based on an air traffic example, we illustrate issues of domain analysis (of air space, timetables and traffic), and of requirements capture (of scheduling systems and air traffic control). We also relate domain analysis and requirements capture to the issue of software architecture View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Class exerciser: a basic CASE tool for object-oriented development

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

    Given a set of classes as input, a class exerciser, with its easy-to-use graphical user interface, allows users to create objects for the given classes, invoke methods on specified objects and examine the contents of objects interactively. In other words, one can use a class exerciser to exercise and assess the various functions of classes conveniently. The class exerciser has many applications in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An enhanced zero-one optimal path set selection method

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

    Optimal path set selection problem is a crucial issue in structural testing. The zero-one optimal path set selection method is a generalized method that can be applied to all coverage criteria. The only drawback to this method is that for a large program the computation may take ten or more hours because the computation is exponentially proportional to the number of candidate paths and proportiona... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Providing configuration management support in software engineering environments

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

    Software configuration management (CM) is a key element of any software development project. A software engineering environment should not only provide support for software products and software processes in general, but also pay attention to high-level software engineering concepts like CM. In this paper, we present an overview of our approach to software engineering environments and demonstrate ... 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • From scenarios to timed automata: building specifications from users requirements

    Publication Year: 1995, Page(s):48 - 57
    Cited by:  Papers (15)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (744 KB)

    Scenarios as partial behavior description, are used more and more to represent users requirements, and to conduct software engineering. The paper examines automatic generation of specifications from requirements. This is a crucial step when accuracy is desired in the requirement engineering process. Automatic construction of specifications from scenarios reduces to the merging of partial behaviors... 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.
  • 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.
  • 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.
  • Modelling systems that integrate programming language and environment mechanisms

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

    Once we relax the assumption that it must be possible to specify programs solely in terms of text and enter them in isolation from other tools, the range of possible program development mechanisms is significantly increased. Thus, in the light of advances in the field of integrated software development environments and in view of the wider availability of suitable workstations, we should reconside... View full abstract»

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