Proceedings Eighth Asia-Pacific Software Engineering Conference最新文献_第3页

Architectural issues in mobile augmented reality systems: a prototyping case study 移动增强现实系统中的架构问题:原型案例研究

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991499

A.H. Dutoit, Oliver Creighton, G. Klinker, R. Kobylinski, Christoph Vilsmeier, B. Brügge

引用次数: 19

A XML/XSL approach to visualize and animate TCOZ 一种可视化和动画化TCOZ的XML/XSL方法

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991514

Jing Sun, J. Dong, Jing Liu, Hai H. Wang

引用次数: 18

Using TCOZ for modeling Web caching 使用TCOZ对Web缓存建模

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991454

H. Palit

引用次数: 0

Aspect-oriented implementation of software health indicators 面向方面实现软件健康指标

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991464

James Thai, B. Pekilis, Alexander Lau, R. Seviora

{"title":"Aspect-oriented implementation of software health indicators","authors":"James Thai, B. Pekilis, Alexander Lau, R. Seviora","doi":"10.1109/APSEC.2001.991464","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991464","url":null,"abstract":"In the development of many software systems, the focus was on functionality. When these systems are used in situations requiring higher reliability and availability, such qualities must be retrofitted into the system. This paper considers a way of adding such capability to existing software by taking advantage of aspect-oriented programming, a recently developed technology which supports encapsulation of non-functional concerns. The paper introduces the notion of a system health index as a measure of the internal system well-being, and identifies a number of health indicators, i.e. operational metrics from which a health index could be derived. The paper then discusses an aspect-oriented implementation of health indicators and lists several applicable aspect-oriented design patterns. Experience obtained from the implementation of health indicators in a distributed system whose original development focused only on functionality is then summarized. The experience suggests that time and space overhead and development costs are moderate, and that there is a distinct advantage of aspect-oriented implementation of health indicators.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132204214","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 19

Knowledge scouts: Reducing communication barriers in a distributed software development project 知识侦察兵:减少分布式软件开发项目中的沟通障碍

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991510

A.H. Dutoit, Joyce Johnstone, B. Brügge

引用次数: 17

Formal framework for a generic combination of a process algebra with an algebraic specification language: an overview 过程代数与代数规范语言的一般组合的形式化框架:概述

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991491

Gwen Salaün, M. Allemand, J. Attiogbé

引用次数: 9

Framework for third party testing of component software 组件软件的第三方测试框架

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991511

Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Y. Kwon

引用次数: 18

Model checking UML statecharts 模型检查UML状态图

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991503

Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi

引用次数: 33

The design and implementation of automata-based testing environment for Java multi-thread programs 基于自动机的Java多线程程序测试环境的设计与实现

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991480

Heui-Seok Seo, I. Chung, B. Kim, Y. Kwon

{"title":"The design and implementation of automata-based testing environment for Java multi-thread programs","authors":"Heui-Seok Seo, I. Chung, B. Kim, Y. Kwon","doi":"10.1109/APSEC.2001.991480","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991480","url":null,"abstract":"Deterministic execution testing has been considered a promising method for concurrent program testing because of its reproducibility. However, since deterministic execution requires that a synchronization sequence to be replayed is feasible and valid, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we proposed automata-based testing in previous work, where a concurrent program is executed according to one sequence accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and design and implement key components-automata generator, program transformer and replay controller. Algorithms for generating the equivalence automaton of a given sequence are presented and a program transformation method is suggested in order to guide a program to be executed according to the sequence accepted by the automaton. The replay controller is also redesigned and implemented to adopt the automaton. By illustrating automata-based testing procedures with the gas station example, we show how the proposed approach works in Java multi-threaded programs.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129985389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 14

An automatic restructuring approach preserving the behavior of object-oriented designs 保留面向对象设计行为的自动重构方法

Proceedings Eighth Asia-Pacific Software Engineering Conference Pub Date : 2001-12-04 DOI: 10.1109/APSEC.2001.991507

Byungjeong Lee, Chisu Wu

{"title":"An automatic restructuring approach preserving the behavior of object-oriented designs","authors":"Byungjeong Lee, Chisu Wu","doi":"10.1109/APSEC.2001.991507","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991507","url":null,"abstract":"Work on restructuring object-oriented designs involves metrics for quality estimation, and automated transformations. However, these factors have been treated almost independently of each other. A long-term goal is to define behavior-preserving design transformations, and automate the transformations using metrics. This paper describes an automatic restructuring approach that preserves the behavior of an object-oriented design. Cohesion and coupling metrics, based on abstract models that represent design components and their relationships, are defined to quantify designs and provide criteria for comparing alternative designs. Primitive operations and semantics for restructuring are defined to validate the preservation of design behavior This approach devises a fitness function using cohesion and coupling metrics, and restructures object-oriented designs by applying a genetic algorithm using the fitness function. We empirically evaluate the capability of this approach by applying it to the designs of Java programs and compare our results with a simulated annealing-based approach. Results from our experiments demonstrate that this approach may be useful in improving object-oriented designs automatically.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115480274","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1