11. APSEC 2004: Busan, Kora

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 update Sat May 18 18:07:23 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page