default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th APSEC 2001: Macau, China
- 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China. IEEE Computer Society 2001, ISBN 0-7695-1408-1
Keynote I
- Huimin Lin:
Model Checking Value-Passing Processes. 3-
Formal Methods I
- Henry Novianus Palit:
Using TCOZ for Modeling Web Caching. 13-
Tools and Environments
- Hugh Anderson:
Formalization and 'Literate' Programming. 39-44 - Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng:
A Run-Time Deadlock Detector for Concurrent Java Programs. 45-52 - Dong Hyuk Park, Soo Dong Kim:
XML Rule Based Source Code Generator for UML CASE Tool. 53-
Reactive and Real-Time Embedded Systems
- Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla:
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. 63-70 - Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen:
Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. 71-78 - Jong Kook Lee, Seung Jae Seung, Soo Dong Kim, Woo Hyun, Dong Han Han:
Component Identification Method with Coupling and Cohesion. 79-
System Modeling and Design Methodology
- Sukhamay Kundu:
The Canonical Functional Design Based on the Domination-Relationship among Data. 89-96 - James Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora:
Aspect-Oriented Implementation of Software Health Indicators. 97-104 - Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Specification of Distributed Systems with a Combination of Graphica and Formal Languages. 105-
Software Architecture and Framework
- Tomoji Kishi, Natsuko Noda, Takuya Katayama:
Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. 111-118 - Manas Ranjan Patra, Hrushikesha Mohanty:
A Formal Framework to Build Software Agents. 119-126 - Twittie Senivongse, Worawut Suphasanthitikul:
Trading-Assisting Service Discovery Architecture. 127-
Requirements Engineering
- Didar Zowghi
, Vincenzo Gervasi, Andrew McRae:
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. 133- - Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai:
A Model for Navigating Interview Processes in Requirements Elicitation. 141-148 - Daniela E. Damian:
An Empirical Study of Requirements Engineering in Distributed Software Projects: Is Distance Negotiation More Effective? 149-
Keynote II
- R. Venkatesh, Purandar Bhaduri, Mathai Joseph:
Formalizing Models and Meta-models for System Development. 155-
Formal Methods II
- Jordan Dimitrov:
Operational Semantics for Verilog. 161-168 - Christine Choppy, Pascal Poizat, Jean-Claude Royer:
Formal Specification of Mixed Components with Korrigan. 169-176 - Huibiao Zhu, Jonathan P. Bowen, Jifeng He:
Deriving Operational Semantics from Denotational Semantics for Verilog. 177-
Software Management and Planning
- Frank Padberg:
Scheduling Software Projects to Minimize the Development Time and Cost with a Given Staff. 187-194 - Nahomi Kikuchi, Tohru Kikuno:
Improving the Testing Process by Program Static Analysis. 195-201 - Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae:
Tailoring and Verifying Software Process. 202-
Software Testing Techniques
- Vangalur S. Alagar, Mao Zheng:
A Rigorous Method for Testing Real-Time Reactive Systems. 213-220 - Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon:
The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. 221-228 - Hoijin Yoon, Byoungju Choi:
An Effective Testing Technique for Component Composition in EJBs. 229-236 - Jinhui Shan, Ji Wang, Zhichang Qi:
On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. 237-
Object-Oriented Analysis and Design
- Shui Ming Ho, Kung-Kiu Lau:
On the Implementation of Catalysis Frameworks in COM. 243-250 - Takako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai:
A Requirements Description Metamodel for Use Cases. 251-258 - Xiaoshan Li, Zhiming Liu, Zhensheng Guo:
Formal Object-Oriented Analysis and Design of an Online Ticketing System. 259- - Philippe Chevalley:
Applying Mutation Analysis for Object-Oriented Programs Using a Reflective Approach. 267-
Software Maintenance
- Fumiaki Ohata, Kouya Hirose, Masato Fujii, Katsuro Inoue:
A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information. 273-280 - Christos Tjortjis, Paul J. Layzell:
Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach. 281-
Formal Methods III
- Jim Woodcock, Ana Cavalcanti:
The Steam Boiler in a Unified Theory of Z and CSP. 291-298 - Gwen Salaün, Michel Allemand, J. Christian Attiogbé:
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. 299-
Keynote III
- Jayadev Misra, Harrick M. Vin:
Orchestrating Computations on the World-Wide Web. 305-
Formal Methods IV
- Shengchao Qin, Jifeng He:
Partitioning Program into Hardware and Software. 309-316 - Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli:
A Probabilistic Approach to Automatic Verification of Concurrent Systems. 317-324 - Van Dung Tran, Jifeng He:
A Theory of Combinational Programs. 325-
Software Architecture and Framework
- Jaejoon Lee, Sucheol Ha, Kyo Chul Kang, Youngyeol Choo, Yoonpyo Hong, Hwawon Hwang:
Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems. 335-340 - Allen H. Dutoit, Oliver Creighton, Gudrun Klinker, Rafael Kobylinski, Christoph Vilsmeier, Bernd Brügge:
Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case Study. 341-344 - Satoru Uehara, Osamu Mizuno, Tohru Kikuno:
Development of Session Management Mechanism for Cellular Phone with WWW Connection. 345-
Keynote IV
- Carroll Morgan, Annabelle McIver:
Cost Analysis of Games, Using Program Logic. 351-
Formal Methods V
- Colin J. Fidge:
Compilation of Specifications. 355-362 - Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi:
Model Checking UML Statecharts. 363-370 - Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan:
Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. 371-
Reengineering and Reverse Engineering
- Somsak Phattarsukol, Pornsiri Muenchaisri:
Identifying Candidate Objects Using Hierarchical Clustering Analysis. 381-389 - Ying Zou, Kostas Kontogiannis:
A Framework for Migrating Procedural Code to Object-Oriented Platforms. 390-499 - Byungjeong Lee, Chisu Wu:
An Automatic Restructuring Approach Preserving the Behavior of Object-Oriented Designs. 400-
Component-Based Design Techniques/Empirical Studies
- Naixiao Zhang, Ying Liu:
A Component-Based Framework and Reusability in Garment. 411-418 - Eun Sook Cho, Min Sun Kim, Soo Dong Kim:
Component Metrics to Measure Component Quality. 419-426 - Allen H. Dutoit, Joyce Johnstone, Bernd Brügge:
Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development Project. 427-430 - Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon:
Framework for Third Party Testing of Component Software. 431-
Formal Methods VI
- Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li:
Z User Studio: An Integrated Support Tool for Z Specifications. 437-444 - Geoff Kassel, Graeme Smith:
Model Checking Object-Z Classes: Some Experiments with FDR. 445-452 - Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang:
An XML/XSL Approach to Visualize and Animate TCOZ. 453-460
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
