By Topic

14th Asia-Pacific Software Engineering Conference (APSEC'07)

Date 4-7 Dec. 2007

Filter Results

Displaying Results 1 - 25 of 103
  • 14th Asia-Pacific Software Engineering Conference - Cover

    Publication Year: 2007
    Request permission for commercial reuse | PDF file iconPDF (90 KB)
    Freely Available from IEEE
  • 14th Asia-Pacific Software Engineering Conference - Title

    Publication Year: 2007, Page(s):i - iii
    Request permission for commercial reuse | PDF file iconPDF (36 KB)
    Freely Available from IEEE
  • 14th Asia-Pacific Software Engineering Conference - Copyright

    Publication Year: 2007, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (40 KB)
    Freely Available from IEEE
  • 14th Asia-Pacific Software Engineering Conference - TOC

    Publication Year: 2007, Page(s):v - xi
    Request permission for commercial reuse | PDF file iconPDF (57 KB)
    Freely Available from IEEE
  • Message from the Conference Chairs

    Publication Year: 2007, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (23 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Program Chair

    Publication Year: 2007, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (23 KB) | HTML iconHTML
    Freely Available from IEEE
  • Conference Committee

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

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

    Publication Year: 2007, Page(s):xvi - xvii
    Request permission for commercial reuse | PDF file iconPDF (29 KB)
    Freely Available from IEEE
  • External reviewers

    Publication Year: 2007, Page(s): xviii
    Request permission for commercial reuse | PDF file iconPDF (20 KB)
    Freely Available from IEEE
  • Specialising in Software Engineering

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

    The established branches of engineering are characterised by a focus on the physical world and by intense specializations. These practices are already found in some areas of software engineering, but a wider and fuller adoption could be beneficial. In particular, specialisation could help in dealing with a major challenge of software engineering - with the non-formal and heterogeneous nature of th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating Product Line Architectures: Methods and Techniques

    Publication Year: 2007, Page(s): 13
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (38 KB)

    Summary form only given. Good software architecture is one of the key factors in successfully developing and evolving a system or a family of systems. Software architecture provides the key framework for the earliest design decisions taken to achieve functional and quality requirements. In addition, it has a profound influence on project organizations' functioning and structure. Poor architecture ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Problem Frames Approach to Software Engineering

    Publication Year: 2007, Page(s): 14
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (41 KB)

    Software-intensive systems are those in which the computer executing the software is only one of the parts of the system. Problem frames offer a conceptual structure for the development of such systems: that is, a coherent way of analysing the problem to be solved, identifying the concerns and difficulties that it poses, and working towards a solution. This tutorial present the basic ideas of prob... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Aligning the Map Requirements Modelling with the B-method for Formal Software Development

    Publication Year: 2007, Page(s):17 - 24
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (582 KB) | HTML iconHTML

    We present a software development approach that aligns a requirements elicitation technique with a formal method of software specification abstraction. The goal/strategy modeling technique Map augmented with Jackson's context diagrams (representing environment) is used to elicit requirements and the B-method is used to translate Map requirements into formal specifications. Comprehensive tool suppo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extraction of viewpoints for eliciting customer's requirements based on analysis of specification change records

    Publication Year: 2007, Page(s):33 - 40
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (330 KB) | HTML iconHTML

    Eliciting customer's requirements is the most important issue for a system integration project. Failure to elicit the customer's requirements can cause an enormous correction cost. However there are only a few practical, concrete guidelines to do. In this paper, we describe a method to extract viewpoints and checklists for eliciting customer's requirements more effectively based on analyzing speci... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Methodological Framework for SysML: a Problem Frames-based Approach

    Publication Year: 2007, Page(s):25 - 32
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1408 KB) | HTML iconHTML

    Recently, SysML has been adopted by the object management group as a modelling language for systems engineering. SysML is a UML profile that represents a subset of UML 2 with extensions. A wide adoption of the language could be hindered by the lack of a methodology that drives the modelling activities. Problem frames (PFs) are a rigorous approach to requirements modelling that has the potential to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage

    Publication Year: 2007, Page(s):41 - 48
    Cited by:  Papers (16)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (302 KB) | HTML iconHTML

    This paper presents an automatic test-data generation technique that uses a genetic algorithm (GA) to generate test data that satisfy data-flow coverage criteria. The technique applies the concepts of dominance relations between nodes to define a new multi-objective fitness function to evaluate the generated test data. The paper also presents the results of a set of empirical studies conducted on ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Finding a Test Order using Object-Oriented Slicing Technique

    Publication Year: 2007, Page(s):49 - 56
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (910 KB) | HTML iconHTML

    For integration testing processes, testers need to find test sequences of classes in order to execute interactions. One major problem of test order is the presence of cyclic dependency calls. Many researchers have proposed techniques to solve this problem by removing relationships to break cycles and then create test stubs. Therefore, one major purpose of integration testing is minimization of tes... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Function Call Flow based Fitness Function Design in Evolutionary Testing

    Publication Year: 2007, Page(s):57 - 64
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (853 KB) | HTML iconHTML

    Evolutionary Testing has been shown a promising technology for the automatic test data generation. It reformulates test data generation as a metaheuristic search. A well- designed fitness function is essential to the efficiency of evolutionary search. Many efforts have been directed at the design and implementation of fitness function in recent years. However, previous work has just focused on the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Secure Behavior of Web Browsers to Prevent Information Leakages

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

    Recently Web browsers are widely used as client-side application platforms beyond the traditional use of Web browsers. One of main reasons for such evolution of the browsers is the client-side JavaScript language that can execute programs embedded in a document. However, Web applications with client-side JavaScript programs have problems of leaking private information (such as cookie information) ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Realizability of Collaboration-based Service Specifications

    Publication Year: 2007, Page(s):73 - 80
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (307 KB) | HTML iconHTML

    This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: given a global specification, can we construct a set of communicating state machines whose joint behavior is precisely the specified one? We approach the problem by looking at how collaboration behaviors may be composed using... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Validation and Verification of WSCDL

    Publication Year: 2007, Page(s):81 - 88
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (521 KB) | HTML iconHTML

    This paper presents an approach to validation and verification of the WSCDL specification. In order to validate whether the CDL document is well defined or not, we introduce OCL to precisely describe the constraints which was expressed by natural language, and design a simple validator to check the static properties of the CDL document. The validator is created based on a Java model and the Java m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Figure Out the Current Software Requirements Engineering - What Practitioners Expect to Requirements Engineering? -

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

    This research aims to grasp and describe what Requirements Engineering(RE) covers, what RE tries to solve and what should RE be in the future. For these purposes, the authors did the literature survey and interviews with the authorities of RE and practitioners. The literature survey targeted over 700 papers and reports published from 2001 to 2005 in major RE conferences and journals in order to ca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Method for Early Requirements Triage and Selection Utilizing Product Strategies

    Publication Year: 2007, Page(s):97 - 104
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (637 KB) | HTML iconHTML

    In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requirements aligned with the overall business goals and discard others as early as possible. This paper presents a method that utilizes strategies for early requirements triage. The method presented is based on good practices fro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pseudo Software: a New Concept for Iterative Requirement Development and Validation

    Publication Year: 2007, Page(s):105 - 111
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (969 KB) | HTML iconHTML

    Requirements development and validation are generally agreed to be a difficult task. Current software development methodologies rely on various forms of incremental and iterative strategies to complete the task. While regarded to be effective, the strategies become limited in software outsourcing, which often requires the outsourcer to complete and validate requirements before construction work by... View full abstract»

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