By Topic

2004 Australian Software Engineering Conference. Proceedings.

2004

Filter Results

Displaying Results 1 - 25 of 50
  • Towards platform-independent real-time systems

    Publication Year: 2004, Page(s):192 - 200
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1382 KB) | HTML iconHTML

    Real-time software systems are rarely developed once and left to run. They are subject to changes of requirements as the applications they support expand, and they commonly outlive the platforms they were designed to run on. A successful real-time system is duplicated and adapted to a variety of applications - it becomes a product line. Current methods for real-time software development are common... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Obstacles to a totally functional programming style

    Publication Year: 2004, Page(s):178 - 187
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1355 KB) | HTML iconHTML

    "Totally functional programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practice in language extensibility and functional programming. Its technical essence extends the role of "fold" functions in structuring functional programs to include methods that make comparisons on elements of data structures. The obs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal semantics of UML sequence diagram

    Publication Year: 2004, Page(s):168 - 177
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1392 KB) | HTML iconHTML

    We present a formal semantics of UML sequence diagram. In abstract syntax form, a well-formed sequence diagram corresponds to an ordered hierarchical structure tree. The static semantics of a sequence diagram is to check whether it is consistent with the class diagram declaration as well as with its well-formed tree structure. Meanwhile, the dynamic semantics is defined in terms of the state trans... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Putting the "engineering" into "software engineering"

    Publication Year: 2004, Page(s):2 - 8
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1343 KB) | HTML iconHTML

    Is software development really a form of engineering? Or is it just some kind of elaborate craftsmanship? Are we just fooling ourselves thinking that we are doing engineering? If so, it is certainly not from lack of trying hard over the last 20 years. But may be we tackled the problem from the wrong end: we tried to impose techniques from other engineering disciplines onto software development mod... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enforcing system-wide properties

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

    Policy enforcement is a mechanism for ensuring that system components follow certain programming practices, comply with specified rules, and meet certain assumptions. Unfortunately, the most common mechanisms used today for policy enforcement are documentation, training, and code reviews. The fundamental problem is that these mechanisms are expensive, time-consuming, and still error-prone. To cope... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining agent-oriented conceptual modelling with formal methods

    Publication Year: 2004, Page(s):147 - 155
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1522 KB) | HTML iconHTML

    Agent-oriented conceptual modelling notations such as i* have received considerable recent attention as a useful approach to early-phase requirements engineering. Agent-oriented conceptual modelling notations are highly effective in representing requirements from an intentional stance and answering questions such as what goals exist, how key actors depend on each other and what alternatives must b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge management in software engineering - describing the process

    Publication Year: 2004, Page(s):137 - 146
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1399 KB) | HTML iconHTML

    The management of knowledge and experience are key means by which systematic software development and process improvement occur. Within the domain of software engineering (SE), quality continues to remain an issue of concern. Although remedies such as fourth generation programming languages, structured techniques and object-oriented technology have been promoted, a "silver bullet" has yet to be fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The long-term effects of an EPG/ER in a small software organisation

    Publication Year: 2004, Page(s):128 - 136
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1616 KB) | HTML iconHTML

    We present an assessment of the usage of an improved electronic process guide/experience repository (EPG/ER) tool about a year after its installation in a small-to-medium software development company (SME). The current study, conducted over 21 weeks, reveals the long-term effects of EPG/ER usage in the company. The findings not only validate results from previously published preliminary evaluation... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A preliminary survey on software testing practices in Australia

    Publication Year: 2004, Page(s):116 - 125
    Cited by:  Papers (36)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1350 KB) | HTML iconHTML

    We present the findings of, to the best of our knowledge, the first survey on software testing practices carried out in Australian ICT industry. A total of 65 organizations from various major capital cities in Australia participated in the survey, which was conducted between 2002 and 2003. The survey focused on five major aspects of software testing, namely testing methodologies and techniques, au... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimizing testing efficiency with error-prone path identification and genetic algorithms

    Publication Year: 2004, Page(s):106 - 115
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1386 KB) | HTML iconHTML

    We present a method for optimizing software testing efficiency by identifying the most error prone path clusters in a program. We do this by developing variable length genetic algorithms that optimize and select the software path clusters which are weighted with sources of error indexes. Although various methods have been applied to detecting and reducing errors in a whole system, there is little ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Uniform descriptions for model based testing

    Publication Year: 2004, Page(s):96 - 105
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1420 KB) | HTML iconHTML

    A framework which uses linear time temporal logic and model checking techniques to describe the semantics a variety of test specifications is developed. These include a semantics for action words, which are a practical approach to model based testing, and coverage requirements. Features of tools that support the development of tests using this approach are also presented. While model-checking idea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal object-oriented approach to defining consistency constraints for UML models

    Publication Year: 2004, Page(s):87 - 94
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1369 KB) | HTML iconHTML

    We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal appr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architectural design in object-Z

    Publication Year: 2004, Page(s):77 - 86
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1466 KB) | HTML iconHTML

    We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experiment in the design of distributed programs

    Publication Year: 2004, Page(s):70 - 76
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1349 KB) | HTML iconHTML

    We describe an experiment in the design of distributed programs. It is based on the theory of Owicki and Gries extended with rules for reasoning about message passing. The experiment is designed to test the effectiveness of the extended theory for designing distributed programs. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • UML documentation support for XML schema

    Publication Year: 2004, Page(s):211 - 220
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1362 KB) | HTML iconHTML

    With the proliferation of XML as the lingua franca of Internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this context, the use of XML schema to constrain and validate XML document content is becoming a standard part of web information production. However, adoption of XML Schema poses new problems; specifically, the difficulty in u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Agent-oriented software analysis

    Publication Year: 2004, Page(s):20 - 27
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1329 KB) | HTML iconHTML

    Agent-oriented software engineering (AOSE) has become an active area of research in recent years. We look at the use of agent-oriented concepts for software analysis. Using agent-oriented analysis may offer benefits even if the system is implemented without an agent-based language or framework (e.g. using an object-oriented detailed design and language). We examine the software analysis components... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool support for verification-based software inspection

    Publication Year: 2004, Page(s):232 - 240
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1505 KB) | HTML iconHTML

    For a software component to be reusable, it must be verified as correct and documented with an unambiguous and complete specification of what it does. We present a technique of semiformal verification using tool support. The prototype tool MINDER generates specifications and verification conditions directly from program code at the unit level. As opposed to systems involving theorem proving, this ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reciprocity: an integrated, continuous approach to software training authoring, delivery and monitoring

    Publication Year: 2004, Page(s):262 - 270
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1830 KB) | HTML iconHTML

    Providing software developers with suitable on-line training support for the tools they use is challenging. We describe Reciprocity, a tool we have developed to support on-line software tool tutorial authoring and usage. Reciprocity supports distributed tutorial construction and viewing, tailored user adaptation, and provides continuous feedback to tutorial authors on the use of their training mat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using software architectures and design patterns for developing distributed applications

    Publication Year: 2004, Page(s):290 - 299
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1446 KB) | HTML iconHTML

    Although there are a large number of software development methodologies for standalone software, little effort is being paid into investigating specialised methodologies that target the development of distributed applications (DAs) in the era of Internet and Web-based applications. Rather than focusing on business models, developers usually spend considerable effort in implementing connectivity be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating Web applications from use case scenarios

    Publication Year: 2004, Page(s):320 - 328
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1406 KB) | HTML iconHTML

    The major emphasis in developing design tools for Web applications has been that of content. User requirements are often assumed. We would argue that the requirements are as significant for Web applications as they are for any other application. Use case modelling is regarded as an ideal tool for capturing software requirements. We describe a requirements driven approach for generating the source ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The process workshop: a tool to define electronic process guides in small software companies

    Publication Year: 2004, Page(s):350 - 357
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3332 KB) | HTML iconHTML

    We discuss the use of electronic process guides in software engineering projects. We then present existing methods for constructing electronic process guides by defining a set of common processes for a company. Several approaches from the software engineering and management literature are presented. We then go on to propose a new method to construct process description in software engineering: usi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A risk management framework for software engineering practice

    Publication Year: 2004, Page(s):60 - 67
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1455 KB) | HTML iconHTML

    Formal risk analysis and management in software engineering is still an emerging part of project management. We provide a brief introduction to the concepts of risk management for software development projects, and then an overview of a new risk management framework. Risk management for software projects is intended to minimize the chances of unexpected events, or more specifically to keep all pos... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building extensible and high performance distributed transaction service

    Publication Year: 2004, Page(s):202 - 210
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1436 KB) | HTML iconHTML

    Distributed transaction service is one of the most important services in a J2EE application server, and its efficiency has a big impact on the latter's overall performance. We present a distributed transaction service design which is both extensible and portable in a J2EE application server, and strategies to optimize its performance. Experimental data indicate much improved performance of the tra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Developing a requirements management toolset: lessons learned

    Publication Year: 2004, Page(s):10 - 19
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1352 KB) | HTML iconHTML

    Requirements engineering (RE) is a multifaceted discipline involving various methods, techniques and tools. RE researchers and practitioners are emphasizing the importance of having an integrated RE process. The need for an integrated toolset to support the effective management of such an integrated RE process cannot be over-emphasized. Tools integration has been identified as an important next st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An exploratory study of code and document interactions during task-directed program comprehension

    Publication Year: 2004, Page(s):221 - 230
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1352 KB) | HTML iconHTML

    This exploratory study investigates the program comprehension strategies employed during enhancement and corrective maintenance from the perspective of the programmer activities of examining both program and task documentation and analysing and potentially modifying program code. Twenty-nine experienced C programmers independently undertook one of two maintenance tasks on the same C program and th... View full abstract»

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