SERP'10: July 15, 2010 Schedule

To select a different schedule CLICK HERE

6:45am - 4:00pm:  REGISTRATION (Second Floor, Conference Lobby: 1-5)


SESSION 8-SERP:   FORMAL VERIFICATION AND VALIDATION METHODS +
                  SOFTWARE PROJECT MANAGEMENT + EDUCATION
                  Chair: Dr. Kevin A. Gary, Arizona State University at the
                  Polytechnic Campus, Arizona, USA
                  July 15, 2010 (Thursday); 08:00am - 10:20am
                  (LOCATION: Ballroom 8)

08:00 - 08:20am:  Capturing Software Project Management Knowledge with PROMOL:
                  Project Management Modeling Language
                  Kadir Alpaslan Demir
                  Turkish Naval Academy, Istanbul, Turkey

08:20 - 08:40am:  A Simple Framework for Project Communications
                  Kadir Alpaslan Demir
                  Turkish Naval Academy, Istanbul, Turkey

08:40 - 09:00am:  Model Checking of Software Design in State Transition Matrix
                  Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira,
                  Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, and
                  Akira Fukuda
                  Fukuoka Industry, Science & Technology Foundation, Japan;
                  CATS Co., Ltd., Japan;  University of Miyazaki, Japan;
                  Kyushu University, Japan

09:00 - 09:20am:  Global State Validation in a Component-based Architecture
                  Benjamin Muffih and Kevin Gary
                  Arizona State University, Mesa, Arizona, USA

09:20 - 09:40am:  Assisting Specification and Consistency-Check of Temporal
                  Requirements for Critical Systems
                  Mohamed Ghazel and Ahmed Mekki
                  University Lille Nord de France, Lille, France;
                  French National Institute for Transport & Safety Reserach, France

09:40 - 10:00am:  Towards Validation of E-Services Composition: Transforming
                  eFlow to Petri-Nets
                  Hossein Nematzadeh Balagatabi and Radziah Mohamad
                  Universiti Teknologi Malaysia, Malaysia

10:00 - 10:20am:  An Analysis of the Significance of MDD for Industry
                  Pedro Fernandez and Antonio Navarro
                  GFI Informatica, Madrid, Spain

10:20 - 10:40am:  BREAK


SESSION 9-SERP:   SOFTWARE AND SYSTEM REQUIREMENTS ENGINEERING
                  Chair: Dr. Mohamed Ghazel, The French National Institute for
                  Transport & Safety Reserach, University Lille Nord de France, France
                  July 15, 2010 (Thursday); 10:40am - 12:20pm
                  (LOCATION: Ballroom 8)

10:40 - 11:00am:  Requirements Engineering for Home Health Care Software Systems
                  Kevin Daimi, Luming Li, Xiaodan Lu, Nazar El-Nazeer
                  University of Detroit Mercy, Detroit, Michigan, USA

11:00 - 11:20am:  Framework for Domain Analysis of Teleteaching System: A
                  Semiformal Approach
                  Animesh Dutta, Imon Banerjee, Shrutilipi Bhattacharya,
                  Ranjan Dasgupta, Swapan Bhattachary
                  NIT Durgapur, India

11:20 - 11:40am:  Towards a Holistic Requirements Engineering Method
                  Tom Wanyama and Behrouz Homayoun Far
                  University of Calgary, Alberta, Canada

11:40 - 12:00pm:  Traceability Link for Product Line with RAS Based Representation
                  Yusuke Hattori, Go Hirakawa, Shuichi Ashihara, Tsuneo Nakanishi,
                  Kenji Hisazumi, Akira Fukuda
                  Kyushu University, Japan; Network Application Engineering Lab., Japan

12:00 - 12:20pm:  Evaluating ESB for C4I Architecture Framework Using Analytic
                  Hierarchy Process
                  Abdullah S. Alghamdi, Iftikhar Ahmad, Muhammad Nasir
                  King Saud University, Kingdom of Saudi Arabia

12:20 - 01:20pm:  LUNCH (On Your Own)


SESSION 10-SERP:  SOFTWARE ARCHITECTURE AND DESIGN PATTERNS
                  Co-Chairs: Prof. Hassan Reza* and Dr. Kadir Alpaslan Demir**
                  *University of North Dakota, USA;
                  **Turkish Naval Academy, Istanbul, Turkey
                  July 15, 2010 (Thursday); 01:20pm - 03:00pm
                  (LOCATION: Ballroom 8)

01:20 - 01:40pm:  Model Driven Architecture for Round-Trip Engineering: A
                  Conceptual Framework
                  Liliana Favre
                  Univ. Nacional Del Centro De La Provincia De Buenos Aires, Argentina

01:40 - 02:00pm:  Transformation Rules in POMA Architecture
                  Mohamed Taleb, Ahmed Seffah, Alain Abran
                  Concordia University, Canada;
                  Ecole de Technologie Superieure (ETS), Quebec, Canada

02:00 - 02:20pm:  A Comparison of Software Architectural Styles Using Aspects
                  Maziar Boddoohi and Devon M. Simmonds
                  University of North Carolina Wilmington, North Carolina, USA

02:20 - 02:40pm:  Model Based Testing Using AADLs
                  Hassan Reza
                  University of North Dakota, Aerospace Sciences, North Dakota, USA

02:40 - 03:00pm:  Mining for Patterns in Program Dependence Graphs
                  Imran Afzal and M. H. Samadzadeh
                  Oklahoma State University, Stillwater, Oklahoma, USA

03:00 - 03:20pm:  BREAK


SESSION 11-SERP:  SOFTWARE SECURITY AND REUSABILITY ENGINEERING
                  Chair: Imran Afzal, Oklahoma State University, USA
                  July 15, 2010 (Thursday); 03:20pm - 04:00pm
                  (LOCATION: Ballroom 8)

03:20 - 03:40pm:  Multi-Agent System Supporting Security Requirements Engineering
                  Esmiralda Moradian, Anne Hakansson, Jan Olof Andersson
                  The Royal Institute of Technology, Sweden;
                  Medical Products Agency, Sweden

03:40 - 04:00pm:  FREE SLOT


SESSION 12-SERP:  GENERAL TOPICS: SOFTWARE ENGINEERING RESEARCH & PRACTICE
                  Chair: Imran Afzal, Oklahoma State University, USA
                  July 15, 2010 (Thursday); 04:00pm - ...
                  (LOCATION: Ballroom 8)

                  Note: We anticipate a large number of speaker no-shows for this track.
                  (due to potential delay in obtaining US visa, non registration, ...)
                  In cases of no-shows, the presentations can be moved up to close
                  time gaps in the session. Each talk is 15 to 20 minutes long.

                  O. Designing Transaction Management System in Component Based
                     Network Model for Secured Component Transmission
                     Puneet Goswami and Pradeep Kumar
                     Dronacharya College of Engineering, Khentawas, India;
                     Guru Jambheshwar University of Science & Technology, India
                  O. Design Pattern Recovery Based on Pattern Features
                     Ghulam Rasool, Ilka Philippow, Patrick Maeder
                     Technical University of Ilmenau, Germany
                  O. SET4SCRUM: Security Enhance Metric Taxonomy for SCRUM
                     Chris B. Simmons and Linda B. Sherrell
                     University of Memphis, TN, USA
                  O. Design an SOA-based Earthquake Forewarning System Using BPMN
                     Tamirat T. Abegaz and Xiaohong Yuan
                     North Carolina A&T State University, North Carolina, USA
                  O. Capacity Planning - Estimating VM Packing Factor for P2V Migrations
                     Carl De Pasquale
                     College of Staten Island, New York, USA
                  O. Rules for UML Diagrams
                     Mohammad N. Alanazi
                     Imam Muhammad Ibn Saud University, Saudi Arabia
                  O. Applying Case Based Reasoning For Detecting Semantic Services
                     K. Harsha Veerendra Kumar and S. Margret Anouncia
                     VIT Univerisity, India
                  O. Semantic Matching of Software Project Documents Using Ontology
                     M. V. Deshpande and S. G. Bhirud
                     D.J.Sanghvi College of Engineering, Mumbai, India;
                     SVKM's NMIMS University, Mumbai, India;
                     Veermata Jijabai Technological Institute, Mumbai, India
                  O. Organizational Software Cost Estimation Methodology for e-Government Projects
                     Abdulhameed Al-Elaiwi
                     Riyadh College of Technology, TVTC, Saudi Arabia

To select a different schedule CLICK HERE