default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th APSEC 2008: Beijing, China
- 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China. IEEE Computer Society 2008, ISBN 978-0-7695-3446-6
Keynote Speech Abstracts
- Amir Pnueli:
Using Abstraction to Verify Arbitrary Temporal Properties. 3 - Ivar Jacobson:
Beyond Agile: Smart. 4 - Jifeng He:
Service Refinement. 5
Program Analysis and Understanding (I)
- Hao Zhong
, Lu Zhang, Hong Mei:
Early Filtering of Polluting Method Calls for Mining Temporal Specifications. 9-16 - Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga:
DRACULA: Detector of Data Races in Signals Handlers. 17-24 - Krzysztof Stencel, Patrycja Wegrzynowicz:
Detection of Diverse Design Pattern Variants. 25-32 - Ewan D. Tempero:
An Empirical Study of Unused Design Decisions in Open Source Java Software. 33-40
Software Process Improvement (I)
- Giulio Concas, Michele Marchesi, Sandro Pinna, Roberto Tonelli, Ivana Turnu:
A Dynamic Model of Software Product Generative Process. 43-50 - Dongwon Kang, In-Gwon Song, Seunghun Park, Doo-Hwan Bae, Hoon-Kyu Kim, Nobok Lee:
A Case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural Similarity. 51-58 - He Zhang, Barbara A. Kitchenham, Dietmar Pfahl:
Software Process Simulation Modeling: Facts, Trends and Directions. 59-66 - Mei He, Ye Yang, Qing Wang, Mingshu Li:
An Investigation on Performance of Software Enhancement Projects in China. 67-74
Software Maintenance and Evolution (I)
- Yun-Fei Jia, Lei Zhao, Kai-Yuan Cai:
A Nonlinear Approach to Modeling of Software Aging in a Web Server. 77-84 - Mario Pukall, Christian Kästner, Gunter Saake:
Towards Unanticipated Runtime Adaptation of Java Applications. 85-92 - Yogesh Murarka, Umesh Bellur:
Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs. 93-100 - Odd Petter N. Slyngstad, Reidar Conradi, Muhammad Ali Babar, Viktor Clerc, Hans van Vliet:
Risks and Risk Management in Software Architecture Evolution: An Industrial Survey. 101-108
Formal Methods (I)
- Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki:
A Technique to Check the Implementability of Behavioral Specifications with Frameworks. 111-118 - Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He:
Execution Semantics for rCOS. 119-126 - Chenguang Luo, Guanhua He, Shengchao Qin:
A Heap Model for Java Bytecode to Support Separation Logic. 127-134 - Klaus Marius Hansen, Weishan Zhang, João Fernandes:
Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies. 135-142
Software Testing (I)
- Ji Wu, Liu Yang, Xu Luo:
Jata: A Language for Distributed Component Testing. 145-152 - Ravi Prakash Gorthi, Anjaneyulu Pasala, Kailash K. P. Chanduka, Benny Leong:
Specification-Based Approach to Select Regression Test Suite to Validate Changed Software. 153-160 - Jianjun Xu, Qingping Tan, Rui Shen:
A Novel Optimum Data Duplication Approach for Soft Error Detection. 161-168 - Chong-Won Lee, Byungjeong Lee, Chisu Wu:
Providing the Guideline of Determining Quality Checklists Priorities Based on Evaluation Records of Software Products. 169-176
Software Product-Line Engineering
- Andreas Malaer, Matthias Lampe:
SimPL A Simple Software Production Line for End User Development. 179-186 - Norbert Siegmund, Marko Rosenmüller, Martin Kuhlemann, Christian Kästner, Gunter Saake:
Measuring Non-Functional Properties in Software Product Line for Product Derivation. 187-194 - Juha Savolainen, Juha Kuusela:
Scheduling Product Line Features for Effective Roadmapping. 195-202 - Mikio Aoyama, Atsuko Yoshino:
AORE (Aspect-Oriented Requirements Engineering) Methodology for Automotive Software Product Lines. 203-210
Program Analysis and Understanding (II)
- Daqing Hou, Chandan Raj Rupakheti, H. James Hoover:
Documenting and Evaluating Scattered Concerns for Framework Usability: A Case Study. 213-220 - Hao Zhong, Lu Zhang, Hong Mei:
Inferring Specifications of Object Oriented APIs from API Source Code. 221-228 - Sharifah Mashita Syed-Mohamad, Tom McBride:
A Comparison of the Reliability Growth of Open Source and In-House Software. 229-236
Software Process Improvement (II)
- Noriko Hanakawa:
A Source-Code Based Extraction Way for Micro Processes Influencing Software Complexity. 239-246 - Shen Zhang, Yongji Wang, Junchao Xiao:
Mining Individual Performance Indicators in Collaborative Development Using Software Repositories. 247-254 - Yulong Gu, James R. Warren:
Towards Analysing Information Management Requirements in New Zealand Genetic Services. 255-262
Verification and Validation (I)
- Haiqiang Dun, Wen Zhao, Yu Huang, Shikun Zhang, Lifu Wang:
Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet. 265-272 - Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki:
Emergent Properties in Reactive Systems. 273-280 - Hongtao Huang:
Detection of a Set of States in Distributed Systems. 281-288
Requirement Engineering
- Kedian Mu, Zhi Jin, Didar Zowghi:
A Measurement-Driven Process Model for Managing Inconsistent Software Requirements. 291-298 - Seyed Morteza Babamir, Faezeh Sadat Babamir:
Behavioral Specification of Real-Time Requirements. 299-306 - Osamu Shigo:
Jackson's JSP-Like Method for State Transition Design. 307-314
Software Engineering Education
- Dongsun Kim, Suntae Kim, Seokhwan Kim, Sooyong Park:
Software Engineering Education Toolkit for Embedded Software Architecture Design Methodology Using Robotic Systems. 317-324 - Raymund Sison:
Investigating Pair Programming in a Software Engineering Course in an Asian Setting. 325-331
Verification and Validation (II)
- Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun:
Extending PSC for Monitoring the Timed Properties in Composite Services. 335-342 - Hiroaki Tanizaki, Takuya Katayama:
Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. 343-350 - Shengbo Chen, Huaikou Miao, Zhong-sheng Qian:
Modeling and Verifying Web Browser Interactions. 351-358
Formal Methods (II)
- Vivek K. Shanbhag:
Deadlock-Detection in Java-Library Using Static-Analysis. 361-368 - Tsutomu Kumazawa, Tetsuo Tamai:
Iterative Model Fixing with Counterexamples. 369-376 - Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden:
Model Checking Process with Goal Oriented Requirements Analysis. 377-384 - Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee:
A Verification Framework for FBD Based Software in Nuclear Power Plants. 385-392
Software Architecture and Service Oriented Architecture
- Xiwei Xu, Liming Zhu, Yan Liu, Mark Staples:
Resource-Oriented Architecture for Business Processes. 395-402 - Bingu Shim, Siho Choue, Suntae Kim, Sooyong Park:
A Design Quality Model for Service-Oriented Architecture. 403-410 - Kari R. Schougaard, Klaus Marius Hansen, Henrik Bærbak Christensen:
SA@Work A Field Study of Software Architecture and Software Quality at Work. 411-418 - Suntae Kim, Minseong Kim, Sooyong Park:
Service Identification Using Goal and Scenario in Service Oriented Architecture. 419-426
Software Maintenance and Evolution (II)
- Bilal Khan, Shaleeza Sohail:
Using ES Based Automated Software Clustering Approach to Achieve Consistent Decompositions. 429-436 - Tien N. Nguyen:
Component-Based Software Update Process in Collaborative Software Development. 437-444 - Katsuhisa Maruyama, Kensuke Tokoda:
Security-Aware Refactoring Alerting its Impact on Code Vulnerabilities. 445-452 - Shinpei Hayashi, Yasuyuki Tsuda, Motoshi Saeki:
Detecting Occurrences of Refactoring with Heuristic Search. 453-460
Software Testing (II)
- Mohammad F. J. Klaib, Kamal Zuhairi Zamli, Nor Ashidi Mat Isa, Mohammed Issam Younis, Rusli Abdullah:
G2Way A Backtracking Strategy for Pairwise Test Data Generation. 463-470 - Zengkai Ma, Jianjun Zhao:
Test Case Prioritization Based on Analysis of Program Structure. 471-478 - Pham Ngoc Hung, Takuya Katayama:
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. 479-486 - Yi Qu, Bo Zhou, Xiaochun Zhu:
Early Estimate the Size of Test Suites from Use Cases. 487-492
Software Metrics and Measurement
- Jacky Keung:
Theoretical Maximum Prediction Accuracy for Analogy-Based Software Cost Estimation. 495-502 - Alberto Colombo, Ernesto Damiani, Fulvio Frati, Sergio Oltolina, Karl Reed, Gabriele Ruffatti:
The Use of a Meta-Model to Support Multi-Project Process Measurement. 503-510 - Woosung Jung, Eunjoo Lee, Kapsu Kim, Chisu Wu:
A Complexity Metric for Web Applications Based on the Entropy Theory. 511-518 - Jacky Keung, D. Ross Jeffery:
Automated Support for Software Cost Estimation Using Web-CoBRA. 519-526
Aspect-Oriented and Domain-Specific Software Development
- Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai:
Aspect-Oriented Programming for Web Controller Layer. 529-536 - Wuwei Shen, W. Eric Wong:
Flexible Aspect-Oriented Design Model Checking. 537-544 - Jacky Estublier, Germán Vega, Thomas Leveque:
Management of Composites in Software Engineering Environments. 545-552 - Jacky Estublier, Germán Vega, Philippe Lalanda, Thomas Leveque:
Domain Specific Engineering Environments. 553-560
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:
