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
- Veit Hoffmann, Horst Lichter:
A Model-based Narrative use Case Simulation Environment.
63-72
- Bastien Amar, Hervé Leblanc, Bernard Coulette, Phillipe Dhaussy:
Trace Transformation Reuse to Guide Co-evolution of Models.
73-81
- Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb:
Constraint Reasoning in FocalTest.
82-91
- 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
- Philip R. Huffman, Susan A. Mengel:
Web Services for Higher Integrity Instrument Control.
151-156
- 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
- Philippe Dugerdil, Sebastien Jossi:
A Legacy Systems use Case Recovery Method.
232-237
- Neal Snooke:
Lessons from Engineering - Can Software Benefit from Product based Evidence of Reliability?
238-244
- Anca Daniela Ionita, Marin Litoiu:
Evolvability in Service Oriented Systems.
245-250
- Khaled Mahbub, George Spanoudakis:
A Framework for Proactive SLA Negotiation.
251-256
Posters
- Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Slicing of UML Models.
259-262
- Gordana Rakic, Zoran Budimac, Klaus Bothe:
Towards a 'Universal' Software Metrics Tool - Motivation, Process and a Prototype.
263-266
- Wuu Yang, Huei-Ru Tseng, Rong-Hong Jan:
Heap Garbage Collection with Reference Counting.
267-270
- 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
- Bernhard G. Humm, Ralf S. Engelschall:
Language-Oriented Programming Via DSL Stacking.
279-287
- 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
- Luis Quesada, Fernando Berzal, Juan C. Cubero:
JSimil - A Java Bytecode Clone Detector.
333-336
- 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
- Ahmad Ahdab, Marc Le Goc:
Learning Dynamic Bayesian Networks with the TOM4L Process.
353-363
- 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
- Nabil Benayadi, Marc Le Goc:
Mining Timed Sequences to Find Signatures.
450-455
- 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
Last update Fri May 25 08:21:30 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
