Abstract is missing.
- Generating Applications - Framework Reuse Supported by Domain-Specific Modeling LanguagesMatheus Carvalho Viana, Rosângela Dellosso Penteado, Antônio Francisco do Prado. 5-14
- Dynamic Localisation and Automatic Correction of Software Faults using Evolutionary Mutation TestingPantelis Stylianos Yiasemis, Andreas S. Andreou. 15-26
- A Tool to Evaluate Error Correction Resources and Processes Suited for Documents ImprovementArnaud Renard, Sylvie Calabretto, Béatrice Rumpler. 27-35
- Managing Literature Reviews Information through VisualizationSandra Fabbri, Elis Montoro Hernandes, André Di Thommazo, Anderson Belgamo, Augusto Zamboni, Cleiton Silva. 36-45
- A Model-based Approach for Reusing Crosscutting FrameworksThiago Gottardi, Oscar López Pastor, Valter Vieira de Camargo. 46-55
- Storm as a Model for Measuring Understanding of Electrical FieldMiriam Martínez Muñoz, José Antonio Gutiérrez de Mesa, M. Lourdes Jiménez. 59-62
- Systematic Process of Conceptualization - For Enterprise Information System Renewal and IntegrationKenji Nishioka, Koichiro Ochimizu. 63-69
- Prioritization of Product Requirements using the Analytic Hierarchy ProcessThomas Reichel, Gudula Rünger. 70-76
- A Systematic Review on Evaluation of Aspect Oriented Programming using Software MetricsJoyce M. S. França, Michel dos Santos Soares. 77-83
- Ontology Support for Home Care Process DesignJonas Bulegon Gassen, Alencar Machado, Lucinéia Heloisa Thom, José Palazzo M. de Oliveira. 84-89
- A Cooperation System based on OntologiesMina Ziani, Danielle Boulanger, Guilaine Talens. 90-97
- Facilitating the Handling of Documents through Tree-Map VisualizationElis Montoro Hernandes, Erika Nina Höhn, José Carlos Maldonado, Sandra Fabbri. 98-104
- A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems SoftwareManuel I. Capel, Luis E. Mendoza Morales. 105-112
- NorMAS-ML - A Modeling Language to Model Normative Multi-agent SystemsEmmanuel Sávio Silva Freire, Mariela Inés Cortés, Enyo José Tavares Gonçalves, Yrleyjânder Salmito Lopes. 113-119
- Modularizing Software Process Lines using Model-driven Approaches - A Comparative StudyFellipe Araújo Aleixo, Uirá Kulesza, Marília Aranha Freire, Daniel Alencar da Costa, Edmilson Campos Neto. 120-125
- An Ontology-based Approach for Enabling Linked Data Capabilities to MOF Compliant ModelsFernando Silva Parreiras, Gerd Gröner, Tobias Walter. 126-131
- Information Systems Development Methodolgies in a Developing Higher EducationAdam Marks. 135-141
- System Evolution via Model-driven DesignAndrew Branson, Jean-Marie Le Goff, Richard McClatchey, Jetendr Shamdasani. 142-145
- A Topic-Map-based Framework to Enhance Components' Retrieval in a Process ControlSara Bouzid, Corine Cauvet, Jacques Pinaton. 146-149
- Enterprise Integrity Constraints Management using Production Rules and Conceptual SchemaNattawut Vejkanchana, Jane Saetent, Suphamit Chittayasothorn. 150-155
- A Strategy for Treat with Socio-cultural Aspects in Software Distributed DevelopmentPaulo Henrique Soares, Elisa Hatsue Moriya Huzita, Tania Fatima Calvi Tait. 156-159
- Connecting Feature Models and Ontologies in Software Product LinesGabriella Castro Barbosa Costa, Regina M. M. Braga, José Maria N. David, Fernanda Campos. 160-163
- Automatic Ontology Alignment Disambiguation based on Ontological Structural DimensionAlexandre Gouveia, Nuno Silva, João Rocha. 164-167
- An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm OptimizationSimos Gerasimou, Constantinos Stylianou, Andreas S. Andreou. 168-171
- A Semantic Formalization for Use Case ModelingMarinos G. Georgiades, Andreas S. Andreou. 172-175
- Towards a Dynamic Adaptation of Documents within Pervasive Information SystemsKarim Djemal, Chantal Soulé-Dupuy, Nathalie Vallès-Parlangeau. 176-182
- An Outline of Development Process Framework for Software based on Open-source ComponentsJakub Swacha, Karolina Muszynska, Zygmunt Drazek. 183-186
- Reuse in the Elicitation of Customization RequirementsMohamed Ramzi Bouzid. 187-191
- Toward a Quality-driven Service Component Architecture - Techniques and ModelsMaryem Rhanoui, Bouchra El Asri. 192-196
- Effects of the Placement of Diverse Items in Recommendation ListsMouzhi Ge, Dietmar Jannach, Fatih Gedikli, Martin Hepp. 201-208
- Program Analysis and Evaluation using QuimeraDaniela Fonte, Ismael Vilas Boas, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques. 209-219
- Chronometric Analysis of a Payment Process for Cash, Cards and Mobile DevicesMichal Polasik, Jakub Górka, Gracjan Wilczewski, Janusz Kunkowski, Karolina Przenajkowska, Natalia Tetkowska. 220-229
- Exploring Structural Properties of Web Graphs through 3D VisualizationZhiming Chen, András Faragó, Kang Zhang. 233-238
- Subgroup Discovery Applied to the e-Commerce Website OrOliveSur.comCristóbal J. Carmona, S. Ramírez-Gallego, F. Torres, E. Bernal, M. J. del Jesus, Salvador García. 239-244
- A Mediator Architecture for Context-aware Composition in SOAHicham Baidouri, Hatim Hafiddi, Mahmoud Nassar, Abdelaziz Kriouile. 245-251
- Lightweight Web Application Framework and Its Application - Helping Improve Community Bus Timetables after Japan EarthquakeYu Kitano, Hiroki Suguri, Atsushi Togashi. 252-257
- SWRL Rule Editor - A Web Application as Rich as Desktop Business Rule EditorsJoão Paulo Orlando, Adriano Rivolli, Saeed Hassanpour, Martin J. O'Connor, Amar K. Das, Dilvan A. Moreira. 258-263
- Discoverying Cloud Services by Preconditions and Effects for CompositionsLorena Erdens, Daniela Barreiro Claro, Denivaldo Lopes, Patrick Albers. 264-270
- Management of User Preferences and Conflicts to Ubiquitous Applications AdaptationSalima Bourougaa-Tria, Hassina Seridi-Bouchelaghem, Farid Mokhati. 271-276
- Towards a Negotiation Protocol for ebXMLHércules Antonio do Prado, Edilson Ferneda, Gentil José de Lucena Filho, Aluízio Haendchen Filho, Newton Castilho Lavoyer. 277-282
- ICT Adoption and Organizational Change - An Innovative Training System on Industrial Automation Systems for Enhancing Competitiveness of SMEsNunzio Casalino, Marisa Ciarlo, Marco de Marco, Mauro Gatti. 283-288
- An Architecture for Implementing 'Collaborative Usage Control' Policy - Toward End-to-End Security Management in Collaborative ComputingZiyi Su, Frédérique Biennier. 291-294
- Towards a Semantic and Dynamic Cluster based Web Service Discovery System for Ubiquitous EnvironmentsRim Helali, Nadia Ben Azzouna, Khaled Ghédira. 295-300
- The CICA GRID - A Cloud Computing Infrastructure on Demand with Open Source TechnologiesM. A. Alvarez, Alejandro Fernández-Montes, J. A. Ortega, Luis González Abril. 301-304
- Improving Browser History using Semantic InformationJosé Sousa, Marco Pereira, Joaquim Arnaldo Martins. 305-311
- Measuring Accessibility on Public Places using Ubiquitous Environments and MASDonald Rodriguez-Ubeda, Ricardo Rosales, Manuel Castañón-Puga, Dora-Luz Flores, Luis-Enrique Palafox, Carelia Gaxiola-Pacheco. 312-315
- Web Services Discovery - A Novel Social Networks Approach based on CommunitiesAbdelmalek Metrouh, Hassina Seridi-Bouchelaghem, Farid Mokhati. 316-319
- An Empirical Study on the Factors Influencing Usage Intention of IPTV in KoreaDong-Man Lee, Hyun-Sun Park, Sung-Hee Jang. 320-323
- Attribute Value Ontology - Using Semantics in Data MiningTomasz Lukaszewski, Joanna Józefowska, Agnieszka Lawrynowicz. 329-334
- Ontology-guided Social Media Analysis - System ArchitectureAlexander Semenov, Jari Veijalainen. 335-341
- Towards an Arabic Ontology - Defining Morpho-lexical Patterns for Semantic Relation ExtractionMohamed Mahdi Boudabous, Fatiha Sadat, Lamia Hadrich Belguith. 342-348
- A Pragmatic Approach to Conceptual Negotiation SupportCristóvão Sousa, Carla Pereira, António Lucas Soares. 349-354
- Change Impact Analysis for Large-scale Enterprise SystemsWen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng. 359-368
- Performance Impact of Fuzz Testing Windows Embedded Handheld ApplicationsNizam Abdallah, Sita Ramakrishnan. 371-376
- Fault Injection for Web-servicesMarek Rychlý, Martin Zouzelka. 377-383
- Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML AnnotationKentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa. 389-394
- Agile Models Need to be Bottom-up - Adding Productivity to a Late Project Makes it LaterPietu Pohjalainen. 395-400
- Quality Improvement of Requirements Specification using Model Checking TechniqueYoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura. 401-406
- Formal Behavioral Modeling of Real-time Operating SystemsCédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner. 407-414
- A MDA Approach for Agent-oriented Development using FAMLCarlos Eduardo Pantoja, Ricardo Choren. 415-420
- Model Driven Engineering for Science GatewaysDavid Manset, Richard McClatchey, Hervé Verjus. 421-431