The Community for Technology Leaders
Software Engineering Advances, International Conference on (2007)
Cap Esterel, France
Aug. 25, 2007 to Aug. 31, 2007
ISBN: 0-7695-2937-2
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. xiii

Committees (PDF)

pp. xiv
ICSEA 1: Fundamentals I

In Search of a Unified Theory of Software Engineering (Abstract)

Pontus Johnson , Royal Institute of Technology, Sweden
Mathias Ekstedt , Royal Institute of Technology, Sweden
pp. 1

Situational Secure Web Services Design Methods (Abstract)

Henda Ben Ghezala , GLOIR Laboratory, Computer Science National School, Tunis, 1004, Tunisia
Dhafer Thabet , GLOIR Laboratory, Computer Science National School, Tunis, 1004, Tunisia
Lamia Hassine , GLOIR Laboratory, Computer Science National School, Tunis, 1004, Tunisia
pp. 2

TITAN: a Framework for Aspect Oriented System Evolution (Abstract)

Amparo Navasa , University of Extremadura, Spain
Juan M. Murillo , University of Extremadura, Spain
Miguel A. Perez-Toledano , University of Extremadura, Spain
Carlos Canal , University of M?laga, Spain
pp. 4

A Framework for Classifying and Comparing Process Technology Domains (Abstract)

Reda Bendraou , Laboratoire d'Informatique de Paris 6 (LIP6), Paris
Marie-Pierre Gervais , University Paris X
pp. 5
ICSEA 2: Fundamentals II

Exploring Concepts for Deterministic Software Engineering: Service Interfaces, Pattern Expansion, and Stability (Abstract)

Kris Ven , University of Antwerp, Belgium
Jan Verelst , University of Antwerp, Belgium
Herwig Mannaert , University of Antwerp, Belgium
pp. 6

Measuring Reuse during the Analysis Phase of Domain Framework Development (Abstract)

Simone Nasser Matos , UTFPR and ITA, Ponta Grossa, Brazil
Clovis Torres Fernandes , ITA, Sao Jos? dos Campos, Brazil
pp. 7

A Modeling Framework for the Development of Provably Secure E-Commerce Applications (Abstract)

Nina Moebius , University Augsburg
Dominik Haneberg , University Augsburg
Gerhard Schellhorn , University Augsburg
Wolfgang Reif , University Augsburg
pp. 8

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams (Abstract)

Takahiro Seino , National Institute of Advanced Industrial Science and Technology,Tokyo, Japan
Noriaki Izumi , National Institute of Advanced Industrial Science and Technology,Tokyo, Japan
Koichi Takahashi , National Institute of Advanced Industrial Science and Technology, Osaka, Japan
Osamu Takaki , National Institute of Advanced Industrial Science and Technology, Osaka, Japan
Izumi Takeuti , National Institute of Advanced Industrial Science and Technology,Tokyo, Japan
pp. 9

Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line (Abstract)

Tonny Kurniadi Satyananda , Information and Communications University
Danhyung Lee , Information and Communications University
Sungwon Kang , Information and Communications University
pp. 10
ICSEA 3: Fundamentals III

Dynamic Workflow Instrumentation for Windows Workflow Foundation (Abstract)

Kristof Steurbaut , Ghent University, Belgium
Filip De Turck , Ghent University, Belgium
Sofie Van Hoecke , Ghent University, Belgium
Bart Dhoedt , Ghent University, Belgium
Bart J.F. De Smet , Ghent University, Belgium
pp. 11

Improving the Agent Based Software Development Process (Abstract)

PRABHAT RANJAN , Motilal Nehru National Institute of Technology, India
A. K. MISRA , Motilal Nehru National Institute of Technology, India
pp. 12

Web Application Model Recovery for User Input Validation Testing (Abstract)

Nuo Li , Beihang University, China
Mao-zhong Jin , Beihang University, China
Chao Liu , Beihang University, China
pp. 13

Making Cost Effective Security Decision with Real Option Thinking (Abstract)

Jingyue Li , Norwegian University of Science and Technology
Xiaomeng Su , Norwegian University of Science and Technology
pp. 14

Modeling Process Patterns and Their Application (Abstract)

Bernard Coulette , University of Toulouse 2
Bich Thuy Dong , University of Natural Sciences, Vietnam
Hanh Nhi Tran , University of Toulouse 2
pp. 15
ICSEA 4: Fundamentals IV

Design and Development Tools for Next Generation Mobile Services (Abstract)

S. Salsano , University of Rome "Tor Vergata", Italy
G. Bartolomeo , University of Rome "Tor Vergata", Italy
E. Casalicchio , University of Rome "Tor Vergata", Italy
N. Blefari Melazzi , University of Rome "Tor Vergata", Italy
pp. 16

Suggestions on Pattern Transformation in UML-RT (Abstract)

Yifeng Sun , University of Sydney NSW 2006 Australia
David Levy , University of Sydney NSW 2006 Australia
pp. 17

Commonalities in Risk Management and Agile Process Models (Abstract)

Mira Kajko-Mattsson , Stockholm University/Royal Institute of Technology, Sweden
Jaana Nyfjord , Stockholm University/Royal Institute of Technology, Sweden
pp. 18

An Evaluation of Traceability Approaches to Support Software Evolution (Abstract)

Abdul H. Abdullah , Universiti Teknologi Malaysia
Siti Rochimah , Universiti Teknologi Malaysia
Wan M. N. Wan Kadir , Universiti Teknologi Malaysia
pp. 19

Toward a New Analyzable Architectural Description Language based on OSAN (Abstract)

Jafar Habibi , Sharif University of Technology Tehran, Iran
Ali Kamandi , Sharif University of Technology Tehran, Iran
pp. 20
ICSEA 5: Fundamentals V

Legacy Migration to Service-Oriented Computing with Mashups (Abstract)

Halit Oguztuzun , Middle East Technical University
Ozgur Tufekci , Cybersoft Information Technologies
Semih Cetin , Cybersoft Information Technologies
Selma Suloglu , Middle East Technical University
N. Ilker Altintas , Cybersoft Information Technologies
Ali H. Dogru , Middle East Technical University
pp. 21

A generic model for quantifiable software deployment (Abstract)

Peter H. Hughes , Database Systems Group, NTNU, Trondheim
Jakob Sverre Lovstad , Database Systems Group, NTNU, Trondheim
pp. 22

Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures (Abstract)

Frederic Pourraz , University of Savoie - Polytech?Savoie - FRANCE
Herve Verjus , University of Savoie - Polytech?Savoie - FRANCE
pp. 23

S2D-ProM: A Strategy Oriented Process Model for Secure Software Development (Abstract)

Henda Ben Ghezala , University of Manouba
Lamia Labed , University of Manouba
Mehrez Essafi , University of Manouba
pp. 24

Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study (Abstract)

Atif Mashkoor , Universidade do Minho Braga, Portugal
Joao M. Fernandes , Universidade do Minho Braga, Portugal
pp. 25
ICSEA 6: Fundamentals VI

Accommodating EIS UML 2.0 Profile using a standard UML modeling tool (Abstract)

M. Nikolaidou , Harokopio University of Athens, Greece
D. Anagnostopoulos , Harokopio University of Athens, Greece
A. Dais , Harokopio University of Athens, Greece
A. Tsadimas , Harokopio University of Athens, Greece
N. Alexopoulou , University of Athens, Panepistimiopolis
pp. 26

A Guidance for Model Composition (Abstract)

Kleinner S. F. Oliveira , Pontifical Catholic University of Rio Grande do Sul
Toacy Cavalcante de Oliveira , Pontifical Catholic University of Rio Grande do Sul
pp. 27

The UML Communication Diagram Revisited (Abstract)

Ahmad Alsaadi , University of Damascus
pp. 28

The Most Important Service-Oriented Antipatterns (Abstract)

Jaroslav Kral , Charles University, Czech Republic
Michal Zemlicka , Charles University, Czech Republic
pp. 29
ICSEA 7: Performance I

Functional Classes: Cost of Recursive Method Call in Java (Abstract)

Mauno Ronkko , University of Kuopio
Hannu Mayra , University of Kuopio
pp. 31

A New Approach for Overload Management in Content-based Publish/Subscribe (Abstract)

Hua Zhong , Chinese Academy of Sciences, Beijing, 100080, China
Xiangfeng Guo , Chinese Academy of Sciences, Beijing, 100080, China
Jun Wei , Chinese Academy of Sciences, Beijing, 100080, China
Dongli Han , Nihon University, Japan
pp. 32

A Model for the Effect of Caching on Algorithmic Efficiency in Radix based Sorting (Abstract)

Stein Gjessing , University of Oslo, Norway
Arne Maus , University of Oslo, Norway
pp. 33

Identification Of Software Performance Bottleneck Components In Reuse based Software Products With The Application Of Acquaintanceship Graphs (Abstract)

R. Vasantha , R.V.C.E., Bangalore-560 059, India
Jasmine K.S , Lecturer, Dept. of MCA, R.V.C.E., Bangalore-560 059, India
pp. 34
ICSEA 8: Performance II

Comparative for Middleware Video Streaming Services (Abstract)

Antonio-Javier Garcia-Sanchez , Technical University of Cartagena
Joan Garcia-Haro , Technical University of Cartagena
Felipe Garcia-Sanchez , Technical University of Cartagena
pp. 37

Abstract Syntax Trees - and their Role in Model Driven Software Development (Abstract)

J. Lusiardi , University of Wurzburg
J. Wolff von Gudenberg , University of Wurzburg
G. Fischer , University of Wurzburg
pp. 38
ICSEA 9: Testing I

An Evaluation Method for Requirements Engineering Approaches in Distributed Software Development Projects (Abstract)

Tobias Hildenbrand , University of Mannheim, 68131 Mannheim, Germany
Franz Rothlauf , University of Mannheim, 68131 Mannheim, Germany
Michael Geisser , University of Mannheim, 68131 Mannheim, Germany
Colin Atkinson , University of Mannheim, 68131 Mannheim, Germany
pp. 39

Using mutation analysis to evaluate test generation strategies in a synchronous context (Abstract)

L. du Bousquet , Universites de Grenoble - LIG IMAG (ex-LSR) / CNRS, France
M. Delaunay , Universites de Grenoble - LIG IMAG (ex-LSR) / CNRS, France
pp. 40

The Testing Process - A Decision Based Approach (Abstract)

Lars Borner , University of Heidelberg
Barbara Paech , University of Heidelberg
Timea Illes-Seifert , University of Heidelberg
pp. 41

A Novel Framework for Test Domain Reduction using Extended Finite State Machine (Abstract)

Nutchakorn Ngamsaowaros , Thammasat University (Rangsit Campus), Thailand
Peraphon Sophatsathit , Chulalongkorn University, Thailand
pp. 42
ICSEA 10: Testing II

Refactoring Test Code Safely (Abstract)

Eduardo Martins Guerra , Aeronautical Institute of Technology
Clovis Torres Fernandes , Aeronautical Institute of Technology
pp. 44

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers (Abstract)

Gordon Fraser , Graz University of Technology, Austria
Franz Wotawa , Graz University of Technology, Austria
pp. 45

Test Data Generation from UML State Machine Diagrams using GAs (Abstract)

Keshav Dahal , University of Bradford Bradford, United Kingdom
Alamgir Hossain , University of Bradford Bradford, United Kingdom
Chartchai Doungsa-ard , University of Bradford Bradford, United Kingdom
Taratip Suwannasart , Chulalongkorn UniversityBangkok, Thailand
pp. 47

Specification-based Testing Method Using Testing Flow Graphs (Abstract)

Hassan Reza , University of North Dakota, Grand Forks, USA
Ryan Voigt , University of North Dakota, Grand Forks, USA
Kareem Fazal , University of North Dakota, Grand Forks, USA
pp. 48
ICSEA 11: Development I

Multi-Language Information Searching Tool (Abstract)

Samira Sadaoui , University of Regina
Siritorn Srisodsai , University of Regina
pp. 49

ReUML: a UML Profile for Modeling and Verification of Reactive Systems (Abstract)

Alireza Hashemi Nekoo , University of Tehran
S. Fatemeh Alavizaedh , University of Tehran
Marjan sirjani , IPM and University of Tehran
pp. 50

DEUCE : Separating Concerns in User Interfaces (Abstract)

Sofie Goderis , Vrije Universiteit Brussel
Dirk Deridder , Vrije Universiteit Brussel
Ellen Van Paesschen , University of Lille 1, France
pp. 51

The EasyCRC Tool (Abstract)

Shmuel Tyszberowicz , The Academic College of Tel-Aviv Yaffo
Assaf Raman , The Academic College of Tel-Aviv Yaffo
pp. 52
ICSEA 12: Development II

Situation Awareness Unified Process (Abstract)

Anutosh Maitra , Dhirubhai Ambani Institute of Information and Communication technology Gandhinagar, Gujarat, India
Vikram Sorathia , Dhirubhai Ambani Institute of Information and Communication technology Gandhinagar, Gujarat, India
pp. 54

An Integrated Database Programming and Querying Language with Support for Simultaneous Processing (Abstract)

Markus Kirchberg , Massey University, Private Bag 11 222, Palmerston North 5301, New Zealand
pp. 56
ICSEA 13: Security

An Access Control Metamodel for Web Service-Oriented Architecture (Abstract)

Christian Emig , Universitat Karlsruhe (TH), Germany
Frank Brandt , Universitat Karlsruhe (TH), Germany
Jurgen Biermann , iC Consult GmbH
Heiko Klarl , iC Consult GmbH
Sebastian Abeck , Universitat Karlsruhe (TH), Germany
pp. 57

Commandments of UML for Safety (Abstract)

Dieu-Donn?e Okalas Ossami , Universite de Technologie de Compiegne - France
Jean-Louis Boulanger , Universite de Technologie de Compiegne - France
Akram Idani , Universite de Technologie de Compiegne - France
pp. 58

Software Vulnerability Assessment Version Extraction and Verification (Abstract)

Martin Boldt , Blekinge Institute of Technology, Sweden
Bengt Carlsson , Blekinge Institute of Technology, Sweden
Roy Martinsson , Blekinge Institute of Technology, Sweden
pp. 59
ICSEA 14: Advanced Applications

Software Solutions for Biomedical Decision Making (Abstract)

Maurice E. Cohen , University of California, San Francisco, Fresno, CA
Donna L. Hudson , University of California, San Francisco, Fresno, CA
pp. 63

A Framework and Process for Designing Inclusive Technology (Abstract)

K. Pitula , Concordia University, Montreal, Canada
T. Radhakrishnan , Concordia University, Montreal, Canada
pp. 64

Using MDA to Support Hypermedia Document Sharing (Abstract)

Denivaldo Lopes , Federal University of Maranhao - UFMA, Brazil
Bruno Lima , Federal University of Maranhao - UFMA, Brazil
Jose G. Jr. de Sousa , Federal University of Maranhao - UFMA, Brazil
pp. 65

An Extensible Architecture for Network-Attached Device Management (Abstract)

Michael J. Jr. McMahon , University of Nevada, Reno
Sergiu M. Dascalu , University of Nevada, Reno
Juan Quiroz , University of Nevada, Reno
Frederick C. Jr. Harris, , University of Nevada, Reno
pp. 66
ICSEA 15: Advanced Mechanisms

PNN Algorithm for PC Grid System (Abstract)

Akiyoshi Wakatani , Konan University, Japan
pp. 67

Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach (Abstract)

Mario Fusani , Istituto di Scienze e Tecnologie dell?Informazione "A.Faedo", C.N.R., Pisa, Italy
Stefania Gnesi , Istituto di Scienze e Tecnologie dell?Informazione "A.Faedo", C.N.R., Pisa, Italy
Fabrizio Fabbrini , Istituto di Scienze e Tecnologie dell?Informazione "A.Faedo", C.N.R., Pisa, Italy
Giuseppe Lami , Istituto di Scienze e Tecnologie dell?Informazione "A.Faedo", C.N.R., Pisa, Italy
pp. 68

Visual Composition of Distributed Component Systems (Abstract)

Marco Pfeifer , University of Applied Sciences Konstanz
Christian Baranowski , University of Applied Sciences Konstanz
Hans Albrecht Schmid , University of Applied Sciences Konstanz
pp. 69
ICSEA 16: Agile Software / Economics

Issues and Tactics when Adopting Pair Programming: A Longitudinal Case Study (Abstract)

Mika V. Mantyla , Helsinki University of Technology
Casper Lassenius , Helsinki University of Technology
Jari Vanhanen , Helsinki University of Technology
pp. 70

Goal Sketching: Towards Agile Requirements Engineering (Abstract)

Rachel Harrison , Stratton Edge Consulting Ltd, UK
Kenneth Boness , University of Reading, UK
pp. 71

Agile Methodologies Selection Toolbox (Abstract)

.E. Mnkandla , Monash University
B. Dwolatzky , University of the Witwatersrand
pp. 72
ICSEA 17: Deployment and Maintenance

Determining Practice Achievement in Project Management using a Two-Phase Questionnaire on Small and Medium Enterprises (Abstract)

Luis E. Suarez , Technological University of the Mixtec Region
Ivan Garcia , Technological University of the Mixtec Region
pp. 75

A Reengineering Approach of the Legacy System in the Digital Media Domain (Abstract)

Kangtae Kim , S/W Laboratory, CTO, Samsung Electronics
Hyunmin Ko , S/W Laboratory, CTO, Samsung Electronics
Gihun Chang , S/W Laboratory, CTO, Samsung Electronics
pp. 76

A Case Study on Testing Activites for KT-OSS Maintenance (Abstract)

Dae-Woo Kim , Network Technology Lab, R&D Group, Korea Telecom
Hyun-Min Lim , Network Technology Lab, R&D Group, Korea Telecom
Sang-Kon Lee , Network Technology Lab, R&D Group, Korea Telecom
pp. 77

Group Decision-Making Processes in Industrial Software Evolution (Abstract)

Jarmo J. Ahonen , University of Kuopio, Finland
Jussi Koskinen , University of Jyvaskyla, Finland
Tero Tilus , University of Jyvaskyla
Paivi Juutilainen , University of Jyvaskyla
Miia-Maarit Saarelainen , University of Kuopio, Finland
Henna Sivula , University of Jyvaskyla
Heikki Lintinen , University of Jyvaskyla
Irja Kankaanpaa , University of Jyvaskyla, Finland
pp. 78

Improving the Integration of the Software Supply Chain via the Semantic Web (Abstract)

Roy Oberhauser , Aalen University, Beethovenstr. 1, 73430 Aalen, Germany
Rainer Schmidt , Aalen University, Beethovenstr. 1, 73430 Aalen, Germany
pp. 79
ICSEA 18: ICSEA / IRP

Targetted Improvements (Abstract)

Ian Sommerville , St Andrews University
Andre Oboler , Lancaster University
Simon Lock , Lancaster University
pp. 80

Teaching object oriented programming computer languages: learning based on projects (Abstract)

M. Z. Nascimento , Universidade Federal do ABC (UFABC), Santo Andr?,SP, Brazil
K. D. R. Assis , Universidade Federal do ABC (UFABC), Santo Andr?,SP, Brazil
R. P. Ramos , Universidade Federal do ABC (UFABC), Santo Andr?,SP, Brazil
G. M. Ferreira , Universidade Federal do ABC (UFABC), Santo Andr?,SP, Brazil
pp. 81

Grid Middleware Development in Large International Projects - Experience and Recommendations (Abstract)

Peter Kunszt , Swiss National Supercomputing Centre CSCS, 6928 Manno, Switzerland
pp. 82

Sycophant: An API for Research in Context-Aware User Interfaces (Abstract)

Juan Quiroz , University of Nevada
Sushil J. Louis , University of Nevada
Monica N. Nicolescu , University of Nevada
Anil Shankar , University of Nevada
Sergiu M. Dascalu , University of Nevada
pp. 83

Software Environment for Research on Evolving User Interface Designs (Abstract)

Sergiu M. Dascalu , University of Nevada, Reno, USA
Sushil J. Louis , University of Nevada, Reno, USA
Anil Shankar , University of Nevada, Reno, USA
Juan Quiroz , University of Nevada, Reno, USA
pp. 84
94 ms
(Ver 3.1 (10032016))