The Community for Technology Leaders
Software Engineering Advances, International Conference on (2006)
Tahiti, French Polynesia
Oct. 29, 2006 to Nov. 3, 2006
ISBN: 0-7695-2703-5
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. xii

Committees (PDF)

pp. xv
ICSEA 1: Software Development I

Metamodel Matching: Experiments and Comparison (Abstract)

Denivaldo Lopes , Federal University of Maranhao (UFMA), Brazil
Jose de Souza , Federal University of Maranhao (UFMA), Brazil
Slimane Hammoudi , ESEO, France
Alan Bontempo , Federal University of Maranhao (UFMA), Brazil
pp. 2

Specification Model for Avoiding Miss-Detection of Feature Interactions (Abstract)

Sachiko Kawada , SOKA University, Japan
Masayuki Shimokura , SOKA University, Japan
Tadashi Ohta , SOKA University, Japan
pp. 3

A Toolkit for Design and Performance Analysis of Real-Time Component-Based Software Systems (Abstract)

Michel Chaudron , Eindhoven University of Technology, The Netherlands
Peter H.N. de With , LogicaCMG/Eindhoven Univ. of Tech., The Netherlands
Egor Bondarev , Eindhoven University of Technology, The Netherlands
Heorhiy Byelas , Eindhoven University of Technology, The Netherlands
pp. 4

Increasing Software Engineering Efficiency Through Defect Tracking Integration (Abstract)

David Russell , University of Michigan, USA
Nilesh Patel , University of Michigan, USA
pp. 5
ICSEA 2: Software Development II

Avoidance of Feature Interactions at Run-Time (Abstract)

Daisuke Harada , SOKA University, Japan
Tadashi Ohta , SOKA University, Japan
Hiroaki Fujiwara , SOKA University, Japan
pp. 6

Extracting Simulation Models from Complex Embedded Real-Time Systems (Abstract)

Joel Huselius , Malardalen University, Sweden
Johan Andersson , Malardalen University, Sweden
Christer Norstrom , Malardalen University, Sweden
Anders Wall , ABB Corporate Research, Sweden
pp. 7

Enforcing Interaction Properties in AOSD-Enabled Systems (Abstract)

Shmuel Tyszberowicz , The Academic College of Tel-Aviv Yaffo and Tel Aviv University, Israel
Constantin Serban , Rutgers University, USA
pp. 8

Enterprise Resource Planning Diffusion: Measuring the Impact of Network Exposure and Power (Abstract)

Kim St-Georges , ETS, Universite du Quebec, Canada
Robert Pellerin , Ecole Polytechnique, Canada
Pierre-Majorique Leger , HEC Montreal, Canada
Gilbert Babin , HEC Montreal, Canada
pp. 9

Extending UML 2.0 to Augment Control Over Enterprise Information System Engineering Process (Abstract)

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

UbiNet: A Generic and Ubiquitous Service Provider Framework (Abstract)

Jinsuo Zhang , Yahoo! Corp, USA
Sumi Helal , University of Florida, USA
pp. 11
ICSEA 3: Software Development/Testing I

An Empirical Study of Software Changes in Statoil ASA - Origin, Priority Level and Relation to Component Size (Abstract)

Einar Landre , Statoil KTJ/IT, Norway
Parastoo Mohagheghi , Norwegian University of Science and Technology (NTNU), Norway
Reidar Conradi , Norwegian University of Science and Technology (NTNU), Norway
Odd Petter N. Slyngstad , Norwegian University of Science and Technology, Norway
Anita Gupta , Norwegian University of Science and Technology (NTNU), Norway
Harald Ronneberg , Statoil KTJ/IT, Norway
pp. 12

Applicability of IEEE 1219 within Correctiev Maintenance (Abstract)

Mira Kajko-Mattsson , Stockholm University and KTH, Sweden
pp. 13

A Graph-Search Based Approach to BPEL4WS Test Generation (Abstract)

Wei Sun , IBM, China
Zhongjie Li , IBM, China
Yuan Yuan , IBM, China
pp. 14

On the Assessment of the Mean Failure Frequency of Software in Late Testing (Abstract)

Sandro Morasca , Universita degli Studi dell'Insubria, Italy
pp. 15
ICSEA 4: Software Development/Testing II

Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis (Abstract)

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

A Partition-Based Approach for XPath Testing (Abstract)

Javier Tuya , University of Oviedo, Spain
Jose Garcia-Fanjul , University of Oviedo, Spain
Claudio de la Riva , University of Oviedo, Spain
pp. 17

Estimating Software Quality with Advanced Data Mining Techniques (Abstract)

Mitja Lenic , University of Maribor, Slovenia
Matej Mertik , University of Maribor, Slovenia
Peter Kokol , University of Maribor, Slovenia
Gregor Stiglic , University of Maribor, Slovenia
pp. 19
ICSEA 5: Software Development/Testing III

Specification Based Regression Testing Using Explicit State Space Enumeration (Abstract)

Sujit Kumar Chakrabarti , Indian Institute of Science, India
Y.N. Srikant , Indian Institute of Science, India
pp. 20

Assessing Impacts of Changes to Business Rules through Data Exploration (Abstract)

Suzanne M. Embury , University of Manchester, United Kingdom
Lei Dang , University of Manchester, United Kingdom
David Willmor , University of Manchester, United Kingdom
pp. 21

DuoTracker: Tool Support for Software Defect Data Collection and Analysis (Abstract)

Marcel Karam , American University in Beirut, Lebanon
Olusegun Akinwale , University of Nevada, USA
Sergiu Dascalu , University of Nevada, USA
pp. 22

A Combined Approach for Reachability Analysis (Abstract)

Abdelaziz Guerrouat , Clausthal University of Technology, Germany
Harald Richter , Clausthal University of Technology, Germany
pp. 23
ICSEA 6: Advanced Software Mechanisms I

A Model of Front-End Pre-Change Corrective Testing (Abstract)

Mira Kajko-Mattsson , Stockholm University and KTH, Sweden
Stefan Britts , Neotech, Sweden
pp. 24

Towards an Identification Framework for Software Drifts: A Case Study (Abstract)

Keqing He , Wuhan University, China
Jianxun Chen , Wuhan Univ. of Sci. and Tech., China
Jianghua Wu , Harbin Engineering University, China
Yutao Ma , Wuhan University, China; Wuhan Univ. of Sci. and Tech, China
pp. 25

SWS-ASE: Leveraging Web Service-based Software Engineering (Abstract)

Ulrich Dinger , TU Dresden & Siemens AG, Germany
Christian Reichel , ETH Zurich & Siemens AG, China
Roy Oberhauser , Aalen University, Germany
pp. 26

Programmable Ad Hoc Networks (Abstract)

Daiki Okada , Soka University, Japan
Norihiko Shinomiya , Soka University, Japan
Tadashi Ohta , Soka University, Japan
Daisuke Kasamatsu , Soka University, Japan
pp. 27

A Framework for Reengineering Software Development Methods (Abstract)

Marko Bajec , University of Ljubljana, Slovenia
Marjan Krisper , University of Ljubljana, Slovenia
Rok Rupnik , University of Ljubljana, Slovenia
pp. 28
ICSEA 7: Advanced Software Mechanisms II

A Conceptual Framework for Business Process Engineering: A Case Study (Abstract)

Antun Caric , KATE-KOM, Croatia
Hrvoje Belani , University of Zagreb, Croatia
Zeljka Car , University of Zagreb, Croatia
pp. 29

Application of Computational Redundancy in Dangling Pointers Detection (Abstract)

Zakarya Alzamil , Riyadh College of Technology, Saudi Arabia
pp. 30

Testing a Network by Inferring Representative State Machines from Network Traces (Abstract)

Constantinos Djouvas , The City University of New York, USA
Yuri Cantor , The City University of New York, USA
Nancy Griffeth , The City University of New York, USA
pp. 31

Application Driven Software Development (Abstract)

Teodor Rus , University of Iowa, USA
Donald Ephraim Curtis , University of Iowa, USA
pp. 32
ICSEA 8: Advanced Software Mechanisms III

A Domain Formal Ontology and the Application in Service Component Retrieval (Abstract)

Xiaoxia Cao , Hangzhou Teachers College, China
Junmei Sun , Shanghai University, China; Hangzhou Teachers College, China
Huaikou Miao , Shanghai University, China
pp. 33

Automatic Generation of Functional Programs from CASL Specifications (Abstract)

Agnes Arnould , Universite de Poitiers, France
Laurent Fuchs , Universite de Poitiers, France
Thibaud Brunet , Universite de Poitiers, France
Marc Aiguier , Universite d'Evry, France
pp. 34

Towards Rules and Laws for Software Factories and Evolvability: A Case-Driven Approach (Abstract)

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

Defining Agile Software Quality Assurance (Abstract)

E. Mnkandla , Member, IEEE
B. Dwolatzky , Member, IEEE
pp. 36

Checking Data Integrity via the UML Class Diagram (Abstract)

Ahmad Alsaadi , University of Aleppo, Syria
pp. 37
ICSEA 9: Advanced Software Mechanisms IV

Generating Proof Obligation to Verify Object-Z Specification (Abstract)

Huaikou Miao , Shanghai University, China
Hongwei Zeng , Shanghai University, China
Zhicheng Wen , Shanghai University, China
pp. 38

Software Confederations - An Architecture for Agile Development in the Large (Abstract)

Jaroslav Kral , Charles University, Czech Republic
Michal Kopecky , Charles University, Czech Republic
Michal Zemlicka , Charles University, Czech Republic
pp. 39

Modeling Multi-View Software Process with Object Petri Nets (Abstract)

Qing Gu , Nanjing University, China
Hao Hu , Nanjing University, China
Jian Lu , Nanjing University, China
Jidong Ge , Nanjing University, China
pp. 41

Using RDL to Facilitate Customization of Variability Points (Abstract)

Marcilio Mendonca , University of Waterloo, Canada
Toacy C. Oliveira , PUC-RS Faculty of Informatics, Brazil
pp. 42
ICSEA 10: Advanced Software Mechanisms V

Data Based Application Partitioning and Workload Balance in Distributed Environment (Abstract)

Ming Mao , Zhejiang University, China
Xiaohu Yang , Zhejiang University, China
Xinyu Wang , Zhejiang University, China
pp. 43

Component-Based Development Process and Component Lifecycle (Abstract)

Stig Larsson , ABB, Sweden
Michel Chaudron , Eindhoven University of Technology, The Netherlands
Ivica Crnkovic , Malardalen University, Sweden
pp. 44

On Describing, Analyzing, and Executing Complex Behavior of Services (Abstract)

Ioan Toma , DERI Innsbruck, Austria
Dieter Fensel , DERI Innsbruck, Austria
Dumitru Roman , DERI Innsbruck, Austria
pp. 45

A Model of Open Source Software Style R&D on Business (Abstract)

Masashi Ueda , National Institute of Informatics, Japan
pp. 46

Performance Model Interchange Format: Semantic Validation (Abstract)

Catalina M. Llado , Universitat de les Illes Balears, Spain
Connie U. Smith , Performance Engineering Services, USA
Daniel Garcia , Universitat de les Illes Balears, Spain
Ramon Puigjaner , Universitat de les Illes Balears, Spain
pp. 47
ICSEA 11: Advanced Software Mechanisms VI

An Architectural Modeling Approach with Symmetric Alignment of Multiple Concern Spaces (Abstract)

N. Ilker Altintas , Cybersoft Information Technologies, Turkey
Semih Cetin , Cybersoft Information Technologies, Turkey
Cevat Sener , Middle East Technical University, Turkey
pp. 48

Using Styles to Improve the Architectural Views Design (Abstract)

Rogelio Limon Cordero , Polytechnic University of Valencia, Spain
Isidro Ramos Salavert , Polytechnic University of Valencia, Spain
pp. 49

Specification of Software Component Requirements Using the Trace Function Method (Abstract)

Srdjan Kostic , LMI Ericsson, Ireland
Colm Quinn , University of Limerick, Ireland
Sergiy Vilkomir , University of Limerick, Ireland
David Parnas , University of Limerick, Ireland
pp. 50

Design and Implementation of Chronological Web Server for Web-Based Applications (Abstract)

Tzao-Lin Lee , National Taiwan University, Taiwan
Shann-Chiuen Wu , National Taiwan University, Taiwan
pp. 51
ICSEA 12: Open Source

Evaluation Framework for Open Source Software Maintenance (Abstract)

Timo Koponen , University of Kuopio, Finland
pp. 52

Exploring the Maintenance Process through the Defect Management in the Open Source Projects - Four Case Studies (Abstract)

Timo Koponen , University of Kuopio, Finland
Heli Lintula , University of Kuopio, Finland
Virpi Hotti , University of Kuopio, Finland
pp. 53

RaSOSS - Remote Analysis System for Open Source Software (Abstract)

Timo Koponen , University of Kuopio, Finland
pp. 54

Developing an Open Source Integrated Development Environment for a Mobile Device (Abstract)

Matti Kosola , Tampere University of Technology, Finland
Mikko Kuusipalo , Tampere University of Technology, Finland
Juha Jarvensivu , Tampere University of Technology, Finland
Pekka Reijula , Tampere University of Technology, Finland
Tommi Mikkonen , Tampere University of Technology, Finland
pp. 55
ICSEA 13: Software Performance

Efficient Evaluation of CSAN Models by State Space Analysis Methods (Abstract)

Mohammad Abdollahi Azgomi , Iran University of Science and Technology, Iran
Ali Movaghar , Sharif University of Technology, Iran
pp. 57

Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks (Abstract)

Ali Movaghar , Sharif University of Technology, Iran
Mohammad Abdollahi Azgomi , Iran University of Science and Technology, Iran
pp. 58

Performance of MPI Parallel Applications (Abstract)

T. Monteil , LAAS-CNRS, France
J.M. Garcia , LAAS-CNRS, France
S. Richard , LAAS-CNRS, France
B. Miegemolle , LAAS-CNRS, France
pp. 59
ICSEA 14: Software Security

Java Object Behavior Modeling and Visualization (Abstract)

Xiao-xia Jia , BeiHang University, China
Yong-po Liu , BeiHang University, China
Ji Wu , BeiHang University, China
Guo-huan Li , Southwest Communication Institute, China
pp. 60

Analysing Countermeasures Against Privacy-Invasive Software (Abstract)

Bengt Carlsson , Blekinge Institute of Technology, Sweden
Martin Boldt , Blekinge Institute of Technology, Sweden
pp. 61

SOA-Aware Authorization Control (Abstract)

Heiko Schandua , Universitat Karlsruhe (TH), Germany
Christian Emig , Universitat Karlsruhe (TH), Germany
Sebastian Abeck , Universitat Karlsruhe (TH), Germany
pp. 62

A Class of Traceability Codes with an Efficient Tracing Algorithm (Abstract)

Yizhou Ma , Chonbuk National University, Korea
Chang-hui Choe , Chonbuk National University, Korea
Moon Ho Lee , Chonbuk National University, Korea
pp. 63

A Remote IDS Based on Multi-Agent Systems, Web Services and MDA (Abstract)

Zair Abdelouahab , Federal University of Maranhao, UFMA, Brazil
Denivaldo Lopes , Federal University of Maranhao, UFMA, Brazil
Mauro Silva , Federal University of Maranhao, UFMA, Brazil
pp. 64

Template-Based Development of Fault-Tolerant Embedded Software (Abstract)

Gerhard Schrott , Technische Universitat Munchen, Germany
Christian Buckl , Technische Universitat Munchen, Germany
Alois Knoll , Technische Universitat Munchen, Germany
pp. 65

High Speed and Reliable Anti-Spam Filter (Abstract)

Thuy T. Le , San Jose State University, USA
Narinder Anand , Sudo Systems, USA
Jalel Rejeb , San Jose State University, USA
pp. 66
ICSEA 15: Special Applications

New Scheme of Implementing Real-Time Linux (Abstract)

Xue-Yu Hong , South China University of Technology, China
Ling Zhang , South China University of Technology, China
Jin-Long Hu , South China University of Technology, China
pp. 67

Architecture of a Universal Relation Data Source for Web Applications with Advanced Access Control and Simplified Migration (Abstract)

Vit Vrba , Brno University of Technology, Czech Republic
Vit Novotny , Brno University of Technology, Czech Republic
Karol Molnar , Brno University of Technology, Czech Republic
Lubomir Cvrk , Brno University of Technology, Czech Republic
pp. 68

A Platform for the Development of Spoken Dialog Systems (Abstract)

Lluis Hurtado , Universitat Politecnica de Valencia, Spain
Encarna Segarra , Universitat Politecnica de Valencia, Spain
Emilio Sanchis , Universitat Politecnica de Valencia, Spain
David Griol , Universitat Politecnica de Valencia, Spain
pp. 69

Reflection: Improving Research through Knowledge Transfer (Abstract)

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

Adaptive Manufacturing: A Real-Time Simulation-Based Control System (Abstract)

Robert Pellerin , Ecole Polytechnique de Montreal, Canada
Benoit Saenz de Ugarte , Ecole de Technologie Superieure, Canada
Khalid Jbaida , Ecole de Technologie Superieure, Canada
Abdelhakim Artiba , Ecole de Technologie Superieure, Canada
pp. 71
Author Index

Author Index (PDF)

pp. 72
103 ms
(Ver )