Advance Program
The pdf version of Final Program can be downloaded.
Main contents are as follows:
Venue: Midland Hall
All conference sessions convene on the 5th floor in the Midland Square building. Midland Square is located in front of JR/Subway Nagoya station by 2-3 minutes walk. To access to Midland Hall before 10:30 a.m., please get on elevators from either Lobby or B1F in Office Tower. After 10:30 a.m., escalators from 4th Floor in Shopping Tower can be also used.
Nagoya Marriott Associa Hotel and Sofitel The Cypress Nagoya can be reached from Midland Square by 3-10 minutes walk.
From Nagoya Marunouchi Tokyu Inn, take subway Sakura-dori Line at Marunouchi station, two stops from Nagoya station in 5 minutes. The Sakura-dori line Nagoya station is located on the B3 floor under JR Nagoya station. Take either escalator to the B1 floor or elevator to 1st floor. From the B1 floor, EXIT 5, 6, and 7 are close to Midland Square. See a map of JR Nagoya Station.
Registration
Registration desk is open from 9:00 a.m. on December 3 at the Registration area on the 5th floor of Midland Square.
Floor Map
Program at a Glance
December 3, 2007 (Monday)
December 4, 2007 (Tuesday)
December 5, 2007 (Wednesday)
9:00-9:15 |
Opening: Hall |
9:15-10:45 |
Keynote Speech: Hall
Professor Michael Jackson
Specialising in Software Engineering |
10:45-11:00 |
Break |
11:00-12:30 |
Session 1A
Hall
Requirements Engineering I |
Session 1B
Room A
Testing and Analysis I |
Session 1C
Room C
Service-Oriented and Web-Based Software |
12:30-13:45 |
Lunch (Provided) |
13:45-15:45 |
Session 2A
Hall
Requirements Engineering II |
Session 2B
Room A
Testing and Analysis II |
Session 2C
Room C
Software Components and Reuse |
15:45-16:00 |
Break |
16:00-18:00 |
Session 3A
Hall
Aspect-Oriented Software |
Session 3B
Room A
Software Metrics and Measurement |
Session 3C
Room C
Software Maintenance and Evolution |
19:00-21:00 |
Poster & Reception: Hall |
December 6, 2007 (Thursday)
December 7, 2007 (Friday)
Technical Program
December 5, 2007 (Wednesday)
Keynote Speech: 9:15 - 10:45 (Hall)
Professor Michael Jackson, The Open University, UK
Title: Specialising in Software Engineering
Session 1A: 11:00 - 12:30 (Hall)
Requirements Engineering I
Chair: Akira Sakakibara
- Aligning the Map Requirements Modelling with the B-method for Formal Software Development,
Abdul Babar, Vladimir Tosic, and John Potter
- A Methodological Framework for SysML: a Problem Frames-Based Approach,
Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, and Alberto Coen-Porisini
- Extraction of Viewpoints for Eliciting Customer's Requirements based on Analysis of Specification Change Records,
Kouji Aoyama, Takanori Ugai, Shigeru Yamada, and Akihiko Obata
Session 1B: 11:00 - 12:30 (Room A)
Testing and Analysis I
Chair: Paul Strooper
- Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage,
Ahmed S. Ghiduk, Mary Jean Harrold, and Moheb R. Girgis
- Finding A Test Order using Object-Oriented Slicing Technique,
Jutarat Jaroenpiboonkit and Taratip Suwannasart
- Function Call Flow based Fitness Function Design in Evolutionary Testing,
Xiyang Liu, Miao Zhang, Zhiwen Bai, Lei Wang, Wen Du, and Yan Wang
Session 1C: 11:00 - 12:30 (Room C)
Service-Oriented and Web-Based Software
Chair: Deron Liang
- Secure Behavior of Web Browsers to Prevent Information Leakages,
Takaaki Tateishi, and Naoshi Tabuchi
- Realizability of Collaboration-based Service Specifications,
Humberto Nicolas Castejon, Rolv Brak, and Gregor von Bochmann
- The Validation and Verification of WSCDL,
Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, and Jifeng He
Session 2A: 13:45 - 15:45 (Hall)
Requirements Engineering II
Chair: Takako Nakatani
- Figure Out the Current Software Requirements Engineering -What Practitioners Expect to Requirements Engineering? -,
Mayumi Itakura Kamata, Ai Yoshimoto Yoshida, Hisashi Yoshida, Nao Aoki
- A Method for Early Requirements Triage and Selection Utilizing Product Strategies,
Mahvish Khurum, Khurum Aslam, and Tony Gorschek
- Pseudo Software: a New Concept for Iterative Requirement Development and Validation,
Jung-Sing Jwo and Yu Chin Cheng
- Enterprise Assets Security Requirements Construction from ESRMG Grammar based on Security Patterns,
Kawin Supaporn, Nakornthip Prompoon, and Thongchai Rojkangsadan
Session 2B: 13:45 - 15:45 (Room A)
Testing and Analysis II
Chair: Cyrille Artho
- Construction Method of a High-Order Markov Chain Usage Modell,
Tomohiko Takagi and Zengo Furukawa
- Static Call Graph Generator for C++ using Debugging Information,
Yui Terashima and Katsuhiko Gondow
- Improving Data Integrity with a Java Mutability Analysis,
Aiwu Shi and Gleb Naumovich
- Field Escape Analysis for Data Confidentiality in Java Components,
Aiwu Shi and Gleb Naumovich
Session 2C: 13:45 - 15:45 (Room C)
Software Components and Reuse
Chair: Hironori Washizaki
- Coordination-Policy Based Composed System Behavior Derivation,
Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, and Shan Tang
- Approximation Algorithms for Software Component Selection Problem,
Nima Haghpanah, Mehdi Kargar, Jafar Habibi, Soheil Hassas Yeganeh
- Towards Instan t Automatic Model Refinement Based on OCL,
Hui Song, Yanchun Sun, Li Zhou, and Gang Huang
- Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems,
Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, and Dennis Plunkett
Session 3A: 16:00 - 18:00 (Hall)
Aspect-Oriented Software
Chair: Jianjun Zhao
- Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems,
Chien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, and Shun-Te Wang
- Toward Efficient Aspect Mining for Linux,
Danfeng Zhang, Yao Guo, Yue Wang, and Xiangqun Chen
- Using B to Verify the Waving of Aspects,
Truong Ninh Thuan and Nguyen Viet Ha
- E-AoSAS++ and its Software Development Environment,
Masami Noro, Atsushi Sawada, and Yoshinari Hachisu
Session 3B: 16:00 - 18:00 (Room A)
Software Metrics and Measurement
Chair: Pornsiri Muenchaisri
- Visualization for Software Evolution Based on Logical Coupling and Module Coupling,
Noriko Hanakawa
- Optimising Project Feature Weights for Analogy-based Software Cost Estimation using the Mantel Correlation,
Jacky W. Keung and Barbara Kitchenham
- An Empirical Study of Class Sizes for Large Java Systems,
Hongyu Zhang and Hee Beng Kuan Tan
- Are Size Measures Better Than Expert Judgement? An Industrial Case Study on Requirements Volatility,
Annabella Loconsole and Jurgen Borstler
Session 3C: 16:00 - 18:00 (Room C)
Software Maintenance and Evolution
Chair: Makoto Matsushita
- A Middleware-based Approach to Model Refactoring at Runtime,
Ling Lan, Gang Huang, Weihu Wang, and Hong Mei
- Applying a Code Clone Detection Method to Domain Analysis of Device Drivers,
Yu-Seung Ma and Duk-Kuyn Woo
- Simultaneous Modification Support based on Code Clone Analysis,
Yoshiki Higo, Yasushi Ueda, Shinji Kusumoto, and Katsuro Inoue
- Incentive Compatible Mechanisms for Group Ticket Allocation in Software Maintenance Services,
Karthik Subbian, Ramakrishnan Kannan, Raghav K Gautam, and Y Narahari
December 6, 2007 (Thursday)
Keynote Speech: 9:00 - 10:30 (Hall)
Professor Hideyuki Tokuda, Keio University, Japan
Title: Challenges in Realizing a Ubiquitous Network Society
~ Development of Smart Spaces and Ubiquitous Services ~
Session 4A: 10:45 - 12:15 (Room A)
Formal Methods I
Chair: Osamu Shigo
- Statechart-based Verification of Object-Oriented Design Models,
Toshiaki Aoki and Takuya Katayama
- Compositional Verification of UML Dynamic Models,
Wei Dong, Ji Wang, and Zhichang Qi
- Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller,
Joao M. Fernandes, Jens Bak Jorgensen, and Simon Tjell
Session 4B: 10:45 - 12:15 (Hall)
Software Architecture and Design
Chair: Shingo Takada
- An Executable UML with OCL-based Action Semantics Language,
Ke Jiang, Lei Zhang, and Shigeru Miyake
- Injecting Security as Aspectable NFR into Software Architecture,
Hamid Bagheri and Seyed Hassan Mirian Hosseinabadi
- An Investigation into Concurrency Control Mechanisms in Data Service Layers,
Krishneel Goundar, Santokh Singh, and Xin Feng Ye
Session 4C: 10:45 - 12:15 (Room C)
Embedded Systems
Chair: Yao Guo
- Enhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded Software,
Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, and Takako Nakatani
- Developing an Insulin Pump System Using the SOFL Method,
Jichuan Wang, Shaoying Liu, Yong Qi, and Di Hou
- Aspect-Oriented Modeling for Embedded Software Design,
Natsuko Noda and Tomoji Kishi
Session 5A: 13:30 - 15:00 (Room A)
Formal Methods II
Chair: Toshiaki Aoki
- Automatic Extraction and Verification of Page Transitions in aWeb Application,
Atsuto Kubo, Hironori Washizaki, and Yoshiaki Fukazawa
- Disk Based Software Verification via Bounded Model Checking,
Fernando Brizzolari, Igor Melatti, Enrico Tronci, and Giuseppe Della Penna
- A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs based on Communicating Processes,
Ryo Suetsugu, Shoji Yuen, and Kiyoshi Agusa
Session 5B: 13:30 - 15:00 (Room B)
Software Processes I
Jongmoon Baik
- A Process Pattern Language for Agile Methods,
Meng Xiang-xi, Wang Ya-sha, Shi Lei, and Wang Feng-jian
- Deriving Software Process Simulation Model from SPEM -based Software Process Model,
SeungHun Park, KeungSik Choi, KyungA Yoon, and Doo-Hwan Bae
- Definition of an Executable SPEM 2.0,
Reda Bendraou, Benoit Combemale, Xavier Cregut, and Marie-Pierre Gervais
Session 5C: 13:30 - 15:00 (Room C)
Empirical Software Engineering
Chair: Akito Monden
- Experiment-Driven Approach to Building Support for Distributed Agile Teams,
Jacek Dajda and Grzegorz Dobrowolski
- An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics,
Tae-Hoon Song, Kyung-A Yoon, and Doo-Hwan Bae
- A Large-Scale Empirical Comparison of Object-Oriented Cohesion Metrics,
Richard Barker and Ewan Tempero
Session 6A: 15:15 - 16:45 (Room A)
Secure Software
Chair: Gang Huang
- An Approach for Specifying Access Control Policy in J2EE Applications,
Hieu Vo and Masato Suzuki
- Early Validation and Verification of a Distributed Role-Based Access Control Model,
Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, and R. G. Dromey
- Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis,
Mika Koganeyama, Naoshi Tabuchi, and Takaaki Tateishi
Session 6B: 15:15 - 17:15 (Room B)
Software Processes II
Chair: Doo-Hwan Bae
- A Six Sigma Framework for Software Process Improvements and its Implementation,
Pan Zhedan, Hyuncheol Park, Jongmoon Baik, and Hojin Choi
- Methodology Support for the Model Driven Architecture,
Fatemeh Chitforoush, Maryam Yazdandoost, and Raman Ramsin
- Use of Agile Methods and Practices in the Philippines,
Raymund Sison and Theresa Yang
- A Survey on the Business Relationship between Chinese Outsourcing Software Suppliers and Their Outsourcers,
Jingyue Li, Jianqiang Ma, Reidar Conradi, Weibing Chen, Junzhong Ji, and Chunnian Liu
Session 6C: 15:15 - 17:15 (Room C)
Panel on Accountability and Traceability in Global Software Engineering
- Coordinator:
- Katsuro Inoue, Osaka Univ.
- Panelists:
- Michael Barker, NAIST
Pankaj Jalote, IIT Delhi
Dehua Ju, East China University of Science and Technology
Ken-ichi Matsumoto, NAIST
Harvey Siy, University of Nebraska
December 7, 2007 (Friday)
Invited Talk, 9:00 - 10:00 (Hall)
Mr. Kazuhiro Tsuga, Executive Officer, Matsushita Electric Industrial Co., Ltd., Japan
Title: Panasonic's Strategy for Digital CE Development
Session 7A: 10:00 - 11:30 (Room A)
Software Product-Line
Chair: Tomoji Kishi
- Identifying Key Requirements for a New Product Line,
Juha Savolainen, Marjo Kauppinen, and Tomi Mannisto
- Tailoring the Domain Engineering Process of the PLUS Method,
Tsuneo Nakanishi, Mitsunori Fujita, Susumu Yamazaki, Naohito Yamashita, and Shuichi Ashihara
- Deriving Product Line Requirements: the RED-PL Guidance Approach,
Olfa Djebbi, Camille Salinesi, and Daniel Diaz
Session 7B: 10:00 - 11:30 (Hall)
Tools and Development Environments
Chair: Katsuhiko Gondow
- ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java,
Yu Chin Cheng, Chien-Tsun Chen, and Chin-Yun Hsieh
- MKtrace: An innovative debugging tool for multi-threaded programs on multiprocessor systems,
Yusen Li, Feng Wang, Gang Wang, Xiaoguang Liu, and Jing Liu
- Checking Distributed Programs with Partially Ordered Atoms,
H. F. Li and E. Al-Maghayreh
Session 7C: 10:00 - 11:30 (Room C)
Software Quality Management
Chair: Jacky Keung
- Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets,
Reng Yin, Hao Hu, Jidong Ge, and Jian Lu
- Improving Effort Estimation Accuracy by Weighted Grey Relational Analysis During Software Development,
Chao-Jung Hsu and Chin-Yu Huang
- A Novel Approach of Prioritizing Use Case Scenarios,
Debasish Kundu and Debasis Samanta
Research Posters
Research posters are on display at Hall during the Reception time.
- Robust and Flexible Software Inspection model for Software Re-Engineering Process: Abstraction phase,
Fida Hussain and Muhammad Saeed Shehzad
- Architectural Naming, A Secret of Agile Thinking,
Zahra Karimi Dehkordi and Elahe Najafi
- Time-Quality Metric Model for Quality Measurement of Web-Based Systems
Basem Suleiman,
Eldar Aliev, and Vladimir Tosic
- Analyzing the Service Level of Software Debugging System through Simulation-Based Queuing Approach,
Chu-Ti Lin and Chin-Yu Huang
- Distributed Collaborative Modeling Support System for UML Diagrams,
Dongmei Xu, Jun Kurogi, Yoshihide Ohgame, and Atsuo Hazeyama
- The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems,
Martin Ouimet and Kristina Lundqvist
- UCSI: Towards a User-Centric Service Integration Approach,
Pengwei Tian, Yaoxue Zhang, Yuezhi Zhou, Ming Zhong, and Cunhao Fang
- Formal Model-Driven Engineering of Distributed Simulation Systems Based on Architecture-Centric Domain-Specific Approach,
Di Wu, Jie Chen, and Flavio Oquendo
- DFTL: A Description Language for Transformation of Data Formats,
Meng Wang, Ping Chen, Xiyang Liu, Shengming Hu, and Miao Zhang
- Email and Trouble Report Analysis for Revealing Context with the Project Replayer,
Kimiharu Ohkura, Shinji Kawaguchi, Noriko Hanakawa, and Hajimu Iida
- PORD: A Reversible Debugging Tool Using Dynamic Binary Translation,
Xiyang Liu, Tao Liu, Zhiwen Bai, Yan Wang, Haoying Mu, and Chunxiang Li
- Non-Functional Requirements Elicitation and Incorporation into Functional Models,
Xiaoyu Song
- Validating Software Reliability by Binary Translation,
Yi Wang
- Project Management Practices on Building Management Information System in IBM Global Business Service,
Yi Wang and Huihui Shi
Banquet & Presentation of Best Paper Award
Location:
Versailles Ballroom on the 3rd floor of
Nagoya Tokyu Hotel
Time: 19:00 - 21:00
Access:
- Take the subway (HIGASHIYAMA LINE) at Nagoya station to get to Sakae station.
- Go through Exit 12 of Sakae station and go straight 3 blocks (passing two signals) on the HIROKOJI-DORI street in an eastern direction. Nagoya Tokyu Hotel will be on your right.
Access information provided by the Hotel is here.
Technical Tour
Location: Toyota Tsutsumi Plant and Toyota Kaikan Exhibition Hall
Time: 12:50 - 17:00
Departure from the conference venue (Midland Square) at 12:50 and walk to the Nagoya station all together. Chartered buses will leave from the Taiko-dori side (opposite side of Midland Square) of the station at 13:00. Arrival time of Nagoya station is due at 17:00. Please note the arrival time is subject to change due to traffic jam.