Skip to main content
SpringerLink
Log in
Book cover

Software and Data Technologies

5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. José Cordeiro

    1. Department of Systems and Informatics, INSTICC / IPS, Setúbal, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Maria Virvou

    1. Department of Informatics, University of Piraeus, Piraeus, Greece

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Boris Shishkov

    1. IICREST, Sofia, Bulgaria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings State-of-the-art research Up-to-date results

Part of the book series: Communications in Computer and Information Science (CCIS, volume 170)

Included in the following conference series:

Conference proceedings info: ICSOFT 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  3. Part I:Software Engineering

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Modelling the Requirements of Rich Internet Applications in WebRe

      • Esteban Robles Luna, M. J. Escalona, G. Rossi
      Pages 27-41

    3. A Survey on How Well-Known Open Source Software Projects Are Tested

      • Davide Tosi, Abbas Tahir
      Pages 42-57

    4. Systematic Review on Software Product Line Testing

      • Beatriz Pérez Lamancha, Macario Polo, Mario Piattini
      Pages 58-71

    5. A Programming Language That Combines the Benefits of Static and Dynamic Typing

      • Francisco Ortin, Miguel Garcia
      Pages 72-87

    6. Main Principles on the Integration of SOC and MDD Paradigms to Business Processes: A Systematic Review

      • Andrea Delgado, Francisco Ruiz, Ignacio García-Rodríguez de Guzmán, Mario Piattini
      Pages 88-108

    7. A Model-Based Simulation Environment for Structured Textual Use Cases

      • Veit Hoffmann, Horst Lichter
      Pages 109-124

    8. Automatic Co-evolution of Models Using Traceability

      • Bastien Amar, Hervé Leblanc, Bernard Coulette, Philippe Dhaussy
      Pages 125-139

    9. FocalTest: A Constraint Programming Approach for Property-Based Testing

      • Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
      Pages 140-155

    10. HARM: Hacker Attack Representation Method

      • Peter Karpati, Andreas L. Opdahl, Guttorm Sindre
      Pages 156-175

    11. An Architecture Based Deployment of Component Distributed Systems

      • Noureddine Belkhatir, Mariam Dibo
      Pages 176-187

  4. Part II:Distributed Systems

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. A Heuristic Algorithm for Finding Edge Disjoint Cycles in Graphs

      • Renren Dong, Ray Kresman
      Pages 191-202

  5. Part III:Data Management

    1. Front Matter

      Pages 203-203
      Download chapter PDF

    2. Distortion-Free Authentication Watermarking.

      • Sukriti Bhattacharya, Agostino Cortesi
      Pages 205-219

    3. FRIDAL: A Desktop Search System Based on Latent Interfile Relationships

      • Tetsutaro Watanabe, Takashi Kobayashi, Haruo Yokota
      Pages 220-234

    4. Fine Grained Access Control for Relational Databases by Abstract Interpretation

      • Raju Halder, Agostino Cortesi
      Pages 235-249
Back to top

Other volumes

  1. Software and Data Technologies

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010. The 30 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from a total of 410 submissions in two rounds of reviewing and improvement. The papers cover a wide range of topics and are organized in four general topical sections on healthinf, biodevices, biosignals, and bioinformatics.

Editors and Affiliations

  • Department of Systems and Informatics, INSTICC / IPS, Setúbal, Portugal

    José Cordeiro

  • Department of Informatics, University of Piraeus, Piraeus, Greece

    Maria Virvou

  • IICREST, Sofia, Bulgaria

    Boris Shishkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation