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...
Automated and verifiable internet services and applications development
Citation: Journal of Internet Services and Applications 2021 12:12
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
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...Citation: Journal of Internet Services and Applications 2021 12: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 (...Citation: Journal of Internet Services and Applications 2020 11:2