Skip to main content

Automated and verifiable internet services and applications development

  1. With the emergence of the Internet of Things (IoT), application developers can rely on a variety of protocols and Application Programming Interfaces (APIs) to support data exchange between IoT devices. However, t...

    Authors: Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur and Valerie Issarny
    Citation: Journal of Internet Services and Applications 2021 12:12
    Content type: Research Published on:

  2. Software systems are complicated, and the scientific and engineering methodologies for software development are relatively young. Cyber-physical systems are now in every corner of our lives, and we need robust...

    Authors: Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam and Mehrdad Saadatmand
    Citation: Journal of Internet Services and Applications 2021 12:2
    Content type: Research Published on:

  3. A key challenge posed by the Next Generation Internet landscape is that modern service-based applications need to cope with open and continuously evolving environments and to operate under dynamic circumstances (...

    Authors: Martina De Sanctis, Antonio Bucchiarone and Annapaola Marconi
    Citation: Journal of Internet Services and Applications 2020 11:2
    Content type: Research Published on: