Table of Contents

• Role-Based Clustering of Software Modules - an Industrial Size ExperimentPhilippe Dugerdil, Sebastien Jossi. 5-12
• Detecting Patterns in Object-Oriented Source Code - A Case StudyAndreas Wierda, Eric Dortmans, Lou J. Somers. 13-24
• Specification and Proof of Liveness Properties in B Event SystemsOlfa Mosbahi, Jacques Jaray. 25-34
• Auto-Colleague - a Collaborative Learning Environment for UMLMaria Virvou, Kalliopi Tourtoglou. 35-39
• Using Mbiui Life-Cycle Framework for an Affective Bi-Modal User Interface Katerina Kabassi, Maria Virvou, Efthymios Alepis. 40-47
• An Ontological SW Architecture for the Development of Cooperative Web PortalsGiacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca. 48-55
• How Developer Stories Improves Architecture - Facilitating Knowledge Sharing and Embodiment, and Making Architectural Changes VisibleRolf Njor Jensen, Niels Platz, Gitte Tjørnehøj. 56-64
• An Agile Model Driven Architecture-Based Contribution to Web EngineeringAlejandro Gómez Cuesta, Juan Carlos Granja, Rory O Connor. 65-72
• An Integrated Tool for Supporting Ontology Driven Requirements ElicitationMotohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, Motoshi Saeki. 73-80
• Vcodex: A Data Compression PlatformKiem-Phong Vo. 81-89
• Differencing and Merging of Software Diagrams - State of the Art and ChallengesSabrina Förtsch, Bernhard Westfechtel. 90-99
• Modern Concepts for High-Perfomance Scientific Computing - Library Centric Application DesignRené Heinzl, Philipp Schwaha, Siegfried Selberherr. 100-107
• Reformulating Component Identification As Document Analysis Problem - Towards Automated Component ProcurementHans-Gerhard Gross, Marco Lormans, Jun Zhou. 111-116
• Linking Software Quality to Software Engineering Activities, Results from a Case-StudyJos J. M. Trienekens, Rob J. Kusters, Dennis C. Brussel. 117-122
• On Generating Tile System for a Software Architecture Case of a Collaborative Application SessionChafia Bouanaka, Aicha Choutri, Faiza Belala. 123-128
• Addressing Security Requirements Through Multi-Formalism Modelling and Model TransformationMiriam Zia Ernesto Posse, Hans Vangheluwe. 129-137
• Evolution Styles in Practice - Refactoring Revisited As Evolution StyleOlivier Le Goaer, Mourad Oussalah, Dalila Tamzalit, Abdelhak-Djamel Seriai. 138-143
• Integrating Software Architecture Concepts Into the MDA PlatformAdel Alti, Tahar Khammaci, Adel Smeda, Djamel Bennouar. 144-149
• Automatic Test Management of Safety-Critical Systems: The Common Core - Behavioural Emulation of Hard-Soft ComponentsAntonio Grillo, Giovanni Cantone, Christian Di Biagio, Guido Pennella. 150-155
• Including Improvement of the Execution Time in a Software Architecture of Libraries With Self-OptimisationLuis-Pedro García, Javier Cuenca, Domingo Giménez. 156-161
• A Stability and Efficiency Oriented Rescheduling Approach for Software Project ManagementYujia Ge, Lijun Bai. 162-167
• A Statistical Neural Network Framework for Risk Management Process - From the Proposal to its Preliminary Validation for EfficiencySalvatore Alessandro Sarcià, Giovanni Cantone, Victor R. Basili. 168-177
• A Case Study on the Applicability of Software Reliability Models to a Telecommunication SoftwareHassan Artail, Fuad Mrad, Mohamad Mortada. 178-183
• Integrating a Distributed Inspection Tool Within an Artefact Management SystemAndrea De Lucia, Fausto Fasano, Genoveffa Tortora, Giuseppe Scanniello. 184-189
• Component Based Methodology for QoS-Aware Network DesignCédric Teyssié, David Espes, Zoubir Mammeri. 190-197
• Assl Specification of Reliability Self-Assessment in the As-TrmEmil Vassev, Olga Ormandjieva, Joey Paquet. 198-206
• A Formal Approach to Deploy Heterogeneous Software Components in a PLCMohamed Khalgui, Emanuele Carpanzano. 207-212
• A Comparison of Structured Analysis and Object Oriented Analysis - An Experimental StudyDavide Falessi, Giovanni Cantone, Claudio Grande. 213-221
• Secure Refactoring - Improving the Security Level of Existing CodeKatsuhisa Maruyama. 222-229
• Macro Impact Analysis Using Macro SlicingLászló Vidács, Árpád Beszédes, Rudolf Ferenc. 230-235
• A Method to Model Guidelines for Developing Railway Safety-Critical Systems With UmlDieu Donné Okalas Ossami, J.-M. Mota, Laurent Thiry, Jean-Marc Perronne, Jean-Louis Boulanger, Georges Mariano. 236-243
• Software Defect Prediction: Heuristics for Weighted Naïve BayesBurak Turhan, Ayse Basar Bener. 244-249
• Test Frameworks for Elusive Bug TestingWilliam E. Howden, Cliff Rhyne. 250-257
• Software Process Conversion Rules in ImPPros - Quality Models Conversion for a Software Process Implementation EnvironmentSandro Ronaldo Bezerra Oliveira, Alexandre Marcos Lins de Vasconcelos, Tiago Soares Goncalves. 258-263
• A Product Line of Software Reuse Cost ModelsMustafa Korkmaz, Ali Mili. 264-269
• Simulation Methodologies for Scientific Computing - Modern Application DesignPhilipp Schwaha, Markus Schwaha, René Heinzl, Enzo Ungersboeck, Siegfried Selberherr. 270-276
• New Design Techniques for Enhancing Fault Tolerant Cots Software Wrappers Luping Chen, John May. 277-282
• Resource Substitution for the Realization of Mobile Information SystemsHagen Höpfner, Christian Bunse. 283-289
• Goal-Oriented Automatic Test Case Generators for MC/DC CompliancyEmine G. Aydal, Jim Woodcock, Ana Cavalcanti. 290-295
• A Model-Driven Engineering Approach to Requirements Engineering - How These Disciplines May Benefit Each OtherBegoña Moros, Cristina Vicente-Chicote, José Ambrosio Toval Álvarez. 296-303
• A Formal Approach for the Development of Automated SystemsOlfa Mosbahi, Leila Jemni, Jacques Jaray. 304-310
• Scmm-Tool - Tool for Computer Automation of the Information Security Management SystemsLuís Enrique Sanchez, Daniel Villafranca, Eduardo Fernández-Medina, Mario Piattini. 311-318
• A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS DocumentsSergiu Dascalu, Eric Fritzinger, Kendra Cooper, Narayan C. Debnath. 319-326
• Implementing a Value-Based Approach to Software Process and Product AssessmentPasi Ojala. 329-332
• Closing the Business-Application Gap in SOA - Challenges and Solution DirectionsBoris Shishkov, Jan L. G. Dietz, Marten van Sinderen. 333-336
• Prioritization of Processes for Software Process Improvement in Small Software EnterprisesFrancisco J. Pino, Félix García, Mario Piattini. 337-340
• Scheme for Comparing Results of Diverse Software VersionsViktor Mashkov, Jaroslav Pokorny. 341-344
• Towards a Unified Security/Safety Framework - A Design Approach to Embedded System ApplicationsMiroslav Svéda, Radimir Vrba. 345-350
• The Missing Layer - Deficiencies in Current Rich Client Architectures, and their RemediesBrendan Lawlor, Jeanne Stynes. 351-356
• Re-Using Experience in Information Systems DevelopmentPaulo Tomé, Ernesto Costa, Luís Amaral. 357-362
• Towards a New Code-Based Software Development Concept Enabling Code PatternsKlaus Meffert, Ilka Philippow. 363-366
• A Computerized Tutor for Architecting Software - Supporting the Creative Aspects of Software DevelopmentJosé L. Fernández-Sánchez, Javier Carracedo-Pais. 367-370
• Requirements Definitions of Real-Time System Using the Behavioral Patterns Analysis (PBA) Approach - The Elevator Control SystemAssem El-Ansary. 371-377
• Detecting Aspectual Behavior in UML Interaction DiagramsAmir Abdollahi Foumani, Constantinos Constantinides. 378-386
• An Improvement to the Mixed MDA-Software Factory Approach: a Real CaseGustavo Muñoz Gómez, Juan Carlos Granja. 387-392
• A Case Study of Distributed and Evolving Applications Using Separation of ConcernsHamid Mcheick, Hafedh Mili, Rakan Mcheik. 393-400
• Software Engineering Lessions Learned from Developing and Maintaining WebsitesTammy Kam Hung Chan, Zhen Hua Liu. 401-404
• Understanding Product Lines Through Design PatternsDaniel Cabrero Moreno, Javier Garzás, Mario Piattini. 405-408
• Hardware Project Management - What we Can Learn from the Software Development Process for Hardware Design?Rolf Drechsler, Andreas Breiter. 409-416
• An Experimental Evaluation of Software Performance Modeling and Analysis Techniques Julie A. Street, Robert G. Pettit IV. 417-420
• Towards a Knowledge Base to Improve Reusability of Design PatternCédric Bouhours, Hervé Leblanc, Christian Percebois. 421-424
• Model-Driven Development of Graphical Tools - Fujaba Meets GMFThomas Buchmann, Alexander Dotor, Bernhard Westfechtel. 425-430
• A Study on Software Project Coaching Model Using TSP in SamsungTae-Hee Gwak, Yoonjung Jang. 431-436
• V3studio: A Component-Based Architecture Description Meta-Model - Extensions to Model Component Behaviour VariabilityCristina Vicente-Chicote, Diego Alonso, Franck Chauvel. 437-440
• E-Learning for Health Issues Based on Rule-Based Reasoning and Multi-Criteria Decision Making Katerina Kabassi, Maria Virvou, George A. Tsihrintzis. 441-444
• COSA: An Architectural Description Meta-ModelSylvain Maillard, Adel Smeda, Mourad Oussalah. 445-448
• A Methodology to Finalize the Requirements for a Project With Multiple Stake- Holders - Presenting Software Engineering Workshop As a SolutionAshutosh Parashar, Selvakumaran Mannappan. 449-452