Advertisement

Intelligent Software Methodologies, Tools and Techniques

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

  • Hamido Fujita
  • Guido Guizzi

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Tobias Griebe, Marc Hesenius, Volker Gruhn
      Pages 3-17
    3. Samer Zein, Norsaremah Salleh, John Grundy
      Pages 30-41
    4. Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui
      Pages 42-55
  3. Real Time Systems

    1. Front Matter
      Pages 57-57
    2. Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luis Gomes
      Pages 59-72
    3. Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet
      Pages 73-86
    4. 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. Sören Witt, Sven Feja, Christian Hadler, Andreas Speck, Elke Pulvermüller
      Pages 120-136
    3. Peter T. Breuer, Jonathan P. Bowen, Simon Pickin
      Pages 137-148
    4. Ahmed El-Serafy, Cherif Salama, Ayman Wahba
      Pages 149-160
    5. Ghada El-Sayed, Cherif Salama, Ayman Wahba
      Pages 161-172
  5. Social Networks and Big Data

    1. Front Matter
      Pages 173-173
    2. Chidchanok Choksuchat, Chantana Chantrapornchai, Michael Haidl, Sergei Gorlatch
      Pages 190-202
    3. Jun Sasaki, Shizune Takahashi, Li Shuang, Issei Komatsu, Keizo Yamada, Masanori Takagi
      Pages 203-215
    4. Gajo Petrovic, Hamido Fujita
      Pages 216-224
  6. Cloud Computing and the Semantic Web

    1. Front Matter
      Pages 225-225
    2. Ruben Heradio, Hector Perez-Morago, David Fernandez-Amoros, Francisco Javier Cabrerizo, Enrique Herrera-Viedma
      Pages 242-251
    3. Anna Maria Di Sciullo
      Pages 252-268
    4. Vladimir Dimitrieski, Milan Čeliković, Nemanja Igić, Heiko Kern, Fred Stefan
      Pages 269-281
  7. Artificial Intelligence Techniques and Intelligent System Design

    1. Front Matter
      Pages 283-283
    2. Teoh Chong Keat, Habibollah Haron, Antoni Wibowo, Mohd. Salihin Ngadiman
      Pages 285-295
    3. M. Reza Mashinchi, Ali Selamat, Suhaimi Ibrahim
      Pages 296-307
    4. Zahra Nematzadeh, Roliana Ibrahim, Ali Selamat
      Pages 308-318
    5. Raquel Ureña, Francisco Javier Cabrerizo, Francisco Chiclana, Enrique Herrera-Viedma
      Pages 319-332
    6. Guido Guizzi, Francesco Gargiulo, Liberatina Carmela Santillo, Hamido Fujita
      Pages 333-340
    7. Masaki Kurematsu, Jun Hakura, Hamido Fujita
      Pages 341-352
  8. Software Development and Integration

    1. Front Matter
      Pages 353-353
    2. Luigi Coppolino, Salvatore D’Antonio, Carmine Massei, Luigi Romano
      Pages 378-387
    3. Volker Gruhn, Clemens Schäfer
      Pages 388-398
    4. Mirai Watanabe, Yutaka Watanobe, Alexander Vazhenin
      Pages 399-410
  9. Security and Software Methodologies for Reliable Software Design

    1. Front Matter
      Pages 411-411
    2. Nazri Kama, Saiful Adli Ismail, Kamilia Kamardin, Norziha Megat Zainuddin, Azri Azmi, Wan Shafiuddin Zainuddin
      Pages 413-424
    3. Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed, Samir Ouchani
      Pages 425-441
    4. Saiful Adli Ismail, Md Asri Ngadi, Johan Mohd Sharif, Nazri Kama, Othman Mohd Yusop
      Pages 442-452
    5. Caleb Shortt, Jens Weber
      Pages 453-468
    6. Rim Idriss, Adlen Loukil, Mohamed Khalgui
      Pages 469-483
  10. New Software Techniques in Image Processing and Computer Graphics

    1. Front Matter
      Pages 485-485
    2. Hoshang Kolivand, Mohd Shahrizal Sunar, Ali Selamat
      Pages 487-495
    3. Atoany Nazareth Fierro-Radilla, Gustavo Calderon-Auza, Mariko Nakano-Miyatake, Héctor Manuel Pérez-Meana
      Pages 496-505
    4. Daniel Toledo de los Santos, Mariko Nakano-Miyatake, Karina Toscano-Medina, Gabriel Sanchez-Perez, Hector Perez-Meana
      Pages 506-516
    5. F. Persia, D. D’Auria, G. Sperlí, A. Tufano
      Pages 517-528

About these proceedings

Introduction

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.

Keywords

Artificial intelligence Cloud computing Collaboration in software development Computer graphics Designing software HCI Human computer interaction Human-centered computing Information systems Mobile computing Requirements engineering Security and privacy Semantic web Social networks Software creation and management Software development techniques Software engineering Software notations and tools Software organization and properties Software verification and validation

Editors and affiliations

  • Hamido Fujita
    • 1
  • Guido Guizzi
    • 2
  1. 1.Iwate Prefectural UniversityTakizawaJapan
  2. 2.University of Naples "Federico II"NapoliItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-22689-7
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-22688-0
  • Online ISBN 978-3-319-22689-7
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site