2. ICSOFT 2007: Barcelona, Spain
Joaquim Filipe, Boris Shishkov, Markus Helfert (Eds.): ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007. INSTICC Press 2007 ISBN 978-989-8111-06-7
Software Engineering
Full Paper
Philippe Dugerdil, Sebastien Jossi: Role-Based Clustering of Software Modules - an Industrial Size Experiment. 5-12
Andreas Wierda, Eric Dortmans, Lou J. Somers: Detecting Patterns in Object-Oriented Source Code - A Case Study. 13-24
Olfa Mosbahi, Jacques Jaray: Specification and Proof of Liveness Properties in B Event Systems. 25-34
Maria Virvou, Kalliopi Tourtoglou: Auto-Colleague - a Collaborative Learning Environment for UML. 35-39
Katerina Kabassi, Maria Virvou, Efthymios Alepis: Using Mbiui Life-Cycle Framework for an Affective Bi-Modal User Interface . 40-47
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca: An Ontological SW Architecture for the Development of Cooperative Web Portals. 48-55
Rolf Njor Jensen, Niels Platz, Gitte Tjørnehøj: How "Developer Stories" Improves Architecture - Facilitating Knowledge Sharing and Embodiment, and Making Architectural Changes Visible. 56-64
Alejandro Gómez Cuesta, Juan Carlos Granja, Rory O'Connor: An Agile Model Driven Architecture-Based Contribution to Web Engineering. 65-72
Motohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, Motoshi Saeki: An Integrated Tool for Supporting Ontology Driven Requirements Elicitation. 73-80
Kiem-Phong Vo: Vcodex: A Data Compression Platform. 81-89
Sabrina Förtsch, Bernhard Westfechtel: Differencing and Merging of Software Diagrams - State of the Art and Challenges. 90-99
René Heinzl, Philipp Schwaha, Siegfried Selberherr: Modern Concepts for High-Perfomance Scientific Computing - Library Centric Application Design. 100-107
Short Paper
Hans-Gerhard Groß, Marco Lormans, Jun Zhou: Reformulating Component Identification As Document Analysis Problem - Towards Automated Component Procurement. 111-116
Jos J. M. Trienekens, Rob J. Kusters, Dennis C. Brussel: Linking Software Quality to Software Engineering Activities, Results from a Case-Study. 117-122
Chafia Bouanaka, Aicha Choutri, Faiza Belala: On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. 123-128
Miriam Zia, Ernesto Posse, Hans Vangheluwe: Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation. 129-137
Olivier Le Goaer, Mourad Oussalah, Dalila Tamzalit, Abdelhak-Djamel Seriai: Evolution Styles in Practice - Refactoring Revisited As Evolution Style. 138-143
Adel Alti, Tahar Khammaci, Adel Smeda, Djamel Bennouar: Integrating Software Architecture Concepts Into the MDA Platform. 144-149
Antonio Grillo, Giovanni Cantone, Christian Di Biagio, Guido Pennella: Automatic Test Management of Safety-Critical Systems: The Common Core - Behavioural Emulation of Hard-Soft Components. 150-155
Luis-Pedro García, Javier Cuenca, Domingo Giménez: Including Improvement of the Execution Time in a Software Architecture of Libraries With Self-Optimisation. 156-161
Salvatore Alessandro Sarcià, Giovanni Cantone, Victor R. Basili: A Statistical Neural Network Framework for Risk Management Process - From the Proposal to its Preliminary Validation for Efficiency. 168-177
Hassan Artail, Fuad Mrad, Mohamad Mortada: A Case Study on the Applicability of Software Reliability Models to a Telecommunication Software. 178-183
Andrea De Lucia, Fausto Fasano, Genoveffa Tortora, Giuseppe Scanniello: Integrating a Distributed Inspection Tool Within an Artefact Management System. 184-189
Cédric Teyssié, David Espes, Zoubir Mammeri: Component Based Methodology for QoS-Aware Network Design. 190-197
Emil Vassev, Olga Ormandjieva, Joey Paquet: Assl Specification of Reliability Self-Assessment in the As-Trm. 198-206
Mohamed Khalgui, Emanuele Carpanzano: A Formal Approach to Deploy Heterogeneous Software Components in a PLC. 207-212
Davide Falessi, Giovanni Cantone, Claudio Grande: A Comparison of Structured Analysis and Object Oriented Analysis - An Experimental Study. 213-221
Katsuhisa Maruyama: Secure Refactoring - Improving the Security Level of Existing Code. 222-229
Dieu Donné Okalas Ossami, Jean-Marc Mota, Laurent Thiry, Jean-Marc Perronne, Jean-Louis Boulanger, Georges Mariano: A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml. 236-243
Burak Turhan, Ayse Basar Bener: Software Defect Prediction: Heuristics for Weighted Naïve Bayes. 244-249
Sandro Ronaldo Bezerra Oliveira, Alexandre Marcos Lins de Vasconcelos, Tiago Soares Goncalves: Software Process Conversion Rules in ImPPros - Quality Models Conversion for a Software Process Implementation Environment. 258-263
Philipp Schwaha, Markus Schwaha, René Heinzl, Enzo Ungersboeck, Siegfried Selberherr: Simulation Methodologies for Scientific Computing - Modern Application Design. 270-276
Luping Chen, John May: New Design Techniques for Enhancing Fault Tolerant Cots Software Wrappers . 277-282
Hagen Höpfner, Christian Bunse: Resource Substitution for the Realization of Mobile Information Systems. 283-289
Emine G. Aydal, Jim Woodcock, Ana Cavalcanti: Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. 290-295
Begoña Moros, Cristina Vicente-Chicote, José Ambrosio Toval Álvarez: A Model-Driven Engineering Approach to Requirements Engineering - How These Disciplines May Benefit Each Other. 296-303
Olfa Mosbahi, Leila Jemni, Jacques Jaray: A Formal Approach for the Development of Automated Systems. 304-310
Luís Enrique Sanchez, Daniel Villafranca, Eduardo Fernández-Medina, Mario Piattini: Scmm-Tool - Tool for Computer Automation of the Information Security Management Systems. 311-318
Sergiu Dascalu, Eric Fritzinger, Kendra Cooper, Narayan C. Debnath: A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS Documents. 319-326
Poster
Pasi Ojala: Implementing a Value-Based Approach to Software Process and Product Assessment. 329-332
Boris Shishkov, Jan L. G. Dietz, Marten van Sinderen: Closing the Business-Application Gap in SOA - Challenges and Solution Directions. 333-336
Francisco J. Pino, Félix García, Mario Piattini: Prioritization of Processes for Software Process Improvement in Small Software Enterprises. 337-340
Viktor Mashkov, Jaroslav Pokorný: Scheme for Comparing Results of Diverse Software Versions. 341-344
Miroslav Svéda, Radimir Vrba: Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. 345-350
Brendan Lawlor, Jeanne Stynes: The Missing Layer - Deficiencies in Current Rich Client Architectures, and their Remedies. 351-356
Paulo Tomé, Ernesto Costa, Luís Amaral: Re-Using Experience in Information Systems Development. 357-362
Klaus Meffert, Ilka Philippow: Towards a New Code-Based Software Development Concept Enabling Code Patterns. 363-366
José L. Fernández-Sánchez, Javier Carracedo-Pais: A Computerized Tutor for Architecting Software - Supporting the Creative Aspects of Software Development. 367-370
Assem El-Ansary: Requirements Definitions of Real-Time System Using the Behavioral Patterns Analysis (PBA) Approach - The Elevator Control System. 371-377
Amir Abdollahi Foumani, Constantinos Constantinides: Detecting Aspectual Behavior in UML Interaction Diagrams. 378-386
Gustavo Muñoz Gómez, Juan Carlos Granja: An Improvement to the Mixed MDA-Software Factory Approach: a Real Case. 387-392
Hamid Mcheick, Hafedh Mili, Rakan Mcheik: A Case Study of Distributed and Evolving Applications Using Separation of Concerns. 393-400
Tammy Kam Hung Chan, Zhen Hua Liu: Software Engineering Lessions Learned from Developing and Maintaining Websites. 401-404
Daniel Cabrero Moreno, Javier Garzás, Mario Piattini: Understanding Product Lines Through Design Patterns. 405-408
Rolf Drechsler, Andreas Breiter: Hardware Project Management - What we Can Learn from the Software Development Process for Hardware Design?. 409-416
Julie A. Street, Robert G. Pettit IV: An Experimental Evaluation of Software Performance Modeling and Analysis Techniques . 417-420
Cédric Bouhours, Hervé Leblanc, Christian Percebois: Towards a Knowledge Base to Improve Reusability of Design Pattern. 421-424
Thomas Buchmann, Alexander Dotor, Bernhard Westfechtel: Model-Driven Development of Graphical Tools - Fujaba Meets GMF. 425-430
Tae-Hee Gwak, Yoonjung Jang: A Study on Software Project Coaching Model Using TSP in Samsung. 431-436
Cristina Vicente-Chicote, Diego Alonso, Franck Chauvel: V3studio: A Component-Based Architecture Description Meta-Model - Extensions to Model Component Behaviour Variability. 437-440
Katerina Kabassi, Maria Virvou, George A. Tsihrintzis: E-Learning for Health Issues Based on Rule-Based Reasoning and Multi-Criteria Decision Making . 441-444
Sylvain Maillard, Adel Smeda, Mourad Oussalah: COSA: An Architectural Description Meta-Model. 445-448
Ashutosh Parashar, Selvakumaran Mannappan: A Methodology to Finalize the Requirements for a Project With Multiple Stake- Holders - Presenting Software Engineering Workshop As a Solution. 449-452



