Session 1A: Software Design / Architecture

• 
  Yali Zhu, Gang Huang, Hong Mei: Quality Attribute Scenario Based Architectural Modeling for Self-Adaptation Supported by Architecture-Based Reflective Middleware. 2-9
• 
  Yan (Jenny) Liu, Ian Gorton: An Empirical Evaluation of Architectural Alternatives for J2EE and Web Services. 10-17
• 
  Yong Xia, Martin Glinz: Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification. 18-27

Session 1B: Verification and Validation

• 
  Jinjun Chen, Yun Yang, T. Y. Chen: Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems. 30-37
• 
  Martín López Nores, Rebeca P. Díaz Redondo, José J. Pazos Arias, Jorge García Duque: An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts. 38-45
• 
  Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony: Reasoning about Semantic Web in Isabelle/HOL. 46-53

Session 1C: Software Process Improvement I

• 
  Tom McBride, Brian Henderson-Sellers, Didar Zowghi: Project Management Capability Levels: An Empirical Study. 56-63
• 
  Annita Persson Dahlqvist, Ivica Crnkovic, Ulf Asklund: Quality Improvements by Integrating Development Processes. 64-72
• 
  Darren C. Atkinson, Daniel C. Weeks, John Noll: The Design of Evolutionary Process Modeling Languages. 73-82

Session 2A: Software Development Methodology

• 
  Anthony Senyard, Martin Michlmayr: How to Have a Successful Free Software Project. 84-91
• 
  Soo Dong Kim, Soo Ho Chang, Chee Won Chang: A Systematic Method to Instantiate Core Assets in Product Line Engineering. 92-98
• 
  Martin Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Chris Salzmann: Tool Supported Development of Service-Based Systems. 99-108

Session 2B: Software Quality Assurance

• 
  Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi: An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework. 120-129
• 
  Nam Tran II, David Abramson, Christine Mingins: A Taxonomy of Call Ordering Problems. 120-129
• 
  Tim Miller, Paul A. Strooper: A Case Study in Specification and Implementation Testing. 130-139

Session 2C: Software Process Improvement II

• 
  Frank Padberg, Matthias M. Müller: Modeling the Impact of a Learning Phase on the Business Value of a Pair Programming Project. 142-149
• 
  Chanwoo Yoo, Junho Yoon, Byungjeong Lee, Chong-Won Lee, Jinyoung Lee, Seunghun Hyun, Chisu Wu: An Integrated Model of ISO 9001: 2000 and CMMI for ISO Registered Organizations. 150-157
• 
  Jutawan Saemu, Nakornthip Prompoon: Tool and Guidelines Support for Capability Maturity Model's Software Subcontract Management. 158-165

Session 3A: Product Line Engineering / Systematic Reuse

• 
  Jintae Kim, Minseong Kim, Hwasil Yang, Sooyong Park: A Method and Tool Support for Variant Requirements Analysis: Goal and Scenario Based Approach. 168-175
• 
  Mark Staples, Derrick Hill: Experiences Adopting Software Product Line Development without a Product Line Architecture. 176-183
• 
  Shinji Kawaguchi, Pankaj K. Garg, Makoto Matsushita, Katsuro Inoue: MUDABlue: An Automatic Categorization System for Open Source Repositories. 184-193

Session 3B: Software Maintenance

• 
  Zhuopeng Zhang, Hongji Yang: Incubating Services in Legacy Systems for Architectural Migration. 196-203
• 
  Lei Wu, Houari A. Sahraoui, Petko Valtchev: Automatic Detecting Code Cooperation. 204-211
• 
  Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao: Flexible Fine-grained Version Control for Software Documents. 212-219

Session 3C: Computer Supported Cooperative Work / Distributed and Parallel Software Engineering

• 
  Muhammad Ali Babar, Barbara A. Kitchenham, Liming Zhu, D. Ross Jeffery: An Exploratory Study of Groupware Support for Distributed Software Architecture Evaluation Process. 222-229
• 
  Carl Cook, Neville Churcher, Warwick Irwin: Towards Synchronous Collaborative Software Engineering. 230-239
• 
  Chien-Min Wang, Shyh-Fong Hong, Shun-Te Wang, Hsi-Min Chen: A Dual-Mode Exerciser for a Collaborative Computing Environment. 240-248

Session 4A: Object-Oriented Technology

• 
  Gilrim Choi, Taegyun Kim: UML CASE Tool Supporting OLE Compound Document. 250-256
• 
  Soon-Kyeong Kim, David A. Carrington: Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. 257-264
• 
  Yann-Gaël Guéhéneuc: A Systematic Study of UML Class Diagram Constituents for their Abstract and Precise Recovery. 265-274

Session 4B: Software Testing 1

• 
  Yuting Chen, Shaoying Liu: An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. 276-283
• 
  Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng: Generating Test Cases from UML Activity Diagram based on Gray-Box Method. 284-291
• 
  Tsong Yueh Chen, Dehao Huang: Adaptive Random Testing by Localization. 292-298

Session 4C: Project Management

• 
  Frank Padberg: Computing Optimal Scheduling Policies for Software Projects. 300-308
• 
  Pankaj Jalote, Gourav Jain: Assigning Tasks in a 24-Hour Software Development Model. 309-315
• 
  Noriko Hanakawa, Kimiharu Okura: A Project Management Support Tool using Communication for Agile Software Development. 316-323

Session 5A: Program Analysis

• 
  Darren C. Atkinson: Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures. 326-335
• 
  Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashima: Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C. 336-345
• 
  Shu Xiao, Christopher H. Pham: Performing High Efficiency Source Code Static Analysis with Intelligent Extensions. 346-355

Session 5B: Software Testing 2

• 
  Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. 358-365
• 
  W. Eric Wong, Yu Qi: An Execution Slice and Inter-Block Data Dependency-Based Approach for Fault Localization. 366-373
• 
  Guoqing (Harry) Xu, Zongyuan Yang, Haitao Huang, Qian Chen II, Ling Chen, Fengbin Xu: JAOUT: Automated Generation of Aspect-Oriented Unit Test. 374-381

Session 5C: Web-Based Software Engineering

• 
  Danny Chiang Choon Poo, Isaac K. C. Tan: Design of an Automatic Annotation Framework for Corporate Web Content. 384-391
• 
  Chen-Liang Fang, Deron Liang, Fengyi Lin: A Nested Invocation Suppression Mechanism for Cctive Replicated SOAP Systems. 392-399

Session 6A: Requirement Engineering 1

• 
  Sudeep Prakash, Aybüke Aurum, Karl Cox: Requirements Engineering Practice in Pharmaceutical and Healthcare Manufacturing. 402-409
• 
  Steven J. Bleistein, Karl Cox, June M. Verner: Requirements Engineering for e-Business Systems: Integrating Jackson Problem Diagrams with Goal Modeling and BPM. 410-417
• 
  Haruhiko Kaiya, Motoshi Saeki: Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis. 418-427

Session 6B: Software Testing 3

• 
  Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung: Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment. 430-437
• 
  Luke Wildman, Brad Long, Paul A. Strooper: Testing Java Interrupts and Timed Waits. 438-447
• 
  Tomohiko Takagi, Zengo Furukawa: Constructing a Usage Model for Statistical Testing with Source Code Generation Methods. 448-454

Session 6C: Agent-Based Software Engineering

• 
  Ayodele Oluyomi, Shanika Karunasekera, Leon Sterling: An Agent Design Pattern Classification Scheme: Capturing the Notions of Agency in Agent Design Patterns. 456-463
• 
  Rui Shen, Ji Wang, Hong Zhu: Scenario Mechanism in Agent-Oriented Programming. 464-471
• 
  Yunwen Ye, Yasuhiro Yamamoto, Kouichi Kishida: Dynamic Community: A New Conceptual Framework for Supporting Knowledge Collaboration in Software Development. 472-481

Session 7A: Requirement Engineering 2

• 
  Jian Xu, Wei Yu, Kexing Rui, Gregory Butler: Use Case Refactoring: A Tool and a Case Study. 484-491
• 
  Hong Hui Zhang, Atsushi Ohnishi: A Transformation Method of Scenarios from Different Viewpoints. 492-501
• 
  Toshihiko Tsumaki: Requirements Engineering Pattern Structure. 502-509

Session 7B: Software Testing 4

• 
  Hyo-Jeong Lee, Yu-Seung Ma, Yong Rae Kwon: Empirical Evaluation of Orthogonality of Class Mutation Operators. 512-518
• 
  Karl R. P. H. Leung: Using Hypergraph as Modeling Language for Generating Test Cases On Demand. 519-526

Session 7C: Component-Based Software Engineering

• 
  Rakesh Shukla, David A. Carrington, Paul A. Strooper: Systematic Operational Profile Development for Software Components. 528-537
• 
  Soo Dong Kim, Soo Ho Chang: A Systematic Method to Identify Software Components. 538-545
• 
  Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala: Modeling COTS-Based Development and Related Selection Methods Processes with MAP. 546-553

Workshop 1: International Workshop on Adopting Product Line Software Engineering

• 
  Yoshikazu Hayashi: Relationship between PLS-Dependent Organizations and PLSE-Capable Software Houses. 556-556
• 
  Yuji Arichika, Keijiro Araki: Reusable Formal Specification for Embedded Systems. 557-558
• 
  Tsuneo Nakanishi, Minoru Hatamoto, Michihiro Matsumoto, Susumu Yamazaki, Teruaki Kitasuka, Akira Fukuda: Product Line Based Component Unification and Exploiting Unified Components in FORM. 559-563
• 
  Sako Hiroshi: A PLSE Environment in 80s - International Workshop on Adopting Product Line Software Engineering. 564-564
• 
  Osamu Kobayashi: What Should Software Practitioners Know for Adopting Product Line Software Engineering?. 565-566
• 
  Masahiko Ishikawa: Software Product Line and Open Source Software. 567-567
• 
  Norihiko Matsuda: Problems and Suggestion for Adopting Product Line Software Engineering from Modification Style Development. 568-571
• 
  Mark Staples: Change Control for Product Line Software Engineering. 572-573
• 
  Muhammad Ali Babar: Scenarios, Quality Attributes, and Patterns: Capturing and Using their Synergistic Relationships for Product Line Architectures. 574-578
• 
  Kei Kurakawa: Feature Modeling from Holistic Viewpoints in Product Line Engineering. 579-579
• 
  Shigeru Hitomi, Hitoshi Yamane: A Step by Step Approach for Adopting PLSE. 580-581
• 
  Kwanwoo Lee: Feature-Oriented Analysis and Aspect-Oriented Product Line Assets Development. 582-583
• 
  Minseong Kim, Sooyong Park: Goal and Scenario Driven Product Line Development. 584-585
• 
  Mikyeong Moon, Keunhyuk Yeom: An Approach To Developing Core Assets in Product Line. 586-588
• 
  Eunman Koh, Sajoong Kim: Issues on Adopting Software Product Line. 589-589

Workshop 2: First Asia-Pacific Workshop on Software Architectures and Component Technologies

• 
  Guoqing (Harry) Xu, Zongyuan Yang, Haitao Huang: JCMP: Linking Architecture with Component Building. 592-599
• 
  Muhammad Ali Babar, Ian Gorton: Comparison of Scenario-Based Software Architecture Evaluation Methods. 600-607
• 
  Nien-Lin Hsueh, Wen-Hsiang Shen: Handling Nonfunctional and Conflicting Requirements with Design Patterns. 608-615
• 
  Robert Pawel Bialek, Eric Jul, Jean-Guy Schneider, Yan Jin: Partitioning of Java Applications to Support Dynamic Updates. 616-623
• 
  Daniel Sundmark, Anders Möller, Mikael Nolin: Monitored Software Components - A Novel Software Engineering Approach. 624-631
• 
  Jirí Adámek, Frantisek Plasil: Partial Bindings of Components - Any Harm?. 632-639
• 
  Antony Tang, Jun Han, Pin Chen: A Comparative Analysis of Architecture Frameworks. 640-647
• 
  Roger Y. Lee, Haeng-Kon Kim, Hae Sool Yang: An Architecture Model for Dynamically Converting Components into Web Services. 648-654
• 
  Christo Angelov, Krzysztof Sierszecki: A Software Framework for Component-Based Embedded Applications. 655-662
• 
  Sunghwan Roh, Kyungrae Kim, Taewoong Jeon: Architecture Modeling Language based on UML2.0. 663-669
• 
  Hyun-Chong Kim, Ho-Jin Choi, In-Young Ko: An Architectural Model to Support Adaptive Software Systems for Sensor Networks. 670-677
• 
  Piyush Maheshwari, Ji-Ho Kim: Analysing Reusability Aspects in Java Connector Architecture. 678-685

Workshop 3: Embedded and Ubiquitous Software Engineering Workshop

• 
  Roy Chaoming Hsu, Cheng-Ting Liu, Wen-Ping Huang, Jun-Jay Yang: An Embedded Software Approach for the Development of SIP-Based VoIP Server. 688-694
• 
  Yoshihiro Kawahara, Nao Kawanishi, Hiroyuki Morikawa, Tomonori Aoyama: Top-Down Approach Toward Building Ubiquitous Sensor Network Applications. 695-702
• 
  Masateru Minami, Shunsuke Saruwatari, Takuya Kashima, Takashi Morito, Hiroyuki Morikawa, Tomonori Aoyama: Implementation-Based Approach for Designing Practical Sensor Network Systems. 703-710
• 
  Mikio Hasegawa, Udana Bandara, Masugi Inoue, Hiroyuki Morikawa: A Network Oriented Simple Device and its Application in a Service Mobility Environment. 711-718
• 
  William C. Chu, Yiwen Chen, Juei-Nan Chen: Context-sensitive Content Representation for Static Document. 719-725
• 
  Ruimin Liu, Feng Chen, Hongji Yang, William C. Chu, Yu-Bin Lai: Agent-Based Web Services Evolution for Pervasive Computing. 726-731
• 
  Xiaoqin Xie, Juan-Zi Li, Peng Xu, Kehong Wang: MDC-Based Grey-Box Component Modeling and Prediction Analysis. 732-733
• 
  JungHyun Han, Hoh Peter In, Jong-Sik Woo: Towards Situation-Aware Cross-Platform Ubi-Game Development. 734-735
• 
  Yuan Yang, Dong-hyun Lee, Myong-Soon Park, Hoh Peter In: Dynamic Enclose Cell Routing in Mobile Sensor Networks. 736-737
• 
  Dongwon Jeong, Young-Gab Kim, Hoh Peter In: SA-RFID: Situation-Aware RFID Architecture Analysis in Ubiquitous Computing. 738-739
• 
  Jaesun Kim, Sooyong Park: Self Adaptive Software Technology for Robotics. 740-741

last updated on Sat May 18 04:39:56 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page