25th Annual International Computer Software and Applications Conference. COMPSAC 2001

8-12 Oct. 2001

Filter Results

Displaying Results 1 - 25 of 90
  • 25th Annual International Computer Software and Applications Conference. COMPSAC 2001

    Publication Year: 2001
    Request permission for commercial reuse | PDF file iconPDF (586 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 2001, Page(s):645 - 647
    Request permission for commercial reuse | PDF file iconPDF (156 KB)
    Freely Available from IEEE
  • A rough set based self-adaptive Web search engine

    Publication Year: 2001, Page(s):377 - 382
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB) | HTML iconHTML

    Web search engines are very useful information service tools in the Internet. The current Web search engines produce search results relating to the search terms and the actual information collected by them. Since the selections of the search results cannot affect the future ones, they may not cover most people's interests. In the paper, feedback information produced by the users' accessing lists i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A runtime composite service creation and deployment infrastructure and its applications in Internet security, e-commerce, and software provisioning

    Publication Year: 2001, Page(s):371 - 376
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB) | HTML iconHTML

    The creation of composite services from service components at runtime can be achieved using several different techniques. In the first approach, a new common interface is constructed at runtime which allows the functionality of two or more components to be accessed from a single entity while the service components themselves remain distinct and potentially distributed within in a network. In the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An observational theory of integration testing for component-based software development

    Publication Year: 2001, Page(s):363 - 368
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB) | HTML iconHTML

    Integration testing plays a crucial role in component-based software development. Complementary to the existing works on the selection of test cases and measurement of test adequacy in integration testing, the paper focuses on questions about how to observe the behaviours of a large and complicated system during dynamic testing. We first analyse the structure of white-box integration testing and p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exception handling in component-based system development

    Publication Year: 2001, Page(s):580 - 586
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB) | HTML iconHTML

    Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodating (and adjusting, if necessary) exceptions and exception handling provided by individual components. Our intention is to develop an exception handling framework suitable for component-based system development by applyin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault-based testing in the absence of an oracle

    Publication Year: 2001, Page(s):172 - 178
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB) | HTML iconHTML

    Although testing is the most popular method for assuring software quality, there are two recognized limitations, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to address the oracle problem as well. We present an integrated method that com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model driven process engineering

    Publication Year: 2001, Page(s):225 - 230
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB) | HTML iconHTML

    Within the domain of information systems, one of the main technological moves we may presently observe in industrial circles is the paradigm shift from object composition to model transformation. This is happening at a very fast pace. Among the concrete signs of this evolution one may mention the ongoing change at the Object Management Group from OMA (Object Management Architecture) to MDA (Model-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating white- and black-box techniques for class-level regression testing

    Publication Year: 2001, Page(s):357 - 362
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (448 KB) | HTML iconHTML

    In recent years, several techniques have been proposed for class-level regression testing. Most of these techniques focus either on white- or black-box testing, although an integrated approach can have several benefits. As similar tasks have to be carried out for both white- and black-box testing, an integrated approach can improve efficiency and cost effectiveness. The article explains an approac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Utilizing object-oriented databases for concurrency control in virtual environments

    Publication Year: 2001, Page(s):409 - 414
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB) | HTML iconHTML

    Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent interaction by multiple users in a real-time distributed fashion. Such applications need a method for users to share and update the VRML objects in real-time. To allow concurrent shared real-time access, our approach is t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coupling of design patterns: common practices and their benefits

    Publication Year: 2001, Page(s):574 - 579
    Cited by:  Papers (11)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (456 KB) | HTML iconHTML

    Object-oriented (OO) design patterns define collections of interconnected classes that serve a particular purpose. A design pattern is a structural unit in a system built out of patterns, not unlike the way a function is a structural unit in a procedural program or a class is a structural unit in an OO system designed without patterns. When designers treat patterns as structural units, they become... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality planning for software development

    Publication Year: 2001, Page(s):104 - 109
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB) | HTML iconHTML

    A historical project is used as a reference model for the verification planning process. The planning equations and an example are presented. The example objective set is to increase the level of defect removal from the final software from the historical level of 35% to about 88% of the defects introduced into the code and to reduce the overall number of delivered defects/KLOC by 85%. The example ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • End-to-end integration testing design

    Publication Year: 2001, Page(s):166 - 171
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (440 KB) | HTML iconHTML

    Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-to-End (E2E) integration testing, including test scenario specification, test case generation and tool support. Test scenarios are specified as thin threads, each of which represents a single function from an end user's poin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal and use-case driven requirement analysis in UML

    Publication Year: 2001, Page(s):215 - 224
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (736 KB) | HTML iconHTML

    We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the formali... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formalization of software testing criteria using the Z notation

    Publication Year: 2001, Page(s):351 - 356
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB) | HTML iconHTML

    Describes an approach to formalization of criteria of computer systems software testing. A brief review of control-flow criteria is introduced. As a formal language for describing the criteria, the Z notation is selected. Z schemas are presented for definitions of the following criteria: statement coverage, decision coverage, condition coverage, decision/condition coverage, full predicate coverage... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Task and team management in the Distributed Software Project Management Tool

    Publication Year: 2001, Page(s):401 - 408
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB) | HTML iconHTML

    The Distributed Software Project Management Tool (DSPMtool) is an integration of tools opening the realms of software project management to users distributed across the world. The first prototype presented the core of a software repository and configuration management. The authors present DSPMtool's second prototype and introduce new concepts of task and team management to improve the quality of s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • EC-SignGate: electronic contract signing gateway

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

    We describe the motivation, the concept, and the architecture of our electronic contract signing gateway (EC-SignGate) that lets e-merchants without public key infrastructure installation employ digital signatures in their web-based e-business View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An unsupervised segmentation framework for texture image queries

    Publication Year: 2001, Page(s):569 - 573
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB) | HTML iconHTML

    In this paper a novel unsupervised segmentation framework for texture image queries is presented. The proposed framework consists of an unsupervised segmentation method for texture images, and a multi-filter query strategy. By applying the unsupervised segmentation method on each texture image, a set of texture feature parameters for that texture image can be extracted automatically. Based upon th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A memory-based reasoning approach for assessing software quality

    Publication Year: 2001, Page(s):97 - 103
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB) | HTML iconHTML

    Several methods have been explored for assuring the reliability of mission critical systems (MCS), but no single method has proved to be completely effective. This paper presents an approach for quantifying the confidence in the probability that a program is free of specific classes of defects. The method uses memory-based reasoning techniques to admit a variety of data from a variety of projects ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CLPKIDS: a program analysis system for concurrent logic programs

    Publication Year: 2001, Page(s):531 - 537
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB) | HTML iconHTML

    In this paper we describe a program analysis system called CLPKIDS, that is based on program dependence analysis, to support development of software engineering tools for understanding, testing, debugging, maintenance and complexity measurement of concurrent logic programs View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic generation of database instances for white-box testing

    Publication Year: 2001, Page(s):161 - 165
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (344 KB) | HTML iconHTML

    Testing is a critical activity for database application programs as faults if undetected could lead to unrecoverable data loss. Database application programs typically contain statements written in an imperative programming language with embedded data manipulation commands, such as SQL. However relatively little study has been made in the testing of database application programs. In particular, fe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated generation of statistical test cases from UML state diagrams

    Publication Year: 2001, Page(s):205 - 214
    Cited by:  Papers (22)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB) | HTML iconHTML

    The adoption of the object-oriented (OO) technology for the development of critical software raises important testing issues. This paper addresses one of these issues: how to create effective tests from OO specification documents? More precisely, the paper describes a technique that adapts a probabilistic method, called statistical functional testing, to the generation of test cases from UML state... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An editing system for working processes

    Publication Year: 2001, Page(s):332 - 338
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB) | HTML iconHTML

    Business processes are often complex and varying. Workflow technologies help people minimize errors and delays in the progress of a process within an enterprise. Within a workflow management system (WFMS), a process or even a project can be specified and interpreted to work directly. In this paper, we present an editing system and its two major components, PDE (Process Definition Editor) and FormD... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DSIAS: a software architectural style for distributed software integration systems

    Publication Year: 2001, Page(s):291 - 296
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (344 KB) | HTML iconHTML

    We propose a distributed software integration architectural style (DSIAS) to provide a blueprint and reference document that would be useful to software system designers when integrating commercial off-the-shelf (COTS) products under distributed and Internet environment. DSIAS provides a framework indicating the structure topology to put lots of originally unrelated COTS products together into a C... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Category-based Web personalization system

    Publication Year: 2001, Page(s):621 - 625
    Cited by:  Papers (1)  |  Patents (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (408 KB) | HTML iconHTML

    There has been a massive growth in systems on the Internet that can personalize the content delivered to individual users. This paper develops a category-based Web personalization system in which an unconventional system logger, along with a category generator and a customizer, was designed. This system obtains and records more precise information directly from the users' activity and the objects ... View full abstract»

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