Skip to main content

Automated and verifiable internet services and applications development

  1. 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:

  2. 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: