Project Management and Software Engineering Education

• 
  Akinori Saito, Takumi Kusanagi, Koichiro Ochimizu: A Simultaneous Project Scheduling and Resource Binding Method Based on the Load-Capacity Model. 1-8
• 
  Frank Padberg, David Weiss: Optimal Scheduling of Software Projects Using Reinforcement Learning. 9-16
• 
  Jian Chen, Guoyong Qiu, Liu Yuan, Li Zhang, Gang Lu: Assessing Teamwork Performance in Software Engineering Education: A Case in a Software Engineering Undergraduate Course. 17-24

Software Security and Safety

• 
  Marc Frappier, Amel Mammar: Proving Non-interference on Reachability Properties: A Refinement Approach. 25-32
• 
  Zhenbo Xu, Jian Zhang, Zhongxing Xu: Memory Leak Detection Based on Memory State Transition Graph. 33-40
• 
  Caglar Ulucenk, Vijay Varadharajan, Venkatesan Balakrishnan, Udaya Kiran Tupakula: Techniques for Analysing PDF Malware. 41-48

Formal Methods

• 
  Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala: Derivation and Formal Verification of a Mode Logic for Layered Control Systems. 49-56
• 
  Atif Mashkoor, Jean-Pierre Jacquot: Stepwise Validation of Formal Specifications. 57-64
• 
  Amine Raji, Philippe Dhaussy: Use Cases Modeling for Scalable Model-Checking. 65-72

Software Testing I

• 
  Shaoying Liu, Shin Nakajima: A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. 73-80
• 
  Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. 81-88
• 
  Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan: Intrusive Test Automation with Failed Test Case Clustering. 89-96
• 
  Alberto Bastias, Sidharth Bihary, Suman Roy: An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. 97-105

Software Architecture I

• 
  Eban Escott, Paul A. Strooper, Jörn Guy Süß, Paul King: Architecture-Centric Model-Driven Web Engineering. 106-113
• 
  Hakan Burden, Rogardt Heldal, Toni Siljamaki: Executable and Translatable UML - How Difficult Can it Be? 114-121
• 
  Zahra Zohrevand, Yusef Mehrdad Bibalan, Raman Ramsin: Towards a Framework for the Application of Model-Driven Development in Situational Method Engineering. 122-129
• 
  Xiao He, Zhiyi Ma, Yi Liu, Hongjie Chen, Weizhong Shao: VisTML: A Visual Modeling Language for Model Transformation. 130-137

Maintenance and Evolution

• 
  Kaiping Liu, Hee Beng Kuan Tan, Xu Chen: Extraction of Attribute Dependency Graph from Database Applications. 138-145
• 
  Ashish Sureka, Sangeeta Lal, Lucky Agarwal: Applying Fellegi-Sunter (FS) Model for Traceability Link Recovery between Bug Databases and Version Archives. 146-153
• 
  Thi Thanh Huyen Phan, Koichiro Ochimizu: Toward Inconsistency Awareness in Collaborative Software Development. 154-162
• 
  Katsunori Oyama, Atsushi Takeuchi, Hua Ming, Carl K. Chang: A Concept Lattice for Recognition of User Problems in Real User Monitoring. 163-170

Software Testing II

• 
  Ali Shahrokni, Robert Feldt: RobusTest: A Framework for Automated Testing of Software Robustness. 171-178
• 
  Yunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang: STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic. 179-186
• 
  Eban Escott, Paul A. Strooper, Jim Steel, Paul King: Integrating Model-Based Testing in Model-Driven Web Engineering. 187-194
• 
  Björn Bartels, Sabine Glesner: Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. 195-202

Software Architecture II

• 
  Shin Nakajima: An Architecture of Dynamically Adaptive PHP-based Web Applications. 203-210
• 
  Mikio Aoyama, Hayaki Tanabe: A Design Methodology for Real-Time Distributed Software Architecture Based on the Behavioral Properties and Its Application to Advanced Automotive Software. 211-218
• 
  Boutheina Bannour, Christophe Gaston, David Servat: Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. 219-226

Metrics and Measurement

• 
  Zude Li, Jun Long: A Case Study of Measuring Degeneration of Software Architectures from a Defect Perspective. 242-249
• 
  Yang Yuan, Yao Guo: CMCD: Count Matrix Based Code Clone Detection. 250-257

Verification and Validation

• 
  Dajiang Suo, Jinxia An, Jihong Zhu: AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics. 266-273
• 
  Jiang Chen, Toshiaki Aoki: Conformance Testing for OSEK/VDX Operating System Using Model Checking. 274-281
• 
  Thanh H. D. Nguyen, Bram Adams, Zhen Ming Jiang, Ahmed E. Hassan, Mohamed N. Nasser, Parminder Flora: Automated Verification of Load Tests Using Control Charts. 282-289
• 
  Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol: Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. 290-297

Software Architecture III

• 
  Atsushi Sawada, Masami Noro, Han-Myung Chang, Yoshinari Hachisu, Atsushi Yoshida: A Design Map for Recording Precise Architecture Decisions. 298-305
• 
  Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana: Aspects and Annotations for Controlling the Roles Application Classes Play for Design Patterns. 306-314
• 
  Ural Erdemir, Umut Tekin, Feza Buzluca: Object Oriented Software Clustering Based on Community Structure. 315-321
• 
  Azadeh Alebrahim, Denis Hatebur, Maritta Heisel: A Method to Derive Software Architectures from Quality Requirements. 322-330

Program Analysis

• 
  Lee Wei Mar, Ye-Chi Wu, Hewijin Christine Jiau: Recommending Proper API Code Examples for Documentation Purpose. 331-338
• 
  Sirinut Thangthumachit, Shinpei Hayashi, Motoshi Saeki: Understanding Source Code Differences by Separating Refactoring Effects. 339-347
• 
  Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen: Using Variability Models to Reduce Verification Effort of Train Station Models. 348-356

Requirements Engineering

• 
  Takako Nakatani, Toshihiko Tsumaki, Michio Tsuda, Mari Inoki, Shouzo Hori, Keiichi Katamine: Requirements Maturation Analysis by Accessibility and Stability. 357-364
• 
  Yu-Cheng Tu, Clark D. Thomborson, Ewan D. Tempero: Illusions and Perceptions of Transparency in Software Engineering. 365-372
• 
  Osamu Shigo, Kaoru Yokoyama: A State Machine Analysis Support System Based on the Problem Frames. 373-380
• 
  Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin: Modeling Timing Requirements in Problem Frames Using CCSL. 381-388

Software Process and Quality

• 
  Wenjin Wu, Wen Zhang, Ye Yang, Qing Wang: DREX: Developer Recommendation with K-Nearest-Neighbor Search and Expertise Ranking. 389-396
• 
  Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe: Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. 397-404
• 
  Jim Buchan, Ling Li, Stephen G. MacDonell: Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner Perceptions. 405-413
• 
  Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Rédouane Lbath, Hanh Nhi Tran, Mahmoud Nassar: Towards a Tool-Supported Approach for Collaborative Process Modeling and Enactment. 414-421

last updated on Tue May 21 01:50:24 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page