1. Home
  2. Proceedings
  3. APSEC
  4. APSEC 2001
Default Cover Image

Proceedings Eighth Asia-Pacific Software Engineering Conference

Dec. 4 2001 to Dec. 7 2001

Macao, China

Table of Contents

Proceedings Eighth Asia-Pacific Software Engineering ConferenceFreely available from IEEE.pp. iii-iii
Analyzing the CRF Java memory modelFull-text access may be available. Sign in or learn about subscription options.pp. 21,22,23,24,25,26,27,28
by Y. Yang, G. Gopalakrishnan, G. Lindstrom
Program specialisation in the refinement calculusFull-text access may be available. Sign in or learn about subscription options.pp. 29,30,31,32,33,34,35,36
by L. Groves
Message from the Conference ChairsFreely available from IEEE.pp. x
Message from the Program ChairsFreely available from IEEE.pp. xi
Conference CommitteeFreely available from IEEE.pp. xii
Program CommitteeFreely available from IEEE.pp. xiii
Steering CommitteeFreely available from IEEE.pp. xv
Additional ReviewersFreely available from IEEE.pp. xvi
Keynote I
Model Checking Value-Passing ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 3
by Huimin Lin
Session 1A: Formal Methods I
Using TCOZ for Modeling Web CachingFull-text access may be available. Sign in or learn about subscription options.pp. 13
by Henry Novianus Palit
Session 1B: Tools and Environments
Formalization and 'Literate' ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 39
by Hugh Anderson
Session 1B: Tools and Environments
A Run-Time Deadlock Detector for Concurrent Java ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 45
by Yusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng
Session 1B: Tools and Environments
XML Rule Based Source Code Generator for UML CASE ToolFull-text access may be available. Sign in or learn about subscription options.pp. 53
by Dong Hyuk Park, Soo Dong Kim
Session 2A: Reactive and Real-Time Embedded Systems
Automatic Translation of a Timed Process Algebra into Dynamic State GraphsFull-text access may be available. Sign in or learn about subscription options.pp. 63
by J. Jose Pardo, Valentin Valero, Fernando Cuartero, Diego Cazorla
Session 2A: Reactive and Real-Time Embedded Systems
Formal Verification of Embedded Real-Time Software in Component-Based Application FrameworksFull-text access may be available. Sign in or learn about subscription options.pp. 71
by Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen
Session 2A: Reactive and Real-Time Embedded Systems
Component Identification Method with Coupling and CohesionFull-text access may be available. Sign in or learn about subscription options.pp. 79
by Jong Kook Lee, Seung Jae Seung, Soo Dong Kim, Woo Hyun, Dong Han Han
Session 2B: System Modeling and Design Methodology
The Canonical Functional Design Based on the Domination-Relationship among DataFull-text access may be available. Sign in or learn about subscription options.pp. 89
by Sukhamay Kundu
Session 2B: System Modeling and Design Methodology
Aspect-Oriented Implementation of Software Health IndicatorsFull-text access may be available. Sign in or learn about subscription options.pp. 97
by James Thai, Barry Pekilis, Alexander Lau, Rudolph Seviora
Session 2B: System Modeling and Design Methodology
Specification of Distributed Systems with a Combination of Graphica and Formal LanguagesFull-text access may be available. Sign in or learn about subscription options.pp. 105
by Einar B. Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
Session 3A: Software Architecture and Framework
Architectural Design for Evolution by Analyzing Requirements on Quality AttributesFull-text access may be available. Sign in or learn about subscription options.pp. 111
by Tomoji Kishi, Natsuko Noda, Takuya Katayama
Session 3A: Software Architecture and Framework
A Formal Framework to Build Software AgentsFull-text access may be available. Sign in or learn about subscription options.pp. 119
by Manas Ranjan Patra, Hrushikesha Mohanty
Session 3A: Software Architecture and Framework
Trading-Assisting Service Discovery ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 127
by Twittie Senivongse, Worawut Suphasanthitikul
Session 3B: Requirements Engineering
Using Default Reasoning to Discover Inconsistencies in Natural Language RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 133
by Didar Zowghi, Vincenzo Gervasi, Andrew McRae
Session 3B: Requirements Engineering
A Model for Navigating Interview Processes in Requirements ElicitationFull-text access may be available. Sign in or learn about subscription options.pp. 141
by Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiroh Yamamoto, Hisayuki Horai
Session 3B: Requirements Engineering
An Empirical Study of Requirements Engineering in Distributed Software Projects: Is Distance Negotiation More Effective?Full-text access may be available. Sign in or learn about subscription options.pp. 149
by Daniela Damian
Keynote II
Formalizing Models and Meta-models for System DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 155
by R. Venkatesh, Purandar Bhaduri, Mathai Joseph
Session 4A: Formal Methods II
Operational Semantics for VerilogFull-text access may be available. Sign in or learn about subscription options.pp. 161
by Jordan Dimitrov
Session 4A: Formal Methods II
Formal Specification of Mixed Components with KorriganFull-text access may be available. Sign in or learn about subscription options.pp. 169
by Christine Choppy, Pascal Poizat, Jean-Claude Royer
Session 4A: Formal Methods II
Deriving Operational Semantics from Denotational Semantics for VerilogFull-text access may be available. Sign in or learn about subscription options.pp. 177
by Huibiao Zhu, Jonathan P. Bowen, Jifeng He
Using a scenario model to derive the functions of a formal specificationFull-text access may be available. Sign in or learn about subscription options.pp. 329,330,331,332
by M.V. Mauco, D. Riesco, C. George
Session 4B: Software Management and Planning
Scheduling Software Projects to Minimize the Development Time and Cost with a Given StaffFull-text access may be available. Sign in or learn about subscription options.pp. 187
by Frank Padberg
Session 4B: Software Management and Planning
Improving the Testing Process by Program Static AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 195
by Nahomi Kikuchi, Tohru Kikuno
Session 4B: Software Management and Planning
Tailoring and Verifying Software ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 202
by II-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae
Session 5A: Software Testing Techniques
A Rigorous Method for Testing Real-Time Reactive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 213
by V.S. Alagar, M. Zheng
Session 5A: Software Testing Techniques
The Design and Implementation of Automata-based Testing Environment for Java Multi-thread ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 221
by Heui-Seok Seo, In Sang Chung, Byeon Man Kim, Yong Rae Kwon
Session 5A: Software Testing Techniques
An Effective Testing Technique for Component Composition in EJBsFull-text access may be available. Sign in or learn about subscription options.pp. 229
by Hoijin Yoon, Byoungju Choi
Session 5A: Software Testing Techniques
On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box TestingFull-text access may be available. Sign in or learn about subscription options.pp. 237
by Jin-Hui Shan, Ji Wang, Zhi-Chang Qi
Session 5B: Object-Oriented Analysis and Design
On the Implementation of Catalysis Frameworks in COMFull-text access may be available. Sign in or learn about subscription options.pp. 243
by Shui Ming Ho, Kung-Kiu Lau
Session 5B: Object-Oriented Analysis and Design
A Requirements Description Metamodel for Use CasesFull-text access may be available. Sign in or learn about subscription options.pp. 251
by Takako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai
Session 5B: Object-Oriented Analysis and Design
Formal Object-Oriented Analysis and Design of an Online Ticketing SystemFull-text access may be available. Sign in or learn about subscription options.pp. 259
by Xiaoshan Li, Zhiming Liu, Zhensheng Guo
Session 5B: Object-Oriented Analysis and Design
Applying Mutation Analysis for Object-Oriented Programs Using a Reflective ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 267
by Philippe Chevalley
Session 6A: Software Maintenance
A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic InformationFull-text access may be available. Sign in or learn about subscription options.pp. 273
by Fumiaki Ohata, Kouya Hirose, Masato Fujii, Katsuro Inoue
Session 6A: Software Maintenance
Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 281
by Christos Tjortjis, Paul Layzell
Session 6B: Formal Methods III
The Steam Boiler in a Unified Theory of Z and CSPFull-text access may be available. Sign in or learn about subscription options.pp. 291
by Jim Woodcock, Ana Cavalcanti
Session 6B: Formal Methods III
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 299
by Gwen Salaün, Michel Allemand, Christian Attiogbé
Keynote III
Orchestrating Computations on the World-Wide WebFull-text access may be available. Sign in or learn about subscription options.pp. 305
by Jayadev Misra, Harrick Vin
Session 7A: Formal Methods IV
Partitioning Program into Hardware and SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 309
by Shengchao Qin, Jifeng He
Session 7A: Formal Methods IV
A Probabilistic Approach to Automatic Verification of Concurrent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 317
by Enrio Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
Session 7A: Formal Methods IV
A Theory of Combinational ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 325
by Van Dung Tran, Jifeng He
Session 7B: Software Architecture and Framework
Quality Requirement Elicitation for the Architecture Evaluation of Process Computer SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 335
by JaeJoon Lee, Sucheol Ha, Kyo C. Kang, Youngyeol Choo, Yoonpyo Hong, Hwawon Hwang
Session 7B: Software Architecture and Framework
Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 341
by Allen H. Dutoit, Oliver Creighton, Gudrun Klinker, Rafael Kobylinski, Christoph Vilsmeier, Bernd Bruegge
Session 7B: Software Architecture and Framework
Development of Session Management Mechanism for Cellular Phone with WWW ConnectionFull-text access may be available. Sign in or learn about subscription options.pp. 345
by Satoru Uehara, Osamu Mizuno, Tohru Kikuno
Keynote IV
Cost Analysis of Games, Using Program LogicFull-text access may be available. Sign in or learn about subscription options.pp. 351
by Carroll Morgan, Annabelle McIver
Session 8A: Formal Methods V
Compilation of SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 355
by C.J. Fidge
Session 8A: Formal Methods V
Model Checking UML StatechartsFull-text access may be available. Sign in or learn about subscription options.pp. 363
by Wei Dong, Ji Wang, Xuan Qi, Zhi-Chang Qi
Session 8A: Formal Methods V
Automatic Synthesis of the DC Specifications of Lip Synchronisation ProtocolFull-text access may be available. Sign in or learn about subscription options.pp. 371
by Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan
Session 8B: Reengineering and Reverse Engineering
Identifying Candidate Objects Using Hierarchical Clustering AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 381
by Somsak Phattarsukol, Pornsiri Muenchaisri
Session 8B: Reengineering and Reverse Engineering
A Framework for Migrating Procedural Code to Object-Oriented PlatformsFull-text access may be available. Sign in or learn about subscription options.pp. 390
by Ying Zou, Kostas Kontogiannis
Session 8B: Reengineering and Reverse Engineering
An Automatic Restructuring Approach Preserving the Behavior of Object-Oriented DesignsFull-text access may be available. Sign in or learn about subscription options.pp. 400
by Byungjeong Lee, Chisu Wu
Session 9A: Component-Based Design Techniques/Empirical Studies
A Component-Based Framework and Reusability in GarmentFull-text access may be available. Sign in or learn about subscription options.pp. 411
by Naixiao Zhang, Ying Liu
Session 9A: Component-Based Design Techniques/Empirical Studies
Component Metrics to Measure Component QualityFull-text access may be available. Sign in or learn about subscription options.pp. 419
by Eun Sook Cho, Min Sun Kim, Soo Dong Kim
Session 9A: Component-Based Design Techniques/Empirical Studies
Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development ProjectFull-text access may be available. Sign in or learn about subscription options.pp. 427
by Allen H. Dutoit, Joyce Johnstone, Bernd Bruegge
Session 9A: Component-Based Design Techniques/Empirical Studies
Framework for Third Party Testing of Component SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 431
by Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong-Rae Kwon
Session 9B: Formal Methods VI
Z User Studio: An Integrated Support Tool for Z SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 437
by Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li LI
Session 9B: Formal Methods VI
Model Checking Object-Z Classes: Some Experiments with FDRFull-text access may be available. Sign in or learn about subscription options.pp. 445
by Geoff Kassel, Graeme Smith
Session 9B: Formal Methods VI
An XML/XSL Approach to Visualize and Animate TCOZFull-text access may be available. Sign in or learn about subscription options.pp. 453
by Jing Sun, Jin Song Dong, Jing Liu, Hai Wang
Session 9B: Formal Methods VI
Author IndexFreely available from IEEE.pp. 0461
Showing 68 out of 68