Notice
There is currently an issue with the citation download feature. Learn more

11th Asia-Pacific Software Engineering Conference

Nov. 30 2004-Dec. 3 2004

Filter Results

Displaying Results 1 - 25 of 110
  • Proceedings. 11th Asia-Pacific Software Engineering Conference

    Publication Year: 2004
    Request permission for commercial reuse | PDF file iconPDF (79 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2004, Page(s):v - xii
    Request permission for commercial reuse | PDF file iconPDF (60 KB)
    Freely Available from IEEE
  • Conference Chair's Message

    Publication Year: 2004, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (21 KB) | HTML iconHTML
    Freely Available from IEEE
  • Program Chairs' message

    Publication Year: 2004, Page(s): xiv
    Request permission for commercial reuse | PDF file iconPDF (24 KB) | HTML iconHTML
    Freely Available from IEEE
  • Conference organizers

    Publication Year: 2004, Page(s): xv
    Request permission for commercial reuse | PDF file iconPDF (21 KB)
    Freely Available from IEEE
  • Steering Committee

    Publication Year: 2004, Page(s): xvi
    Request permission for commercial reuse | PDF file iconPDF (16 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2004, Page(s): xvii
    Request permission for commercial reuse | PDF file iconPDF (22 KB)
    Freely Available from IEEE
  • list-reviewer

    Publication Year: 2004, Page(s): xviii
    Request permission for commercial reuse | PDF file iconPDF (16 KB)
    Freely Available from IEEE
  • Real-Time Software Design for Embedded Systems: From Centralized Control to Distributed Component-Based Product Lines

    Publication Year: 2004, Page(s): xix
    Request permission for commercial reuse | PDF file iconPDF (18 KB) | HTML iconHTML
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving the Quality of Deployed Systems through Remote Analysis, Monitoring, and Testing

    Publication Year: 2004, Page(s): xx
    Request permission for commercial reuse | PDF file iconPDF (19 KB) | HTML iconHTML
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality attribute scenario based architectural modeling for self-adaptation supported by architecture-based reflective middleware

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

    Reflective middleware is proposed for guaranteeing desired qualities of middleware based systems which reside in the extremely open and dynamic Internet. Current researches and practices focus on how to monitor and change the whole system through reflective mechanisms provided by middleware. However, they put little attention on why, when and what to monitor and change because it is very hard for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An empirical evaluation of architectural alternatives for J2EE and Web services

    Publication Year: 2004, Page(s):10 - 17
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB) | HTML iconHTML

    Component-based technologies such as J2EE and .NET have been widely adopted to develop Web-based applications. With the emerging use of Web services and service-based architectures, such component technologies provide the necessary back-end components to execute application business logic, supporting a variety of architectural alternatives. The combination of component technologies with Web servic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending a graphic modeling language to support partial and evolutionary specification

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

    The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, we are convinced that it is as well a language problem. Unfortunately, UML is not expressive enough to deal with evolutionary information in the system. In this paper, we propose an extension to a graphic modeling language... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic verification of temporal constraints on-the-fly for workflow systems

    Publication Year: 2004, Page(s):30 - 37
    Cited by:  Papers (14)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (192 KB) | HTML iconHTML

    Temporal verification is an important method to check the temporal correctness of workflow management systems (WfMSs). However, the current temporal verification is relatively independent of the workflow system environments. It does not pay sufficient attention to the interrelationship between the temporal verification at different stages, the mutual dependency between some temporal constraints, a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An improved repository system for effective and efficient reuse of formal verification efforts

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

    This paper presents several enhancements to ARIFS, a reuse environment that sets the foundations for reusing formal verification efforts in an iterative and incremental software process for the design of distributed reactive systems. A criterion based on generic components is added, together with a self-learning mechanism, to reduce the search space and maximize the probability of retrieving usefu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning about semantic Web in Isabelle/HOL

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

    Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the Web but also meaningful semantics for the information presented. To make semantic Web services understandable for distributed agents, formal definitions of the ontologies and their consistencies are essential. However, the existing tools for reasoning about semantic Web ontologies are s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Project management capability levels: an empirical study

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

    This paper outlines existing maturity models of project management and their underlying constructs. Organizations involved in software development in Sydney, Australia were interviewed about their project management practices and their responses analysed to determine whether different project managers used different levels of project management practices and whether the practices were in accordanc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality improvements by integrating development processes

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

    Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate processes. However, in order to improve the quality of the final complex product, requirements and prospects for an automatic integrated process support are called for. Product data management (PDM) has focused on hardware pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design of evolutionary process modeling languages

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

    To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One approach is to use a notation that already exists, such as a programming language, and extend it. However, the intricacies and restrictions the programming language places on the ability to succinctly and clearly describ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How to have a successful free software project

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

    Some free software projects have been extremely successful. This rise to prominence can be attributed to the high quality and suitability of the software. This quality and suitability is achieved through an elaborate peer-review process performed by a large community of users, who act as co-developers to identify and correct software defects and add features. Although this process is crucial to th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A systematic method to instantiate core assets in product line engineering

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

    Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework engineering is to model and realize a core asset, which represents common functionality, and quality attributes in a target domain, and application engineering is to generate a target product by instantiating the core ass... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool supported development of service-based systems

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

    Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and have strong interrelations and dependencies between each other. Integrated into a service-oriented development process, we present an approach for tool supported design of services and execution scenarios describing thei... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An infinite server queueing approach for describing software reliability growth: unified modeling and estimation framework

    Publication Year: 2004, Page(s):110 - 119
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB) | HTML iconHTML

    In general, the software reliability models based on the nonhomogeneous Poisson processes (NHPPs) are quite popular to assess quantitatively the software reliability and its related dependability measures. Nevertheless, it is not so easy to select the best model from a huge number of candidates in the software testing phase, because the predictive performance of software reliability models strongl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A taxonomy of call ordering problems

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

    The order of method calls in a program can present subtle problems in ensuring the program's correctness. Some of the problems have been known under different names in the open literature. These include protocols, synchronisation, re-entrance, mandatory calls, and the indirect invariant effect. However, all these problems relate to the temporal ordering of method calls. In essence, the orderings c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A case study in specification and implementation testing

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

    Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph i... View full abstract»

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