By Topic

Software Engineering Conference, 1995. Proceedings., 1995 Asia Pacific

Date 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
  • CARD: an environment for software requirements definition

    Publication Year: 1995, Page(s):420 - 429
    Cited by:  Papers (5)
    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.
  • 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.
  • 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.
  • Software engineering education-adding process to projects: theory, practice and experience

    Publication Year: 1995, Page(s):148 - 157
    Cited by:  Papers (5)
    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.
  • 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.
  • An enhanced zero-one optimal path set selection method

    Publication Year: 1995, Page(s):225 - 233
    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.
  • 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.
  • 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.
  • Reasoning about concurrent objects

    Publication Year: 1995, Page(s):86 - 95
    Cited by:  Papers (1)
    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.
  • 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.
  • 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.
  • 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.
  • A simple configuration management system for CASE repository

    Publication Year: 1995, Page(s):439 - 446
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    Although there has been considerable progress in software engineering, there are few SCM (software configuration management) tools suited for CASE repository. The paper introduces RESCOMS (simple configuration management system for repository) which uses new version labeling notation and its administrative technique to support SCM of repository. Because data of repository has a dependent relations... 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.
  • 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.
  • 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.
  • 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.