By Topic

Proceedings of 1996 Australian Software Engineering Conference

14-18 July 1996

Filter Results

Displaying Results 1 - 22 of 22
  • Author index

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (44 KB)
    Freely Available from IEEE
  • Proceedings of 1996 Australian Software Engineering Conference

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (142 KB)
    Freely Available from IEEE
  • Comparing inspection strategies for software requirement specifications

    Publication Year: 1996, Page(s):203 - 211
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (740 KB)

    This paper reports on a laboratory experiment on the use of decomposition strategies in software requirements inspections. The experiment follows on from the work of (Porter et al., 1995) who compared the use of scenarios with ad hoc and checklist techniques, finding (among other things) that the scenario technique was superior. This experiment compares the scenario technique with inspection strat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated database reengineering architecture-a generic approach

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

    Methods and tools have been proposed and developed to facilitate database design recovery under the framework of reverse engineering and reengineering. These tools and methods are usually limited to a particular scenario and requirement. They are not adaptive, or general enough, to suit other scenarios. In most cases, new tools and methods will have to be redeveloped to suit these scenarios. This ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An initial comparison of software and engineering designs of automotive cruise control systems

    Publication Year: 1996, Page(s):192 - 202
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1116 KB)

    We contribute to the debate about the relation between software design and standard engineering design. We do this by examining the approaches taken by both disciplines to the design of a small embedded system. The example chosen is that of an automotive cruise control system whose design is described in both computing and automotive literature. We do not attempt to argue that software development... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of software system requirements models

    Publication Year: 1996, Page(s):131 - 138
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    This paper presents an analysis of models used for software system requirements. A range of models have been chosen to demonstrate the diversity of notation, application and intention and they have been considered separately from the methods used for their creation. A set of criteria is established as a basis for comparison of the chosen models. The criteria are intended to cover aspects of a requ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Teaching object orientation: patterns and reuse

    Publication Year: 1996, Page(s):72 - 80
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (688 KB)

    The paper describes an advanced undergraduate “object oriented programming” subject that has the aim of developing good software engineering practices with regard to reusable designs and reusable components. The subject utilizes framework class libraries. A simplified framework, embodying many of the design patterns from more complex frameworks, is used to provide an introduction to fr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • More on the E-measure of subdomain testing strategies

    Publication Year: 1996, Page(s):167 - 174
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (576 KB)

    The expected number of failures detected (the E-measure) has been found to be a useful measure of the effectiveness of testing strategies. This paper takes a fresh perspective on the formulation of the E-measure. From this, we deduce new sufficient conditions for subdomain testing to be better than random testing. These conditions are simpler and more easily applicable than many of those previousl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Classification-Hierarchy Table: a methodology for constructing the classification tree

    Publication Year: 1996, Page(s):93 - 104
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    The Classification-Tree Method developed by Grochtmann and Grimm (1993) provides a systematic approach to produce test cases based on the functional specification. This paper supplements the Classification-Tree Method by proposing a methodology to construct a classification-tree from a given set of classifications and classes based on the notion of Classification-Hierarchy Table. The Classificatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Consistency issues in partially bound dynamically composed systems

    Publication Year: 1996, Page(s):183 - 191
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (744 KB)

    Dynamically composed systems are able to incorporate new components as they execute. Therefore, configurations of these systems are not fully elaborated until at least the time that they are executed, and they are perhaps never fully elaborated. Such incomplete configurations are termed partially bound configurations. Although partially bound, it is still important to be able to analyse these conf... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An application of quantitative techniques to the question of what contributes to a successful software development project

    Publication Year: 1996, Page(s):118 - 130
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (824 KB)

    Objectively answering the question of what contributes to a successful software development project has traditionally been difficult due to a lack of empirical data. The software development industry rarely has access to a controlled environment to conduct experiments. This paper shows the results of an analysis carried out in a controlled environment on 36 student project teams over 3 years. In e... View full abstract»

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

    Publication Year: 1996, Page(s):69 - 70
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (172 KB)

    “Formal methods” is an established but inappropriate name for the use in software engineering of a standard engineering technique: prediction of in-service performance at design time, based on relevant scientific theories and mathematical models. Today, no other branch of engineering would deny the necessity of scientifically based prediction-though such denial was common a century ago... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software visualisation in a generic development environment

    Publication Year: 1996, Page(s):47 - 54
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    The paper describes an experimental generic software engineering environment which provides support for both textual and diagrammatic documents, and for visualisation of additional implicit relations between and within such documents. The relevant document structures are identified, a framework for defining these structures and their associated presentations is introduced, and the current state of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An industrial-strength method for the construction of formally verified software

    Publication Year: 1996, Page(s):27 - 36
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (744 KB)

    The CARE method is a new approach to constructing and formally verifying programs. CARE has been developed in response to identified industrial needs for a formal software development method which does not require the user to be an expert in formal proof. Software engineers use CARE to develop compilable code from formal program specifications using a library of pre-proven, formally specified refi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An algebraic semantics for object-oriented behaviour modeling

    Publication Year: 1996, Page(s):4 - 15
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (904 KB)

    It is often claimed that strengths of object oriented approaches include the integration of data and process perspectives, opportunities for reuse, and high comprehensibility. Focus is on object oriented analysis, and the core models of an object oriented analysis method are examined formalized and enhanced to define a general framework. Jacobson's Objectory method (I. Jacobson et al., 1992) is us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Hierarchical Dependence Diagram: improving design for reuse in object-oriented software development

    Publication Year: 1996, Page(s):155 - 166
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    Object-oriented paradigm promises a high level of reusability in software development. However, by just selecting an object-oriented programming language does not guarantee achieving highly reusable software components. Reusable components have to be designed carefully from the early stage of software development. Among many proposed guidelines for improving software reusability, “class inde... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards analysing a class of object Petri nets

    Publication Year: 1996, Page(s):81 - 92
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (804 KB)

    The Petri net theory has been used to specify many types of systems, in particular, concurrent, distributed and nondeterministic. A class of high level object based Petri nets, OBJSA nets, is being used to model the behaviour of a concurrent system-a priority queue. We propose a method of analysing its behaviour by examining its structure and its underlying subnet components according to the state... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributing the software process

    Publication Year: 1996, Page(s):176 - 182
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    This paper sees software development as made up of two important parts. One is the technical work in producing software. The other is the team management and coordination in large and complex systems. Support tools for software development have in general concentrated on providing technical support to improve task productivity. These have included CASE tools as well as various editors, debugging t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing project-based learning: variations on mentoring

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

    Project-based learning is an essential part of a software engineer's education. The learning achieved through projects can be improved through structured interaction between more experienced students and those students encountering their first software engineering project. In this paper we report on our experience over three years with trials of several forms of interaction between undergraduate s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A layered operational model for describing inter-tool communication in tool integration frameworks

    Publication Year: 1996, Page(s):55 - 63
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (752 KB)

    Integration frameworks for building software engineering environments provide at least data, control and presentation integration facilities, together with integration devices which afford access to these facilities by the tools which populate the framework. Typically, an integration device is a specially developed language, or extension to an existing language, in which the integration programmer... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic analysis of functional program style

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

    Functional programming style is discussed and seven simple semantic style rules, based on program transformation, are enunciated. An automatic style analyser developed from these rules is then presented View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A tool for practical reasoning about state machine designs

    Publication Year: 1996, Page(s):16 - 26
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB)

    Critical systems (e.g. safety critical and security critical systems) need the highest levels of assurance. The effective engineering design of critical systems still lacks easy to use, practical and above all trustworthy tools which allow the exploration of possible design strategies, and support formal reasoning about their critical properties. We describe the Veracity prototype tool, aimed at p... View full abstract»

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