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
  • 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.
  • Teaching software quality and leadership: experiences and successes

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

    Is it possible to teach software quality and leadership concepts and skills at the graduate level? Is it possible to give students a rich and rigorous experience, providing intellectual and hands-on experiences? Can this be done simultaneously within the nurturing environment of the classroom and the risky world of industry? Is it possible to provide students with enough skills and techniques to d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to reverse quality assurance with data-oriented program analysis

    Publication Year: 1995, Page(s):324 - 332
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    The paper describes a quality assurance approach for source code to assure source code quality with less effort than conventional method. The paper introduces the data relation tracking method (DRTM) as a practical instance of data oriented program analysis, a key factor of our new quality assurance approach. DRTM helps comprehension of the source code by extracting the internal logic of the sourc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering education-adding process to projects: theory, practice and experience

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

    Software process is an important concept in software development and considerable work is being undertaken in academia and industry on process issues, and particularly on process improvement. It is difficult to teach process concepts effectively in an undergraduate degree but we feel the issue is too important to be deferred to be learned in work experience and postgraduate degrees. Most undergrad... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systematic development of the human interface

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

    The problem of developing software to meet precise specifications has lead to the development of mathematical notations for expressing and reasoning about the behaviour of a required or extant system. We describe a different use of formal models: as tools for gathering and consolidating requirements on interaction between engineered systems and their users. This change in focus reflects the growin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A survey of experiences amongst object-oriented practitioners

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

    The object-oriented paradigm is becoming increasingly popular as a result of expert opinion and anecdotal evidence and not on the basis of sound empirical data. The questionnaire survey was undertaken as part of a programme of research to validate unsupported claims about the paradigm. The questionnaire follows structured interviews of experienced object-oriented developers with the intention of c... 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.
  • 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.
  • 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.
  • Test suite generation methods for concurrent systems based on coloured Petri nets

    Publication Year: 1995, Page(s):242 - 251
    Cited by:  Papers (4)
    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.
  • Toward software metrics for distributed software

    Publication Year: 1995, Page(s):209 - 216
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB)

    With increasingly complicated distributed software we must do our best to establish a maintenance mechanism. The paper presents generalized software complexity metrics for measuring the computational complexity of distributed programs, and introduces the notion of communication complexity unit based on the smallest process communication group. We affirm that the smallest process communication grou... 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.
  • 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.
  • 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.
  • Expressing inter-perspective relationships: a logical approach

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

    The requirement engineering activity (for composite systems) implies the existence of several viewpoints on the software to be designed. The specifications will be issued from those different perspectives which complement but also contradict each other. Notably each perspective may be specified using a particular language. Consequently the central problem is to express links between those perspect... 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.
  • A criticism on the capture-and-recapture method for software reliability assurance

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

    There is a great deal of literature claiming that the capture-and-recapture (CR) method can estimate the number of remaining software bugs during the test process, and this enables us to decide when to stop testing. Although the decision about when to stop testing can only be made when there is ample confidence that the number of remaining bugs is less than a certain limit, most of the literature ... View full abstract»

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