ICSEA 2006: Papeete, Tahiti, French Polynesia
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia. IEEE Computer Society 2006
Introduction
Preface.
Committees.
ICSEA 1: Software Development I
João M. Fernandes, Ricardo Jorge Machado: A Two-Year Software Engineering M.Sc. Degree Designed Under the Bologna Declaration Principles. 1
Denivaldo Lopes, Slimane Hammoudi, José de Souza, Alan Bontempo: Metamodel Matching: Experiments and Comparison. 2
Sachiko Kawada, Masayuki Shimokura, Tadashi Ohta: Specification Model for Avoiding Miss-Detection of Feature Interactions. 3
Egor Bondarev, Michel R. V. Chaudron, Heorhiy Byelas, Peter H. N. de With: A Toolkit for Design and Performance Analysis of Real-Time Component-Based Software Systems. 4
David Russell, Nilesh Patel: Increasing Software Engineering Efficiency Through Defect Tracking Integration. 5
ICSEA 2: Software Development II

Johan Andersson, Joel Huselius, Christer Norström, Anders Wall: Extracting Simulation Models from Complex Embedded Real-Time Systems. 7
Constantin Serban, Shmuel S. Tyszberowicz: Enforcing Interaction Properties in AOSD-Enabled Systems. 8
Robert Pellerin, Gilbert Babin, Pierre-Majorique Léger, Kim St-Georges: Enterprise Resource Planning Diffusion: Measuring the Impact of Network Exposure and Power. 9
Mara Nikolaidou, Nancy Alexopoulou, Anargyros Tsadimas, Alexandros Dais, Dimosthenis Anagnostopoulos: Extending UML 2.0 to Augment Control Over Enterprise Information System Engineering Process. 10
ICSEA 3: Software Development/Testing I
Anita Gupta, Odd Petter N. Slyngstad, Reidar Conradi, Parastoo Mohagheghi, Harald Rønneberg, Einar Landre: An Empirical Study of Software Changes in Statoil ASA - Origin, Priority Level and Relation to Component Size. 12
Mira Kajko-Mattsson: Applicability of IEEE 1219 within Correctiev Maintenance. 13
Sandro Morasca: On the Assessment of the Mean Failure Frequency of Software in Late Testing. 15
ICSEA 4: Software Development/Testing II
Gordon Fraser, Franz Wotawa: Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. 16
Claudio de la Riva, José García-Fanjul, Javier Tuya: A Partition-Based Approach for XPath Testing. 17
Lydie du Bousquet: Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. 18
Matej Mertik, Mitja Lenic, Gregor Stiglic, Peter Kokol: Estimating Software Quality with Advanced Data Mining Techniques. 19
ICSEA 5: Software Development/Testing III
Sujit Kumar Chakrabarti, Y. N. Srikant: Specification Based Regression Testing Using Explicit State Space Enumeration. 20
Suzanne M. Embury, David Willmor, Lei Dang: Assessing Impacts of Changes to Business Rules through Data Exploration. 21
Olusegun Akinwale, Sergiu M. Dascalu, Marcel Karam: DuoTracker: Tool Support for Software Defect Data Collection and Analysis. 22
ICSEA 6: Advanced Software Mechanisms I

Yutao Ma, Keqing He, Jianghua Wu, Jianxun Chen: Towards an Identification Framework for Software Drifts: A Case Study. 25
Ulrich Dinger, Roy Oberhauser, Christian Reichel: SWS-ASE: Leveraging Web Service-based Software Engineering. 26
Marko Bajec, Rok Rupnik, Marjan Krisper: A Framework for Reengineering Software Development Methods. 28
ICSEA 7: Advanced Software Mechanisms II
Zeljka Car, Hrvoje Belani, Antun Caric: A Conceptual Framework for Business Process Engineering: A Case Study. 29
Zakarya Alzamil: Application of Computational Redundancy in Dangling Pointers Detection. 30
Nancy D. Griffeth, Yuri Cantor, Constantinos Djouvas: Testing a Network by Inferring Representative State Machines from Network Traces. 31
ICSEA 8: Advanced Software Mechanisms III
Junmei Sun, Huaikou Miao, Xiaoxia Cao: A Domain Formal Ontology and the Application in Service Component Retrieval. 33
Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet: Automatic Generation of Functional Programs from CASL Specifications. 34
Herwig Mannaert, Jan Verelst, Kris Ven: Towards Rules and Laws for Software Factories and Evolvability: A Case-Driven Approach. 35
Ahmad Alsaadi: Checking Data Integrity via the UML Class Diagram. 37
ICSEA 9: Advanced Software Mechanisms IV
Zhicheng Wen, Huaikou Miao, Hongwei Zeng: Generating Proof Obligation to Verify Object-Z Specification. 38
Jaroslav Král, Michal Zemlicka, Michal Kopecky: Software Confederations - An Architecture for Agile Development in the Large. 39
Simone Nasser Matos, Clovis Torres Fernandes: Defining the Architectural Design of Frameworks through a Group of Subframeworks Created from Frozen and Hot Spots. 40
Toacy Cavalcante de Oliveira, Marcílio Mendonça: Using RDL to Facilitate Customization of Variability Points. 42
ICSEA 10: Advanced Software Mechanisms V
Xiaohu Yang, Ming Mao, Xinyu Wang: Data Based Application Partitioning and Workload Balance in Distributed Environment. 43
Ivica Crnkovic, Michel R. V. Chaudron, Stig Larsson: Component-Based Development Process and Component Lifecycle. 44
Dumitru Roman, Ioan Toma, Dieter Fensel: On Describing, Analyzing, and Executing Complex Behavior of Services. 45
Masashi Ueda: A Model of Open Source Software Style R&D on Business. 46
Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner: Performance Model Interchange Format: Semantic Validation. 47
ICSEA 11: Advanced Software Mechanisms VI
Semih Cetin, N. Ilker Altintas, Cevat Sener: An Architectural Modeling Approach with Symmetric Alignment of Multiple Concern Spaces. 48
Rogelio N. Limón Cordero, Isidro Ramos Salavert: Using Styles to Improve the Architectural Views Design. 49
Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic: Specification of Software Component Requirements Using the Trace Function Method. 50
Shann-Chiuen Wu, Tzao-Lin Lee: Design and Implementation of Chronological Web Server for Web-Based Applications. 51
ICSEA 12: Open Source
Timo Koponen: Evaluation Framework for Open Source Software Maintenance. 52
Heli Lintula, Timo Koponen, Virpi Hotti: Exploring the Maintenance Process through the Defect Management in the Open Source Projects - Four Case Studies. 53
Timo Koponen: RaSOSS - Remote Analysis System for Open Source Software. 54
Juha Järvensivu, Matti Kosola, Mikko Kuusipalo, Pekka Reijula, Tommi Mikkonen: Developing an Open Source Integrated Development Environment for a Mobile Device. 55
ICSEA 13: Software Performance
Christian Del Rosso: The Method, the Tools and Rationales for Assessing Dynamic Memory Efficiency in Embedded Real-Time Systems in Practice. 56
Mohammad Abdollahi Azgomi, Ali Movaghar: Efficient Evaluation of CSAN Models by State Space Analysis Methods. 57
Mohammad Abdollahi Azgomi, Ali Movaghar: Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. 58
Samuel Richard, Bernard Miegemolle, Jean-Marie Garcia, Thierry Monteil: Performance of MPI Parallel Applications. 59
ICSEA 14: Software Security



Yizhou Ma, Chang-hui Choe, Moon Ho Lee: A Class of Traceability Codes with an Efficient Tracing Algorithm. 63
Mauro Silva, Denivaldo Lopes, Zair Abdelouahab: A Remote IDS Based on Multi-Agent Systems, Web Services and MDA. 64
Christian Buckl, Alois Knoll, Gerhard Schrott: Template-Based Development of Fault-Tolerant Embedded Software. 65
ICSEA 15: Special Applications

Vít Vrba, Lubomir Cvrk, Vit Novotny, Karol Molnar: Architecture of a Universal Relation Data Source for Web Applications with Advanced Access Control and Simplified Migration. 68
Emilio Sanchis, David Griol, Lluís F. Hurtado, Encarna Segarra: A Platform for the Development of Spoken Dialog Systems. 69
Andre Oboler, Simon Lock, Ian Sommerville: Reflection: Improving Research through Knowledge Transfer. 70
Benoît Saenz de Ugarte, Abdelhakim Artiba, Khalid Jbaida, Robert Pellerin: Adaptive Manufacturing: A Real-Time Simulation-Based Control System. 71



