14. APSEC 2007:
Nagoya,
Japan
14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan.
IEEE Computer Society 2007 BibTeX
Keynote Speech
Tutorials
Requirements Engineering I
Testing and Analysis I
Service-Oriented and Web-Based Software
Requirements Engineering II
Testing and Analysis II
Software Components and Reuse
- Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, Liwei Shen:
Coordination-Policy Based Composed System Behavior Derivation.
151-158
Electronic Edition (link) BibTeX
- Nima Haghpanah, Shahrouz Moaven, Jafar Habibi, Mehdi Kargar, Soheil Hassas Yeganeh:
Approximation Algorithms for Software Component Selection Problem.
159-166
Electronic Edition (link) BibTeX
- Hui Song, Yanchun Sun, Li Zhou, Gang Huang:
Towards Instant Automatic Model Refinement Based on OCL.
167-174
Electronic Edition (link) BibTeX
- Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett:
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.
175-182
Electronic Edition (link) BibTeX
Aspect-Oriented Software
- Chien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, Shun-Te Wang:
Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems.
183-190
Electronic Edition (link) BibTeX
- Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen:
Toward Efficient Aspect Mining for Linux.
191-198
Electronic Edition (link) BibTeX
- Ninh-Thuan Truong, Viet Ha Nguyen:
Using B to Verify the Weaving of Aspects.
199-205
Electronic Edition (link) BibTeX
- Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Masahide Banno:
E-AoSAS++ and its Software Development Environment.
206-213
Electronic Edition (link) BibTeX
Software Metrics and Measurement
Software Maintenance and Evolution
- Ling Lan, Gang Huang, Weihu Wang, Hong Mei:
A Middleware-based Approach to Model Refactoring at Runtime.
246-253
Electronic Edition (link) BibTeX
- Yu-Seung Ma, Duk-Kuyn Woo:
Applying a Code Clone Detection Method to Domain Analysis of Device Drivers.
254-261
Electronic Edition (link) BibTeX
- Yoshiki Higo, Yasushi Ueda, Shinji Kusumoto, Katsuro Inoue:
Simultaneous Modification Support based on Code Clone Analysis.
262-269
Electronic Edition (link) BibTeX
- Karthik Subbian, Ramakrishnan Kannan, Raghav Kumar Gautam, Y. Narahari:
Incentive Compatible Mechanisms for Group Ticket Allocation in Software Maintenance Services.
270-277
Electronic Edition (link) BibTeX
Formal Methods I
Software Architecture and Design
Embedded Systems
Formal Methods II
Software Processes I
Empirical Software Engineering
Secure Software
Software Processes II
- Zhedan Pan, Hyuncheol Park, Jongmoon Baik, Ho-Jin Choi:
A Six Sigma Framework for Software Process Improvements and its Implementation.
446-453
Electronic Edition (link) BibTeX
- Fatemeh Chitforoush, Maryam Yazdandoost, Raman Ramsin:
Methodology Support for the Model Driven Architecture.
454-461
Electronic Edition (link) BibTeX
- Raymund Sison, Theresa Yang:
Use of Agile Methods and Practices in the Philippines.
462-469
Electronic Edition (link) BibTeX
- Jingyue Li, Jianqiang Ma, Reidar Conradi, Weibing Chen, Junzhong Ji, Chunnian Liu:
A Survey on the Business Relationship between Chinese Outsourcing Software Suppliers and Their Outsourcers.
470-477
Electronic Edition (link) BibTeX
Software Product-Line
Tools and Developement Environments
Software Quality Management
Workshops
Research Posters
- Fida Hussain, Muhammad Saeed Shehzad:
"Robust and Flexible Software Inspection model" for Software Re-Engineering Process: Abstraction phase.
565
Electronic Edition (link) BibTeX
- Zahra Karimi Dehkordi, Elahe Najafi:
Architectural Naming, a Secret of Agile Thinking.
565
Electronic Edition (link) BibTeX
- Basem Suleiman, Eldar Aliev, Vladimir Tosic:
Time-Quality Metric Model for Quality Measurement of Web-Based Systems.
566
Electronic Edition (link) BibTeX
- Chu-Ti Lin, Chin-Yu Huang:
Analyzing the Service Level of Software Debugging System through Simulation-based Queuing Approach.
566
Electronic Edition (link) BibTeX
- Dongmei Xu, Jun Kurogi, Yoshihide Ohgame, Atsuo Hazeyama:
Distributed Collaborative Modeling Support System for UML diagrams.
567
Electronic Edition (link) BibTeX
- Martin Ouimet, Kristina Lundqvist:
The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems.
567
Electronic Edition (link) BibTeX
- Pengwei Tian, Yaoxue Zhang, Yuezhi Zhou, Ming Zhong, Cunhao Fang:
UCSI Towards a User-Centric Service Integration Approach.
568
Electronic Edition (link) BibTeX
- Di Wu, Jie Chen, Flávio Oquendo:
Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach.
568
Electronic Edition (link) BibTeX
- Meng Wang, Ping Chen, Xiyang Liu, Shengming Hu, Miao Zhang:
DFTL: a Description Language for Transformation of Data Formats.
569
Electronic Edition (link) BibTeX
- Kimiharu Okura, Shinji Kawaguchi, Noriko Hanakawa, Hajimu Iida:
Email and Trouble Report Analysis for Revealing Context with the Project Replayer.
569
Electronic Edition (link) BibTeX
- Xiyang Liu, Tao Liu, Zhiwen Bai, Yan Wang, Haoying Mu, Chunxiang Li:
PORD: a Reversible Debugging Tool using Dynamic Binary Translation.
570
Electronic Edition (link) BibTeX
- Xiaoyu Song:
Non-Functional Requirements Elicitation and Incorporation into Functional Models.
570
Electronic Edition (link) BibTeX
- Yi Wang:
Validating Software Reliability by Binary Translation.
570
Electronic Edition (link) BibTeX
- Yi Wang, Huihui Shi:
Project Management Practices on Building Management Information System in IBM Global Business Service.
571
Electronic Edition (link) BibTeX
- Olivier Buchwalder:
MEtaGile: An Agile Domain-Specific Modeling Environment.
571
Electronic Edition (link) BibTeX
- Sheng-Fei Hsu, Hui-Ling Yu:
Analysis of the Factors of Influencing Parent's Confidence on the Internet by Associating Rules Mining.
572
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:58:19 2009
by Michael Ley (ley@uni-trier.de)
