By Topic

Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific

Date 5-8 Dec. 2000

Filter Results

Displaying Results 1 - 25 of 63
  • Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000

    Publication Year: 2000
    Request permission for commercial reuse | PDF file iconPDF (279 KB)
    Freely Available from IEEE
  • An adaptive distributed workflow system framework

    Publication Year: 2000, Page(s):311 - 318
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (671 KB)

    Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Recent developments in distributed information system technology now make it possible to extend the workflow management system idea to much wider spheres of activity in the industrial and commercial world. This paper descri... View full abstract»

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

    Publication Year: 2000, Page(s):494 - 495
    Request permission for commercial reuse | PDF file iconPDF (88 KB)
    Freely Available from IEEE
  • Extending Statecharts with ad lib and multi-thread features

    Publication Year: 2000, Page(s):330 - 334
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (364 KB)

    Statecharts is a good tool for modeling reactive systems. It models systems by means of states and transitions. Inherited from its ancestor the state diagram, the states and transitions have to be known in advance. In many reactive systems, such as Web navigation, states and transitions may not be known in advance. Multi-thread processing is also popular in dynamic reactive systems. These features... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Unifying theories of healthiness condition

    Publication Year: 2000, Page(s):70 - 81
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (752 KB)

    A theory of programming starts with a complete Boolean algebra of specifications, and defines healthiness conditions which exclude infeasibility of implementation. These are expressed as algebraic laws useful for transformation and optimisation of designs. Programming notations and languages must be restricted to those preserving all the healthiness conditions. We have explored a wide range of pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Issues in object orienting the ST Microelectronics manufacturing model

    Publication Year: 2000, Page(s):325 - 329
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (448 KB)

    Current manufacturing systems have a very structured production model, especially when high complexity and precision is required, as in semiconductor device manufacturing. In addition, rapid changes in both production and market requirements may occur, hence such models should also provide great flexibility. In this case study paper we introduce the model used inside STMicroelectronics facilities ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of the impact of reading technique and inspector capability on individual inspection performance

    Publication Year: 2000, Page(s):136 - 145
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    Inspection of software documents is an effective quality assurance measure to detect defects in the early stages of software development. It can provide timely feedback on product quality to both developers and managers. This paper reports on a controlled experiment that investigated the influence of reading techniques and inspector capability on individual effectiveness to find given sets of defe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A process logic for distributed system synthesis

    Publication Year: 2000, Page(s):62 - 69
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    We define a process algebra DS@ to formally describe distributed systems and a process logic SP@ to formally describe their specifications. Then, we present a method to synthesize a distributed system (described in DS@) from given specifications (described in SP@). The main contribution is to show how to check the satisfiability of process logic in which concurrent behavior is distinct from interl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transatlantic project courses in a university environment

    Publication Year: 2000, Page(s):30 - 37
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    Communication and collaboration is difficult in geographically distributed settings. As a result of globalization, mergers and acquisitions, and scarce skills, software development projects are increasingly more distributed. Hence, teaching software engineering students how to cope with distribution becomes a critical issue. This paper describes our experience with teaching three distributed softw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Goal based agent-oriented software modeling

    Publication Year: 2000, Page(s):320 - 324
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB)

    This paper presents a goal based modeling method for an agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties of an agent system were not efficiently reflected in the development phase (analysis, design, etc.), because the techniques based on the other software paradigm are adopted to develop agent-oriented software. The res... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering and strategic decision exploration: an area for interdisciplinary research

    Publication Year: 2000, Page(s):127 - 131
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (456 KB)

    Advances in strategic decision exploration and requirements engineering have brought about areas of overlap between them. We explore the areas of overlap as a mechanism for transferring ideas and approaches between the two disciplines. We exemplify the argument by showing how the “live models” approach can be applied to both contexts, based on the results of a pilot interdisciplinary p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reusable integrated components of inter-related patterns for software development

    Publication Year: 2000, Page(s):364 - 371
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    Patterns are a means for capturing experience in solving general problems. They give general solutions to common and recurring problems. They exist at various phases of the software development life-cycle (SDLC), namely the analysis phase, the design phase, the coding phase and the testing phase. Patterns in each phase are identified independently. It is possible for the patterns of one phase to b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Consistency checks for UML

    Publication Year: 2000, Page(s):162 - 169
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    In this article, we present an approach to defining UML diagrams in terms of state predicates and using the theorem prover PVS (Prototype Verification System) to verify consistency between various diagrams. We focus on the dynamic aspects of the various diagrams. Our approach can easily handle partially specified systems as the behaviour is described in terms of the history of the computation View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design

    Publication Year: 2000, Page(s):54 - 61
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    This paper describes the basic methodology of a formal method (LAST) that uses elements of linear algebra and set theory for IS-specification. It also reports on an R&D project whose aim is to develop LAST and to make it fully operational. To this end, a CASE-tool consisting of a LAST user interface, and a translator LAST-UML will be developed and tested. The necessary description of LAST-UML ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pareto-based soft real-time task scheduling in multiprocessor systems

    Publication Year: 2000, Page(s):24 - 28
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    We develop a new method to map (i.e. allocate and schedule) real-time applications into certain multiprocessor systems. Its objectives are: the minimization of the number of processors used; and the minimization of the deadline missing time. Given a parallel program with real time constraints and a multiprocessor system, our method finds schedules of the program in the system which satisfy all the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coherence equals cohesion-or does it?

    Publication Year: 2000, Page(s):465 - 469
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    Traditionally, cohesion of a software component is evaluated as the similarity of its constituent parts. It may be more appropriate to measure functional coherence, or coherence of usage of a component, by analyzing external usage patterns of component's clients. We define an appropriate measure, starting from a generic system model and its associated mechanism for calculating object sizes. We sho... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pragmatic data modelling and design for end users

    Publication Year: 2000, Page(s):120 - 126
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (684 KB)

    Many people are dependent on desktop end user tools such as spreadsheets and databases to manage their data. While they may have the technical skills to set up data repositories, many end users lack the analysis skills to design data models which reflect their often deceptively complex requirements. We advocate that a comprehensive data model should always be developed, with expert help, so that t... View full abstract»

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

    Publication Year: 2000, Page(s):441 - 445
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (456 KB)

    The paper is concerned with the risks associated with software development and with the range of factors that can impact on the quality of the project management process. The management goal is to mitigate these risks leaving the project plan as unperturbed as possible. To achieve this goal risk analysis must attempt to identify the high risk elements of the project, provide ways of documenting th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A comparative evaluation of techniques for syntactic level source code analysis

    Publication Year: 2000, Page(s):282 - 289
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (644 KB)

    Many program maintenance tools rely on traditional parsing techniques to obtain syntactic level models of the code being maintained. When, for some reason, code cannot be parsed, software maintainers are forced to fall back on ad hoc tools and techniques, such as grep. As an alternative, hierarchical lexical analysis augmented with simple data structures can be used to extract an approximation of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tailoring test process by using the component-based development paradigm and the XML technology

    Publication Year: 2000, Page(s):356 - 363
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    ISO (International Standardization Organization) and the IEC (International Electrotechnical Commission) provide numerous standards for software products and processes. Utilizing those standards specific to a project requires some tailoring to meet the development domain. This paper includes: (1) a test process meta-model, which is a test process defined in standards; (2) “a scheme for tailo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A preliminary comparison of computer mediated training tools

    Publication Year: 2000, Page(s):402 - 406
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (456 KB)

    Various factors are leading organisations to deliver flexible learning via the Internet. These pressures include the need to be seen to be using the latest technology, the demand from users away from traditional courses to ones that can deliver anytime, anywhere and lastly to escape from the need to provide expensive classrooms and laboratories. There are different proprietary and off-the-shelf so... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Monitoring facilities in languages supporting development of concurrent self-measurement programs

    Publication Year: 2000, Page(s):92 - 99
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    Large-scale and highly reliable concurrent systems are more and more required and it is indispensable for them to keep on measuring and monitoring in order to ensure their reliability. Some systematic method for developing self-measurement concurrent systems has been needed. Self-measurement programs may be difficult to be developed and maintained in a conventional environment for development. Thi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Checking compositions of UML sequence diagrams for timing inconsistency

    Publication Year: 2000, Page(s):154 - 161
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (552 KB)

    For real-time systems, UML sequence diagrams describe interactions among objects, which show scenarios of the system behaviour. A simple UML sequence diagram describes exactly one scenario. For describing multiple scenarios and specifying real-time systems, we need to consider the compositions of UML sequence diagrams. In this paper, we introduce high-level graphs to describe compositions of UML s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bloodshot eyes: workload issues in computer science project courses

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

    Workload issues in computer science project courses are addressed. We briefly discuss why high workloads occur in project courses and the reasons they are a problem. We then describe some course changes we made to reduce the workload in a software engineering project course, without compromising course quality. The techniques include: adopting an iterative and incremental process, reducing the req... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning about real-time programs using idle-invariant assertions

    Publication Year: 2000, Page(s):16 - 23
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    We develop a set of laws for reasoning about real-time programs using assertions (preconditions and postconditions) in the style of Hoare. In the real-time context assertions may refer to the current time and to the value of external inputs, which are not under the direct control of the program and hence not guaranteed to be stable with respect to the passage of time (even if the program does not ... View full abstract»

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