5. ICSOFT 2010: Athens, Greece
José A. Moinhos Cordeiro, Maria Virvou, Boris Shishkov (Eds.): ICSOFT 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010. SciTePress 2010 ISBN 978-989-8425-23-2
Software Engineering
Full Papers
Paul Bogg, Graham Low, Brian Henderson-Sellers, Ghassan Beydoun: Work Product-driven Software Development Methodology Improvement. 5-13
Esteban Robles Luna, María José Escalona Cuaresma, Gustavo Rossi: A Requirements Metamodel for Rich Internet Applications. 14-21
Davide Tosi, Abbas Tahir: How Developers Test Their Open Source Software Products - A Survey of Well-known OSS Projects. 22-31
Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri: Using AToM3 for the Verification of Workflow Applications. 32-39
Francisco Ortin, Daniel Zapico Palacio, Miguel García: A Programming Language to Facilitate the Transition from Rapid Prototyping to Efficient Software Production. 40-50
Andrea Delgado, Francisco Ruiz, Ignacio García Rodríguez de Guzmán, Mario Piattini: Application of Service-oriented Computing and Model-driven Development Paradigms to Business Processes - A Systematic Review. 51-62
Bastien Amar, Hervé Leblanc, Bernard Coulette, Philippe Dhaussy: Trace Transformation Reuse to Guide Co-evolution of Models. 73-81
Péter Kárpáti, Guttorm Sindre, Andreas L. Opdahl: Towards a Hacker Attack Representation Method. 92-101
Mariam Dibo, Noureddine Belkhatir: Model-driven Deployment of Distributed Components-based Software. 102-110
Short Papers
Zakaria Maamar, Ghazi AlKhatib, Said Elnaffar, Youcef Baghdadi: Towards a Meta-model for Web Services' Preferences. 113-118
Anja Strunk: X-Fee - An Extensible Framework for Providing Feedback in the Internet of Services. 119-124
Adam Przybylek: What is wrong with AOP? 125-130
Adam Przybylek: Design Patterns with AspectJ, Generics, and Reflective Programming. 131-136
Francisco José Domínguez Mayo, Manuel Mejías, María José Escalona Cuaresma, Arturo Henry Torres-Zenteno: QuEF - An Environment for Quality Evaluation on Model-Driven Web Engineering Approaches. 137-142
Gilles Dodinet, Michel Zamfirou, Geneviève Jomier: Coevolutive Meta-execution Support - Towards a Design and Execution Continuum. 143-150
Ana M. Fernández-Sáez, Marcela Genero Bocco, Francisco P. Romero: SLR-Tool - A Tool for Performing Systematic Literature Reviews. 157-166
Asif Qumer, Brian Henderson-Sellers: Framework as Software Service (FaSS) - An Agile e-Toolkit to Support Agile Method Tailoring. 167-172
Stefan D. Bruda, Zhiyu Zhang: Model Checking is Refinement - From Computation Tree Logic to Failure Trace Testing. 173-178
Hyeonsook Kim, Samia Oussena, Ying Zhang, Tony Clark: Automatic Generation of Data Merging Program Codes. 179-186
Haruhiko Kaiya, Kasuhisa Amemiya, Yuutarou Shimizu, Kenji Kaijiri: Towards an Integrated Support for Traceability of Quality Requirements using Software Spectrum Analysis. 187-194
Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Angel Mora, Pablo Cordero: A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. 195-200
Keen Ngee Loo, Sai Peck Lee: Extending UML to Represent Interaction Roles and Variants of Design Pattern. 201-207
Francesca Arcelli, Gianluigi Viscusi, Marco Zanoni: Unifying Software and Data Reverse Engineering - A Pattern based Approach. 208-213
Nadina Martinez Carod, Alejandra Cechich: Cognitive Influences in Prioritizing Software Requirements. 214-219
Andrei Kazarov, Mihai Caprini, Igor Soloviev, Reiner Hauser: Software Releases Management in the Trigger and Data Acquisition of Atlas Experiment - Integration, Building, Deployment, Patching. 220-225
José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima: An Aspect-based Approach for Concurrent Programming using CSP Features. 226-231
Neal Snooke: Lessons from Engineering - Can Software Benefit from Product based Evidence of Reliability? 238-244

Posters

Gordana Rakic, Zoran Budimac, Klaus Bothe: Towards a 'Universal' Software Metrics Tool - Motivation, Process and a Prototype. 263-266
Miguel J. Monasor, Aurora Vizcaíno, Mario Piattini: Training Global Software Development Skills through a Simulated Environment. 271-274
Yunpeng Zhang, Peng Sun, Jing Xie, Yunting Huang: Color Image Encryption Solution based on the Chaotic System of Logistic and Henon. 275-278
Selo Sulistyo, Andreas Prinz: Model-driven Approaches for Service-based Applications Development. 288-291
Tamás Mészáros, Márk Asztalos, Gergely Mezei, Hassan Charaf: Performance Optimization of Exhaustive Rules in Graph Rewriting Systems. 292-295
Kazuaki Maeda: A Scala-based Domain Specific Language for Structured Data Representation. 296-299
José Ramón Hilera, Luis Fernández Sanz, Marina Cabello: Web Tool for Object Oriented Design Metrics. 300-303
István Madari, Márk Asztalos, Tamás Mészáros, László Lengyel, Hassan Charaf: Implementing QVT in a Domain-specific Modeling Framework. 304-307
László Angyal, László Lengyel, Tamás Mészáros, Hassan Charaf: Textual Syntax Mapping can Enable Syntactic Merging. 308-311
Ahlem Ben Younes, Leila Jemni Ben Ayed: Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. 312-316
Linda Badri, Mourad Badri, Fadel Touré: Exploring Empirically the Relationship between Lack of Cohesion in Object-oriented Systems and Coupling and Size. 317-324
Mike Papadakis, Nicos Malevris, Marinos Kintis: Mutation Testing Strategies - A Collateral Approach. 325-328
Leila Jemni Ben Ayed, Najet Hamdi, Yousra Bendaly Hlaoui: An UML Activities Diagrams Translation into Event B Supporting the Specification and the Verification of Workflow Application Models - From UML Activities Diagrams to Event B. 329-332
Athula Ginige: Meta-design Paradigm based Approach for Iterative Rapid Development of Enterprise Web Applications. 337-343
Zhenyu Zhang, Zijian Tong, Xiaopeng Gao: Testing in Parallel - A Need for Practical Regression Testing. 344-348
Knowledge-Based Systems
Full Papers

Costin-Gabriel Chiru, Valentin Cojocaru, Traian Rebedea, Stefan Trausan-Matu: Malapropisms Detection and Correction using a Paronyms Dictionary, a Search Engine and Wordnet. 364-373
Daniel Joseph, César A. Marín: A Study on Aligning Documents using the Circle of Interest Technique. 374-383
Michael T. Mills, Nikolaos G. Bourbakis: NLU Methodologies for Capturing Non-redundant Information from Multi-documents - A Survey. 384-393
Maha Idrissi-Aouad, René Schott, Olivier Zendra: Genetic Heuristics for Reducing Memory Energy Consumption in Embedded Systems. 394-402
Siti Hajar Othman, Ghassan Beydoun: Metamodel-based Decision Support System for Disaster Management. 403-412
Mathieu Loiseau, Georges Antoniadis, Claude Ponton: Facet and Prism based Model for Pedagogical Indexation of Texts for Language Learning - The Consequences of the Notion of Pedagogical Context. 413-422
Short Papers
Ercan Öztemel, Nilgün Gökmen: Effects of Expert Systems in Computer based Support for CMMI Implementations. 425-430
Saoussen Bel Hadj Kacem, Amel Borgi, Moncef Tagina: Approximate Reasoning based on Linguistic Modifiers in a Learning System. 431-437
Costin-Gabriel Chiru, Andrei Hanganu, Traian Rebedea, Stefan Trausan-Matu: Filling the Gaps using Google 5-Grams Corpus. 438-443
Yuan-Jye Tseng, Fang-Yu Yu, Feng-Yi Huang: A Green Decision Support System for Integrated Assembly and Disassembly Sequence Planning using a PSO Approach. 444-449
Isabel María del Águila, José del Sagrado, Samuel Túnez, Francisco Javier Orellana: Seamless Software Development for Systems based on Bayesian Networks - An Agricultural Pest Control System Example. 456-461
Kalliopi Tourtoglou, Maria Virvou: Evaluating an Intelligent Collaborative Learning Environment for UML. 462-467
Gábor Alberti, Márton Károly, Judit Kleiber: The Realis Model of Human Interpreters and Its Application in Computational Linguistics. 468-474
Manuela Angioni, Emanuela De Vita, Cristian Lai, Ivan Marcialis, Gavino Paddeu, Franco Tuveri: A Semantic Search Engine for a Business Network - A Personalized Vision of the Web applied to a Business Network. 475-480
Posters
Luis Fernando Piasseski, Cesar Augusto Tacla, Milton Borsato: OntologyJam - A Toll for Ontology Reuse. 483-486
Nan-Hsing Chiu, Pei-Da Lin, Chang En Pu: Integration of Apriori Algorithms with Case-based Reasoning for Flight Accident Investigation. 487-490
Juan Yao, Markus Helfert: A Framework for Information Diffusion over Social Networks Research - Outlining Options and Challenges. 491-494
Antonio Martín, Carlos León: Challenges in Distributed Information Search in a Semantic Digital Library. 495-498
Takayuki Shibata, Kazuyuki Nakamura, Takanobu Sato, Rentaro Yoshioka: A Knowledge Sharing System for Software Developers. 499-503
Laura Pomponio, Marc Le Goc: Timed Observations Modelling for Diagnosis Methodology - A Case Study. 504-507
Dimitris Panagiotou, Gregoris Mentzas: KnowBench - A Semantic user Interface for Managing Knowledge in Software Development. 508-511
Alina Corso-Radu, Raul Murillo Garcia, Andrei Kazarov, Giovanna Lehmann Miotto, Luca Magnoni, John Erik Sloper: Applications of Expert System Technology in the Atlas TDAQ Controls Framework. 512-516
Special Session on Software and Data Technologies
Full Papers
Philip Huysmans: Constructing Evolvable Enterprise Implementations. 521-531
Dieter Schuller: Optimizing QoS-based Service Selection in Service-oriented Architectures. 532-538



