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

2008 15th Asia-Pacific Software Engineering Conference

Dec. 3 2008 to Dec. 5 2008

Beijing

Table of Contents

Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-ix
Papers
list-reviewerFreely available from IEEE.pp. xv
A Dynamic Model of Software Product Generative ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 43-50
by Giulio Concas, Michele Marchesi, Sandro Pinna, Roberto Tonelli, Ivana Turnu
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
Message from the General ChairFreely available from IEEE.pp. x
Papers
Message the from Program Committee ChairsFreely available from IEEE.pp. xi
Papers
Conference CommitteesFreely available from IEEE.pp. xii-xiv
Risks and Risk Management in Software Architecture Evolution: An Industrial SurveyFull-text access may be available. Sign in or learn about subscription options.pp. 101-108
by Odd Petter N. Slyngstad, Reidar Conradi, M. Ali Babar, Viktor Clerc, Hans van Vliet
Papers
Using Abstraction to Verify Arbitrary Temporal PropertiesFull-text access may be available. Sign in or learn about subscription options.pp. 3
by Amir Pnueli
Papers
Beyond Agile: SmartFull-text access may be available. Sign in or learn about subscription options.pp. 4
by Ivar Jacobson
Papers
Service RefinementFull-text access may be available. Sign in or learn about subscription options.pp. 5
by Jifeng He
Papers
Early Filtering of Polluting Method Calls for Mining Temporal SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 9-16
by Hao Zhong, Lu Zhang, Hong Mei
Papers
DRACULA: Detector of Data Races in Signals HandlersFull-text access may be available. Sign in or learn about subscription options.pp. 17-24
by Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga
Papers
Detection of Diverse Design Pattern VariantsFull-text access may be available. Sign in or learn about subscription options.pp. 25-32
by Krzysztof Stencel, Patrycja Wegrzynowicz
Papers
An Empirical Study of Unused Design Decisions in Open Source Java SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 33-40
by Ewan Tempero
Papers
A Case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural SimilarityFull-text access may be available. Sign in or learn about subscription options.pp. 51-58
by Dongwon Kang, In-Gwon Song, Seunghun Park, Doo-Hwan Bae, Hoon-Kyu Kim, Nobok Lee
Papers
Software Process Simulation Modeling: Facts, Trends and DirectionsFull-text access may be available. Sign in or learn about subscription options.pp. 59-66
by He Zhang, Barbara Kitchenham, Dietmar Pfahl
Papers
An Investigation on Performance of Software Enhancement Projects in ChinaFull-text access may be available. Sign in or learn about subscription options.pp. 67-74
by Mei He, Ye Yang, Qing Wang, Mingshu Li
Papers
A Nonlinear Approach to Modeling of Software Aging in a Web ServerFull-text access may be available. Sign in or learn about subscription options.pp. 77-84
by Yun-Fei Jia, Lei Zhao, Kai-Yuan Cai
Papers
Towards Unanticipated Runtime Adaptation of Java ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 85-92
by Mario Pukall, Christian Kästner, Gunter Saake
Papers
Correctness of Request Executions in Online Updates of Concurrent Object Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 93-100
by Yogesh Murarka, Umesh Bellur
Papers
A Technique to Check the Implementability of Behavioral Specifications with FrameworksFull-text access may be available. Sign in or learn about subscription options.pp. 111-118
by Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki
Papers
Execution Semantics for rCOSFull-text access may be available. Sign in or learn about subscription options.pp. 119-126
by Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He
Papers
A Heap Model for Java Bytecode to Support Separation LogicFull-text access may be available. Sign in or learn about subscription options.pp. 127-134
by Chenguang Luo, Guanhua He, Shengchao Qin
Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL OntologiesFull-text access may be available. Sign in or learn about subscription options.pp. 135-142
by Klaus Marius Hansen, Weishan Zhang, João Fernandes
Papers
Jata: A Language for Distributed Component TestingFull-text access may be available. Sign in or learn about subscription options.pp. 145-152
by Ji Wu, Liu Yang, Xu Luo
Papers
Specification-Based Approach to Select Regression Test Suite to Validate Changed SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 153-160
by Ravi Prakash Gorthi, Anjaneyulu Pasala, Kailash KP Chanduka, Benny Leong
Papers
A Novel Optimum Data Duplication Approach for Soft Error DetectionFull-text access may be available. Sign in or learn about subscription options.pp. 161-168
by Jianjun Xu, Qingping Tan, Rui Shen
Behavioral Specification of Real-Time RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 299-306
by Seyed Morteza Babamir, Faezeh Sadat Babamir
Papers
Providing the Guideline of Determining Quality Checklists Priorities Based on Evaluation Records of Software ProductsFull-text access may be available. Sign in or learn about subscription options.pp. 169-176
by Chongwon Lee, Byungjeong Lee, Chisu Wu
Papers
SimPL Full-text access may be available. Sign in or learn about subscription options.pp. 179-186
by Andreas Malaer, Matthias Lampe
Papers
Measuring Non-Functional Properties in Software Product Line for Product DerivationFull-text access may be available. Sign in or learn about subscription options.pp. 187-194
by Norbert Siegmund, Marko Rosenm, Martin Kuhlemann, Christian Kästner, Gunter Saake
Papers
Scheduling Product Line Features for Effective RoadmappingFull-text access may be available. Sign in or learn about subscription options.pp. 195-202
by Juha Savolainen, Juha Kuusela
Papers
AORE (Aspect-Oriented Requirements Engineering) Methodology for Automotive Software Product LinesFull-text access may be available. Sign in or learn about subscription options.pp. 203-210
by Mikio Aoyama, Atsuko Yoshino
Papers
Documenting and Evaluating Scattered Concerns for Framework Usability: A Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 213-220
by Daqing Hou, Chandan Raj Rupakheti, H. James Hoover
Papers
Inferring Specifications of Object Oriented APIs from API Source CodeFull-text access may be available. Sign in or learn about subscription options.pp. 221-228
by Hao Zhong, Lu Zhang, Hong Mei
Papers
A Comparison of the Reliability Growth of Open Source and In-House SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 229-236
by Sharifah Mashita Syed-Mohamad, Tom McBride
Papers
A Source-Code Based Extraction Way for Micro Processes Influencing Software ComplexityFull-text access may be available. Sign in or learn about subscription options.pp. 239-246
by Noriko Hanakawa
Papers
Mining Individual Performance Indicators in Collaborative Development Using Software RepositoriesFull-text access may be available. Sign in or learn about subscription options.pp. 247-254
by Shen Zhang, Yongji Wang, Junchao Xiao
Papers
Towards Analysing Information Management Requirements in New Zealand Genetic ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 255-262
by Yulong Gu, James Warren
Papers
Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNetFull-text access may be available. Sign in or learn about subscription options.pp. 265-272
by Haiqiang Dun, Wen Zhao, Yu Huang, Shikun Zhang, Lifu Wang
Papers
Emergent Properties in Reactive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 273-280
by Marc Aiguier, Pascale Le Gall, M'Barka Mabrouki
Papers
Detection of a Set of States in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 281-288
by Hongtao Huang
Papers
A Measurement-Driven Process Model for Managing Inconsistent Software RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 291-298
by Kedian Mu, Zhi Jin, Didar Zowghi
Papers
JacksonFull-text access may be available. Sign in or learn about subscription options.pp. 307-314
by Osamu Shigo
Papers
Software Engineering Education Toolkit for Embedded Software Architecture Design Methodology Using Robotic SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 317-324
by Dongsun Kim, Suntae Kim, Seokhwan Kim, Sooyong Park
Papers
Investigating Pair Programming in a Software Engineering Course in an Asian SettingFull-text access may be available. Sign in or learn about subscription options.pp. 325-331
by Raymund Sison
Papers
Extending PSC for Monitoring the Timed Properties in Composite ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 335-342
by Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun
Papers
Formalization and Consistency Checking of Changes of Software System Configurations Using AlloyFull-text access may be available. Sign in or learn about subscription options.pp. 343-350
by Hiroaki Tanizaki, Takuya Katayama
Papers
Modeling and Verifying Web Browser InteractionsFull-text access may be available. Sign in or learn about subscription options.pp. 351-358
by Shengbo Chen, Huaikou Miao, Zhongsheng Qian
Papers
Deadlock-Detection in Java-Library Using Static-AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 361-368
by Vivek K. Shanbhag
Papers
Iterative Model Fixing with CounterexamplesFull-text access may be available. Sign in or learn about subscription options.pp. 369-376
by Tsutomu Kumazawa, Tetsuo Tamai
Papers
Model Checking Process with Goal Oriented Requirements AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 377-384
by Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden
Papers
A Verification Framework for FBD Based Software in Nuclear Power PlantsFull-text access may be available. Sign in or learn about subscription options.pp. 385-392
by Junbeom Yoo, Sungdeok Cha, Eunkyung Jee
Papers
Resource-Oriented Architecture for Business ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 395-402
by Xiwei Xu, Liming Zhu, Yan Liu, Mark Staples
Papers
A Design Quality Model for Service-Oriented ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 403-410
by Bingu Shim, Siho Choue, Suntae Kim, Sooyong Park
Papers
SA@Work Full-text access may be available. Sign in or learn about subscription options.pp. 411-418
by Kari Rye Schougaard, Klaus Marius Hansen, Henrik Bærbak Christensen
Papers
Service Identification Using Goal and Scenario in Service Oriented ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 419-426
by Suntae Kim, Minseong Kim, Sooyong Park
Papers
Using ES Based Automated Software Clustering Approach to Achieve Consistent DecompositionsFull-text access may be available. Sign in or learn about subscription options.pp. 429-436
by Bilal Khan, Shaleeza Sohail
Papers
[Roster]Freely available from IEEE.pp. 564
Papers
Component-Based Software Update Process in Collaborative Software DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 437-444
by Tien N. Nguyen
Papers
Security-Aware Refactoring Alerting its Impact on Code VulnerabilitiesFull-text access may be available. Sign in or learn about subscription options.pp. 445-452
by Katsuhisa Maruyama, Kensuke Tokoda
Papers
Detecting Occurrences of Refactoring with Heuristic SearchFull-text access may be available. Sign in or learn about subscription options.pp. 453-460
by Shinpei Hayashi, Yasuyuki Tsuda, Motoshi Saeki
Papers
G2Way Full-text access may be available. Sign in or learn about subscription options.pp. 463-470
by Mohammad F.J. Klaib, Kamal Z. Zamli, Nor Ashidi M. Isa, Mohammed I. Younis, Rusli Abdullah
Papers
Test Case Prioritization Based on Analysis of Program StructureFull-text access may be available. Sign in or learn about subscription options.pp. 471-478
by Zengkai Ma, Jianjun Zhao
Papers
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 479-486
by Pham Ngoc Hung, Takuya Katayama
Papers
Early Estimate the Size of Test Suites from Use CasesFull-text access may be available. Sign in or learn about subscription options.pp. 487-492
by Qu Yi, Zhou Bo, Zhu Xiaochun
Papers
Theoretical Maximum Prediction Accuracy for Analogy-Based Software Cost EstimationFull-text access may be available. Sign in or learn about subscription options.pp. 495-502
by Jacky W. Keung
Papers
The Use of a Meta-Model to Support Multi-Project Process MeasurementFull-text access may be available. Sign in or learn about subscription options.pp. 503-510
by Alberto Colombo, Ernesto Damiani, Fulvio Frati, Sergio Oltolina, Karl Reed, Gabriele Ruffatti
Papers
A Complexity Metric for Web Applications Based on the Entropy TheoryFull-text access may be available. Sign in or learn about subscription options.pp. 511-518
by Woosung Jung, Eunjoo Lee, Kapsu Kim, Chisu Wu
Papers
Automated Support for Software Cost Estimation Using Web-CoBRAFull-text access may be available. Sign in or learn about subscription options.pp. 519-526
by Jacky Keung, Ross Jeffery
Papers
Aspect-Oriented Programming for Web Controller LayerFull-text access may be available. Sign in or learn about subscription options.pp. 529-536
by Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai
Papers
Flexible Aspect-Oriented Design Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 537-544
by Wuwei Shen, W. Eric Wong
Papers
Management of Composites in Software Engineering EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 545-552
by Jacky Estublier, German Vega, Thomas Leveque
Papers
Domain Specific Engineering EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 553-560
by Jacky Estublier, German Vega, Philippe Lalanda, Thomas Leveque
Papers
Author IndexFreely available from IEEE.pp. 561-563
Showing 78 out of 78