14. APSEC 2007: Nagoya, Japan

Keynote Speech

• Michael Jackson:
  Specialising in Software Engineering. 3-10
  

Tutorials

• Muhammad Ali Babar:
  Evaluating Product Line Architectures: Methods and Techniques. 13
  
• Michael Jackson:
  The Problem Frames Approach to Software Engineering. 14
  

Requirements Engineering I

• Abdul Babar, Vladimir Tosic, John Potter:
  Aligning the Map Requirements Modelling with the B-method for Formal Software Development. 17-24
  
• Kouji Aoyama, Takanori Ugai, Shigeru Yamada, Akihiko Obata:
  Extraction of Viewpoints for Eliciting Customer's Requirements based on Analysis of Specification Change Records. 33-40
  
• Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini:
  A Methodological Framework for SysML: a Problem Frames-based Approach. 25-32
  

Testing and Analysis I

• Ahmed S. Ghiduk, Mary Jean Harrold, Moheb R. Girgis:
  Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage. 41-48
  
• Jutarat Jaroenpiboonkit, Taratip Suwannasart:
  Finding a Test Order using Object-Oriented Slicing Technique. 49-56
  
• Xiyang Liu, Miao Zhang, Zhiwen Bai, Lei Wang, Wen Du, Yan Wang:
  Function Call Flow based Fitness Function Design in Evolutionary Testing. 57-64
  

Service-Oriented and Web-Based Software

• Takaaki Tateishi, Naoshi Tabuchi:
  Secure Behavior of Web Browsers to Prevent Information Leakages. 65-72
  
• Humberto Nicolás Castejón, Rolv Bræk, Gregor von Bochmann:
  Realizability of Collaboration-based Service Specifications. 73-80
  
• Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He:
  The Validation and Verification of WSCDL. 81-88
  

Requirements Engineering II

• Mayumi Itakura Kamata, Ai Yoshimoto Yoshida, Hisashi Yoshida, Nao Aoki:
  Figure Out the Current Software Requirements Engineering - What Practitioners Expect to Requirements Engineering? -. 89-96
  
• Mahvish Khurum, Khurum Aslam, Tony Gorschek:
  A Method for Early Requirements Triage and Selection Utilizing Product Strategies. 97-104
  
• Jung-Sing Jwo, Yu Chin Cheng:
  Pseudo Software: a New Concept for Iterative Requirement Development and Validation. 105-111
  
• Kawin Supaporn, Nakornthip Prompoon, Thongchai Rojkangsadan:
  Enterprise Assets Security Requirements Construction from ESRMG Grammar based on Security Patterns. 112-119
  

Testing and Analysis II

• Tomohiko Takagi, Zengo Furukawa:
  Construction Method of a High-Order Markov Chain Usage Model. 120-126
  
• Yui Terashima, Katsuhiko Gondow:
  Static Call Graph Generator for C++ using Debugging Information. 127-134
  
• Aiwu Shi, Gleb Naumovich:
  Improving Data Integrity with a Java Mutability Analysis. 135-142
  
• Aiwu Shi, Gleb Naumovich:
  Field Escape Analysis for Data Confidentiality in Java Components. 143-150
  

Software Components and Reuse

• Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, Liwei Shen:
  Coordination-Policy Based Composed System Behavior Derivation. 151-158
  
• Nima Haghpanah, Shahrouz Moaven, Jafar Habibi, Mehdi Kargar, Soheil Hassas Yeganeh:
  Approximation Algorithms for Software Component Selection Problem. 159-166
  
• Hui Song, Yanchun Sun, Li Zhou, Gang Huang:
  Towards Instant Automatic Model Refinement Based on OCL. 167-174
  
• Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett:
  Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. 175-182
  

Aspect-Oriented Software

• Chien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, Shun-Te Wang:
  Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems. 183-190
  
• Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen:
  Toward Efficient Aspect Mining for Linux. 191-198
  
• Ninh-Thuan Truong, Viet Ha Nguyen:
  Using B to Verify the Weaving of Aspects. 199-205
  
• Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Masahide Banno:
  E-AoSAS++ and its Software Development Environment. 206-213
  

Software Metrics and Measurement

• Noriko Hanakawa:
  Visualization for Software Evolution Based on Logical Coupling and Module Coupling. 214-221
  
• Jacky Keung, Barbara Kitchenham:
  Optimising Project Feature Weights for Analogy-Based Software Cost Estimation using the Mantel Correlation. 222-229
  
• Annabella Loconsole, Jürgen Börstler:
  Are Size Measures Better Than Expert Judgment? An Industrial Case Study on Requirements Volatility. 238-245
  
• Hongyu Zhang, Hee Beng Kuan Tan:
  An Empirical Study of Class Sizes for Large Java Systems. 230-237
  

Software Maintenance and Evolution

• Ling Lan, Gang Huang, Weihu Wang, Hong Mei:
  A Middleware-based Approach to Model Refactoring at Runtime. 246-253
  
• Yu-Seung Ma, Duk-Kyun Woo:
  Applying a Code Clone Detection Method to Domain Analysis of Device Drivers. 254-261
  
• Yoshiki Higo, Yasushi Ueda, Shinji Kusumoto, Katsuro Inoue:
  Simultaneous Modification Support based on Code Clone Analysis. 262-269
  
• Karthik Subbian, Ramakrishnan Kannan, Raghav Kumar Gautam, Y. Narahari:
  Incentive Compatible Mechanisms for Group Ticket Allocation in Software Maintenance Services. 270-277
  

Formal Methods I

• Toshiaki Aoki, Takuya Katayama:
  Statechart-based Verification of Object-Oriented Design Models. 278-285
  
• Wei Dong, Ji Wang, Zhichang Qi, Ni Rong:
  Compositional Verification of UML Dynamic Models. 286-293
  
• João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell:
  Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. 294-301
  

Software Architecture and Design

• Ke Jiang, Lei Zhang, Shigeru Miyake:
  An Executable UML with OCL-based Action Semantics Language. 302-309
  
• Hamid Bagheri:
  Injecting security as aspectable NFR into Software Architecture. 310-317
  
• Krishneel Goundar, Santokh Singh, Xinfeng Ye:
  An Investigation into Concurrency Control Mechanisms in Data Service Layers. 318-325
  

Embedded Systems

• Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani:
  Enhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded Software. 326-333
  
• Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou:
  Developing an Insulin Pump System Using the SOFL Method. 334-341
  
• Natsuko Noda, Tomoji Kishi:
  Aspect-Oriented Modeling for Embedded Software Design. 342-349
  

Formal Methods II

• Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa:
  Automatic Extraction and Verification of Page Transitions in aWeb Application. 350-357
  
• Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna:
  Disk Based Software Verification via Bounded Model Checking. 358-365
  
• Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa:
  A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. 366-373
  

Software Processes I

• Xiang-xi Meng, Ya-sha Wang, Lei Shi, Feng-Jian Wang:
  A Process Pattern Language for Agile Methods. 374-381
  
• Seunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hwan Bae:
  Deriving Software Process Simulation Model from SPEM-based Software Process Model. 382-389
  
• Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais:
  Definition of an Executable SPEM 2.0. 390-397
  

Empirical Software Engineering

• Jacek Dajda, Grzegorz Dobrowolski:
  Experiment-Driven Approach to Building Support for Distributed Agile Teams. 398-405
  
• Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae:
  An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics. 406-413
  
• Richard Barker, Ewan D. Tempero:
  A Large-Scale Empirical Comparison of Object-Oriented Cohesion Metrics. 414-421
  

Secure Software

• Hieu Dinh Vo, Masato Suzuki:
  An Approach for Specifying Access Control Policy in J2EE Applications. 422-429
  
• Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey:
  Early Validation and Verification of a Distributed Role-Based Access Control Model. 430-437
  
• Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi:
  Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. 438-445
  

Software Processes II

• Zhedan Pan, Hyuncheol Park, Jongmoon Baik, Ho-Jin Choi:
  A Six Sigma Framework for Software Process Improvements and its Implementation. 446-453
  
• Fatemeh Chitforoush, Maryam Yazdandoost, Raman Ramsin:
  Methodology Support for the Model Driven Architecture. 454-461
  
• Raymund Sison, Theresa Yang:
  Use of Agile Methods and Practices in the Philippines. 462-469
  
• Jingyue Li, Jianqiang Ma, Reidar Conradi, Weibing Chen, Junzhong Ji, Chunnian Liu:
  A Survey on the Business Relationship between Chinese Outsourcing Software Suppliers and Their Outsourcers. 470-477
  

Software Product-Line

• Juha Savolainen, Marjo Kauppinen, Tomi Männistö:
  Identifying Key Requirements for a New Product Line. 478-485
  
• Tsuneo Nakanishi, Mitsunori Fujita, Susumu Yamazaki, Naohito Yamashita, Shuichi Ashihara:
  Tailoring the Domain Engineering Process of the PLUS Method. 486-493
  
• Olfa Djebbi, Camille Salinesi, Daniel Diaz:
  Deriving Product Line Requirements: the RED-PL Guidance Approach. 494-501
  

Tools and Developement Environments

• Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh:
  ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java. 502-509
  
• Yusen Li, Feng Wang, Gang Wang, Xiaoguang Liu, Jing Liu:
  MKtrace: An Innovative Debugging Tool for Multi-Threaded Programs on Multiprocessor Systems. 510-517
  
• Hon Fung Li, Eslam Al Maghayreh:
  Checking Distributed Programs with Partially Ordered Atoms. 518-525
  

Software Quality Management

• Reng Yin, Hao Hu, JiDong Ge, Jian Lu:
  Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets. 526-533
  
• Chao-Jung Hsu, Chin-Yu Huang:
  Improving Effort Estimation Accuracy by Weighted Grey Relational Analysis During Software Development. 534-541
  
• Debasish Kundu, Debasis Samanta:
  A Novel Approach of Prioritizing Use Case Scenarios. 542-549
  

Workshops

• Katsuro Inoue, Mike Barker:
  Accountability and Traceability in Global Software Engineering (ATGSE2007). 553-554
  
• Muhammad Ali Babar, Makoto Nonaka:
  The First International Workshop on Management and Economics of Software Product Lines (MESPUL07). 555-556
  
• Hironori Washizaki, Nobukazu Yoshioka:
  1st International Workshop on Software Patterns and Quality (SPAQu'07). 557-558
  
• Toshiro Takase:
  Workshop on Service Oriented Architecture. 559
  
• J. Barrie Thompson, Masami Noro, Helen M. Edwards:
  Education Workshop: Bridging the University/Industry Gap. 560-561
  
• Jacky Keung:
  SPACE 2007 - 1st International Workshop on Software Productivity Analysis and Cost Estimation. 562
  

Research Posters

• Fida Hussain, Muhammad Saeed Shehzad:
  "Robust and Flexible Software Inspection model" for Software Re-Engineering Process: Abstraction phase. 565
  
• Zahra Karimi Dehkordi, Elahe Najafi:
  Architectural Naming, a Secret of Agile Thinking. 565
  
• Basem Suleiman, Eldar Aliev, Vladimir Tosic:
  Time-Quality Metric Model for Quality Measurement of Web-Based Systems. 566
  
• Chu-Ti Lin, Chin-Yu Huang:
  Analyzing the Service Level of Software Debugging System through Simulation-based Queuing Approach. 566
  
• Dongmei Xu, Jun Kurogi, Yoshihide Ohgame, Atsuo Hazeyama:
  Distributed Collaborative Modeling Support System for UML diagrams. 567
  
• Martin Ouimet, Kristina Lundqvist:
  The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. 567
  
• Pengwei Tian, Yaoxue Zhang, Yuezhi Zhou, Ming Zhong, Cunhao Fang:
  UCSI Towards a User-Centric Service Integration Approach. 568
  
• Di Wu, Jie Chen, Flávio Oquendo:
  Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. 568
  
• Meng Wang, Ping Chen, Xiyang Liu, Shengming Hu, Miao Zhang:
  DFTL: a Description Language for Transformation of Data Formats. 569
  
• Kimiharu Okura, Shinji Kawaguchi, Noriko Hanakawa, Hajimu Iida:
  Email and Trouble Report Analysis for Revealing Context with the Project Replayer. 569
  
• Xiyang Liu, Tao Liu, Zhiwen Bai, Yan Wang, Haoying Mu, Chunxiang Li:
  PORD: a Reversible Debugging Tool using Dynamic Binary Translation. 570
  
• Xiaoyu Song:
  Non-Functional Requirements Elicitation and Incorporation into Functional Models. 570
  
• Yi Wang:
  Validating Software Reliability by Binary Translation. 570
  
• Yi Wang, Huihui Shi:
  Project Management Practices on Building Management Information System in IBM Global Business Service. 571
  
• Olivier Buchwalder:
  MEtaGile: An Agile Domain-Specific Modeling Environment. 571
  
• Sheng-Fei Hsu, Hui-Ling Yu:
  Analysis of the Factors of Influencing Parent's Confidence on the Internet by Associating Rules Mining. 572
  

Last update Sat May 25 01:58:51 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page