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

2011 18th Asia-Pacific Software Engineering Conference

Dec. 5 2011 to Dec. 8 2011

Ho Chi Minh, Vietnam

ISSN: 1530-1362

ISBN: 978-0-7695-4609-4

Table of Contents

Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-ix
Papers
Message from the Conference Co-ChairsFreely available from IEEE.pp. x
Papers
Message from the Program Co-ChairsFreely available from IEEE.pp. xi
Papers
Organizing CommitteeFreely available from IEEE.pp. xii
Papers
Program CommitteeFreely available from IEEE.pp. xiii-xv
Papers
Steering CommitteeFreely available from IEEE.pp. xvi
Papers
A Simultaneous Project Scheduling and Resource Binding Method Based on the Load-Capacity ModelFull-text access may be available. Sign in or learn about subscription options.pp. 1-8
by Akinori Saito, Takumi Kusanagi, Koichiro Ochimizu
Papers
Optimal Scheduling of Software Projects Using Reinforcement LearningFull-text access may be available. Sign in or learn about subscription options.pp. 9-16
by Frank Padberg, David Weiss
Papers
Assessing Teamwork Performance in Software Engineering Education: A Case in a Software Engineering Undergraduate CourseFull-text access may be available. Sign in or learn about subscription options.pp. 17-24
by Jian Chen, Guoyong Qiu, Liu Yuan, Li Zhang, Gang Lu
Papers
Proving Non-interference on Reachability Properties: A Refinement ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 25-32
by Marc Frappier, Amel Mammar
Memory Leak Detection Based on Memory State Transition GraphFull-text access may be available. Sign in or learn about subscription options.pp. 33-40
by Zhenbo Xu, Jian Zhang, Zhongxing Xu
Papers
Techniques for Analysing PDF MalwareFull-text access may be available. Sign in or learn about subscription options.pp. 41-48
by Caglar Ulucenk, Vijay Varadharajan, Venkat Balakrishnan, Udaya Tupakula
Papers
Derivation and Formal Verification of a Mode Logic for Layered Control SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 49-56
by Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Papers
Stepwise Validation of Formal SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 57-64
by Atif Mashkoor, Jean-Pierre Jacquot
Papers
Use Cases Modeling for Scalable Model-CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 65-72
by Amine Raji, Philippe Dhaussy
Papers
A "Vibration" Method for Automatically Generating Test Cases Based on Formal SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 73-80
by Shaoying Liu, Shin Nakajima
Papers
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 81-88
by Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
Papers
Intrusive Test Automation with Failed Test Case ClusteringFull-text access may be available. Sign in or learn about subscription options.pp. 89-96
by Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan
Papers
An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys ToolFull-text access may be available. Sign in or learn about subscription options.pp. 97-105
by Alberto Bastias, Sidharth Bihary, Suman Roy
Papers
Architecture-Centric Model-Driven Web EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 106-113
by Eban Escott, Paul Strooper, Jörn Guy Suß, Paul King
Papers
Executable and Translatable UML -- How Difficult Can it Be?Full-text access may be available. Sign in or learn about subscription options.pp. 114-121
by Hâkan Burden, Rogardt Heldal, Toni Siljamäki
Papers
Towards a Framework for the Application of Model-Driven Development in Situational Method EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 122-129
by Zahra Zohrevand, Yousef Mehrdad Bibalan, Raman Ramsin
Papers
VisTML: A Visual Modeling Language for Model TransformationFull-text access may be available. Sign in or learn about subscription options.pp. 130-137
by He Xiao, Ma Zhiyi, Liu Yi, Chen Hongjie, Shao Weizhong
Papers
Extraction of Attribute Dependency Graph from Database ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 138-145
by Kaiping Liu, Hee Beng Kuan Tan, Xu Chen
Papers
Applying Fellegi-Sunter (FS) Model for Traceability Link Recovery between Bug Databases and Version ArchivesFull-text access may be available. Sign in or learn about subscription options.pp. 146-153
by Ashish Sureka, Sangeeta Lal, Lucky Agarwal
Papers
Toward Inconsistency Awareness in Collaborative Software DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 154-162
by Phan Thi Thanh Huyen, Koichiro Ochimizu
Papers
A Concept Lattice for Recognition of User Problems in Real User MonitoringFull-text access may be available. Sign in or learn about subscription options.pp. 163-170
by Katsunori Oyama, Atsushi Takeuchi, Hua Ming, Carl K. Chang
Papers
RobusTest: A Framework for Automated Testing of Software RobustnessFull-text access may be available. Sign in or learn about subscription options.pp. 171-178
by Ali Shahrokni, Robert Feldt
Papers
STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued LogicFull-text access may be available. Sign in or learn about subscription options.pp. 179-186
by Yunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang
Papers
Integrating Model-Based Testing in Model-Driven Web EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 187-194
by Eban Escott, Paul Strooper, Jim Steel, Paul King
Papers
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSPFull-text access may be available. Sign in or learn about subscription options.pp. 195-202
by Björn Bartels, Sabine Glesner
Papers
An Architecture of Dynamically Adaptive PHP-based Web ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 203-210
by Shin Nakajima
Papers
A Design Methodology for Real-Time Distributed Software Architecture Based on the Behavioral Properties and Its Application to Advanced Automotive SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 211-218
by Mikio Aoyama, Hayaki Tanabe
Papers
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to TestingFull-text access may be available. Sign in or learn about subscription options.pp. 219-226
by Boutheina Bannour, Christophe Gaston, David Servat
Papers
A Case Study of Measuring Degeneration of Software Architectures from a Defect PerspectiveFull-text access may be available. Sign in or learn about subscription options.pp. 242-249
by Zude Li, Jun Long
Papers
CMCD: Count Matrix Based Code Clone DetectionFull-text access may be available. Sign in or learn about subscription options.pp. 250-257
by Yang Yuan, Yao Guo
Papers
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular AvionicsFull-text access may be available. Sign in or learn about subscription options.pp. 266-273
by Dajiang Suo, Jinxia An, Jihong Zhu
Papers
Conformance Testing for OSEK/VDX Operating System Using Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 274-281
by Jiang Chen, Toshiaki Aoki
Papers
Automated Verification of Load Tests Using Control ChartsFull-text access may be available. Sign in or learn about subscription options.pp. 282-289
by Thanh H.D. Nguyen, Bram Adams, Zhen Ming Jiang, Ahmed E. Hassan, Mohamed Nasser, Parminder Flora
Papers
Evotec: Evolving the Best Testing Strategy for Contract-Equipped ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 290-297
by Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol
Papers
A Design Map for Recording Precise Architecture DecisionsFull-text access may be available. Sign in or learn about subscription options.pp. 298-305
by Atsushi Sawada, Masami Noro, Han-Myung Chang, Yoshinari Hachisu, Atsushi Yoshida
Papers
Aspects and Annotations for Controlling the Roles Application Classes Play for Design PatternsFull-text access may be available. Sign in or learn about subscription options.pp. 306-314
by Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana
Papers
Object Oriented Software Clustering Based on Community StructureFull-text access may be available. Sign in or learn about subscription options.pp. 315-321
by Ural Erdemir, Umut Tekin, Feza Buzluca
Papers
A Method to Derive Software Architectures from Quality RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 322-330
by Azadeh Alebrahim, Denis Hatebur, Maritta Heisel
Papers
Recommending Proper API Code Examples for Documentation PurposeFull-text access may be available. Sign in or learn about subscription options.pp. 331-338
by Lee Wei Mar, Ye-Chi Wu, Hewijin Christine Jiau
Papers
Understanding Source Code Differences by Separating Refactoring EffectsFull-text access may be available. Sign in or learn about subscription options.pp. 339-347
by Sirinut Thangthumachit, Shinpei Hayashi, Motoshi Saeki
Papers
Using Variability Models to Reduce Verification Effort of Train Station ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 348-356
by Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen
Papers
Requirements Maturation Analysis by Accessibility and StabilityFull-text access may be available. Sign in or learn about subscription options.pp. 357-364
by Takako Nakatani, Toshihiko Tsumaki, Michio Tsuda, Mari Inoki, Shozo Hori, Keiichi Katamine
Papers
Illusions and Perceptions of Transparency in Software EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 365-372
by Yu-Cheng Tu, Clark Thomborson, Ewan Tempero
Papers
A State Machine Analysis Support System Based on the Problem FramesFull-text access may be available. Sign in or learn about subscription options.pp. 373-380
by Osamu Shigo, Kaoru Yokoyama
Papers
Modeling Timing Requirements in Problem Frames Using CCSLFull-text access may be available. Sign in or learn about subscription options.pp. 381-388
by Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin
Papers
DREX: Developer Recommendation with K-Nearest-Neighbor Search and Expertise RankingFull-text access may be available. Sign in or learn about subscription options.pp. 389-396
by Wenjin Wu, Wen Zhang, Ye Yang, Qing Wang
Value-Risk Trade-off Analysis for Iteration Planning in Extreme ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 397-404
by Xin Dong, Qiu-Song Yang, Qing Wang, Jian Zhai, Gunther Ruhe
Papers
Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner PerceptionsFull-text access may be available. Sign in or learn about subscription options.pp. 405-413
by Jim Buchan, Ling Li, Stephen G. MacDonell
Papers
Towards a Tool-Supported Approach for Collaborative Process Modeling and EnactmentFull-text access may be available. Sign in or learn about subscription options.pp. 414-421
by Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Redouane Lbath, Hanh Nhi Tran, Mahmoud Nassar
Papers
Author IndexFreely available from IEEE.pp. 422-423
Papers
[Publishers information]Freely available from IEEE.pp. 424
Showing 60 out of 60