Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications.

Ryoichi Ishigami, Sho Matsumoto, Tomohiko Takagi

Browse the full PRDC paper archive.