SERP'08: July 17, 2008 Schedule

To select a different schedule CLICK HERE

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


SESSION 10-SERP:  THEORETIC APPROACHES (Chair: TBA)
                  July 17, 2008 (Thursday); 08:00am - 09:40am
                  (LOCATION: Ballroom 8)

08:00 - 08:20am:  Logical Analysis of DEVS Models Using Z
                  Mohamed Wassim Trojet, Maamar El-Amine Hamri and Claudia Frydman
                  Universite Paul Cezanne, France

08:20 - 08:40am:  A Top-Down Method for B2B Process Design Using SOA
                  Mostafa Madiesh and Guido Wirtz
                  Otto-Friedrich-University Bamberg, Germany

08:40 - 09:00am:  Software Complexity for Computer Communication and Sensor
                  Networks Using Binary Decision Diagrams
                  Harpreet Singh, Adam Mustapha, Vijay Sharma and Grant R. Gerhart
                  Wayne State University, USA

09:00 - 09:20am:  Model Checking Consistency Between Sequence and State Diagrams
                  Kuang-Nan Chang
                  Eastern Kentucky University, USA

09:20 - 09:40am:  Qualitative Comparison of B, VDM and Z in Specifying
                  Requirements of Safety Critical Systems
                  Ishrat Rahman Sami and Brian Dupee*
                  eShop Works, UK;  Southampton Solent University, UK


SESSION 11-SERP:  PRODUCT MANAGEMENT
                  Chair: Dr. Shahriar Movafaghi, Southern New Hampshire University, USA
                  July 17, 2008 (Thursday); 09:40am - 11:40am
                  (LOCATION: Ballroom 8)

09:40 - 10:00am:  User-Driven Development in a Corporate Environment
                  Tryggvi Bjorgvinsson and Helgi Thorbergsson
                  University of Iceland, Iceland

10:00 - 10:20am:  An Approach to Software Artefact Specification for
                  Supporting Product Line Systems
                  Waraporn Jirapanthong
                  Dhurakij Pundit University, Thailand

10:20 - 10:40am:  BREAK

10:40 - 11:00am:  Accuracy of Software Cost Estimation
                  Hassan Pournaghshband and Shahriar Movafaghi
                  Southern Polytechnic State University, USA;
                  Southern New Hampshire University, USA

11:00 - 11:20am:  Ensuring the Maturity of Processes During Transition to SOA
                  T. Peplow, B. J. Dupee*, and M. R. Ross
                  iMeta Technologies Ltd, UK;  Southampton Solent University, UK

11:20 - 11:40am:  Internal Marketing to Elicit Conceptual Needs for Internal Software
                  Mark Elkins, Margaret Ross, Geoff Staples, and Brian Dupee
                  Southampton Solent University, UK


SESSION 12-SERP:  SOFTWARE QUALITY + CASE STUDIES (Chair: TBA)
                  July 17, 2008 (Thursday); 11:40am - 02:20pm
                  (LOCATION: Ballroom 8)

11:40 - 12:00pm:  Modeling Software Systems with Decidable Semantics: Implications on
                  Software Quality Assurance
                  Kenneth M. Anderson and Steven Bucuvalas
                  University of Colorado, Boulder, Colorado, USA;
                  ioSemantics LLC, Buffalo Creek, Colordo, USA

12:00 - 12:20pm:  Software Quality Assessment and Project Risk Management Based
                  on Bayesian Belief Networks
                  Kanaan A. Faisal
                  King Fahd University of Petroleum and Minerals, Saudi Arabia

12:20 - 12:40pm:  Application of Open Hypermedia to Military Software
                  Kenneth M. Anderson
                  University of Colorado, Boulder, Colorado, USA

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

01:20 - 01:40pm:  Continuous Quality Assurance for Performance Degradation in
                  Evolving Software Systems and MYSQL- QOS
                  N. Malmurugan, J. Prabhu, and G. Gunasekaran
                  Sathyabama University, India

01:40 - 02:00pm:  Practically Relevant Quality Criteria for Requirements Documents
                  Tobias Simon, Jonathan Streit, and Markus Pizka
                  itestra GmbH, Kaufering, Germany

02:00 - 02:20pm:  Specifying Correct Protocols of Multithreaded Java-Like Programs
                  Clement Hurlin
                  INRIA Sophia Antipolis, Mediterranee, France


SESSION 13-SERP:  SOFTWARE TECHNIQUES (Chair: TBA)
                  July 17, 2008 (Thursday); 02:20pm - 03:00pm
                  (LOCATION: Ballroom 8)

02:20 - 02:40pm:  A Garbage Collector Prototype for C++ Applications Based
                  on Mark and Compact Using Aspect Oriented Programming
                  Hamid Mcheick, Aymen Sioud, Abdenour Bouzouane, & Rakan Mcheik
                  University of Quebec at Chicoutimi, Canada

02:40 - 03:00pm:  Implementing Readers/Writers Problem Using Aspect-Oriented Framework
                  Paniti Netinant
                  Bangkok University, Thailand


03:00 - 03:40pm:  DISCUSSION SESSION D-SERP (Refreshments will be available)
                  July 17, 2008 (Thursday)
                  (LOCATION: Hallways - Ballrooms 1-5)

                  O. Formal Construction of Deterministic Finite Automata Recognizing
                     Intersection of Regular Languages
                     Nazir Ahmad Zafar, Nabeel Sabir and Amir Ali
                     University of Central Punjab, Pakistan
                  O. Process Maturity Model for Software Product Lines for SMEs
                     Muthu Ramachandran and Sathya Ganeshan
                     Leeds Metropolitan University, UK
                  O. Domain Engineering Method for Product Line Development
                     Muthu Ramachandran and Sathya Ganeshan
                     Leeds Metropolitan University, UK
                  O. Using XML Trees to Represent GUI States
                     Izzat Alsmadi
                     Yarmouk University, Jordan
                  O. A Comparison of Object-Oriented Languages in Software Engineering
                     Mohammad Reza Nami, Sanaz Hamdollahzadeh, and Fereshteh Kashanian
                     Islamic Azad University, Shahre-rey Branch, Iran
                  O. Use of Data Recharging for Personal Information Environment
                     Atif Farid Mohammad
                     Queens University, Canada
                  O. Software Measurement Needs Its Own Theory
                     Kehinde O. Jolayemi and Austin Melton
                     Kent State University, USA


SESSION 14-SERP:  SOFTWARE TECHNIQUES - continued ... (Chair: TBA)
                  July 17, 2008 (Thursday); 03:40pm - 04:20pm
                  (LOCATION: Ballroom 8)

03:40 - 04:00pm:  Mapping Data-Flow Dependencies onto Distributed Embedded Systems
                  Stefan Kugele and Wolfgang Haberl
                  Technische Universitat Munchen, Garching, Germany;
                  Technische Universitat Darmstadt, Darmstadt, Germany

04:00 - 04:20pm:  Agile Intelligence - Principle Methods and Mechanics
                  Koji Matsumoto and Martin Eggenberger
                  Delta Dental of California, San Francisco, California, USA;
                  Quanis Inc., San Francisco, California, USA


SESSION 15-SERP:  TOOLS AND LEGACY SYSTEMS (Chair: TBA)
                  July 17, 2008 (Thursday); 04:20pm - 06:00pm
                  (LOCATION: Ballroom 8)

04:20 - 04:40pm:  Unit Metrics - A Tool to Support Refactoring in Agile
                  Software Development
                  Martin Kunz, Niko Zenker, Steffen Mencke, Reiner R. Dumke
                  University of Magdeburg, Germany

04:40 - 05:00pm:  A Library-Based Approach to Translating OCL Constraints to
                  JML Assertions for Runtime Checking
                  Carmen Avila, Guillermo Flores, Jr., and Yoonsik Cheon
                  The University of Texas at El Paso, USA

05:00 - 05:20pm:  The Automatic MDA (Model Driven Architecture) Transformations
                  for Heterogeneous Embedded Systems
                  Woo Yeol Kim, Hyun Seung Son, and R. Young Chul Kim
                  Hongik University, Korea

05:20 - 05:40pm:  Dynamical Proxy for Dynamic Services
                  Artur Tomusiak, Kai Qian, and Taixi Xu
                  Southern Polytechnic State University, Marietta, Georgia, USA

05:40 - 06:00pm:  FREE SLOT

To select a different schedule CLICK HERE