Skip to main content
  • Conference proceedings
  • © 2015

Intelligent Software Methodologies, Tools and Techniques

14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

Conference proceedings info: SoMeT 2015.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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

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

Table of contents (48 papers)

  1. Front Matter

    Pages I-XVII
  2. Embedded and Mobile Software Systems, Theory and Application

    1. Front Matter

      Pages 1-1
    2. Towards Automated UI-Tests for Sensor-Based Mobile Applications

      • Tobias Griebe, Marc Hesenius, Volker Gruhn
      Pages 3-17
    3. Mobile Application Testing in Industrial Contexts: An Exploratory Multiple Case-Study

      • Samer Zein, Norsaremah Salleh, John Grundy
      Pages 30-41
    4. An Efficient Reconfiguration-Based Approach for Improving Smart Grid Performance

      • Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui
      Pages 42-55
  3. Real Time Systems

    1. Front Matter

      Pages 57-57
    2. PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm

      • Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luis Gomes
      Pages 59-72
    3. New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems

      • Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet
      Pages 73-86
    4. New Solutions for Useful Execution Models of Communicating Adaptive RA2DL

      • Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
      Pages 87-101
  4. Requirement Engineering, High-Assurance and Testing System

    1. Front Matter

      Pages 103-103
    2. Visualization of Checking Results for Graphical Validation Rules

      • Sören Witt, Sven Feja, Christian Hadler, Andreas Speck, Elke Pulvermüller
      Pages 120-136
    3. Processor Rescue

      • Peter T. Breuer, Jonathan P. Bowen, Simon Pickin
      Pages 137-148
    4. Automatic Test Data Generation Targeting Hybrid Coverage Criteria

      • Ahmed El-Serafy, Cherif Salama, Ayman Wahba
      Pages 149-160
    5. Optimization of Generated Test Data for MC/DC

      • Ghada El-Sayed, Cherif Salama, Ayman Wahba
      Pages 161-172
  5. Social Networks and Big Data

    1. Front Matter

      Pages 173-173
    2. Accelerating Keyword Search for Big RDF Web Data on Many-Core Systems

      • Chidchanok Choksuchat, Chantana Chantrapornchai, Michael Haidl, Sergei Gorlatch
      Pages 190-202
    3. Finding Target Users Interested in Regional Areas Using Online Advertising and Social Network Services

      • Jun Sasaki, Shizune Takahashi, Li Shuang, Issei Komatsu, Keizo Yamada, Masanori Takagi
      Pages 203-215

Other Volumes

  1. Intelligent Software Methodologies, Tools and Techniques

About this book

This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy, in September 2015.

The 47 full papers presented together with one short paper were carefully reviewed and selected from 118 submissions. The papers are organized in topical sections on embedded and mobile software systems, theory and application; real-time systems; requirement engineering, high-assurance and testing system; social networks and big data; cloud computing and semantic web; artificial intelligence techniques and intelligent system design; software development and integration; security and software methodologies for reliable software design; new software techniques in image processing and computer graphics; software applications systems for medical health care.

Editors and Affiliations

  • Iwate Prefectural University, Takizawa, Japan

    Hamido Fujita

  • University of Naples "Federico II", Napoli, Italy

    Guido Guizzi

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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