Work

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

Year: 2024

Type: conference-paper

Source: IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)

DOI: 10.1109/prdc63035.2024.00032

Authors: Ryoichi Ishigami, Sho Matsumoto, Tomohiko Takagi

Institution: Kagawa University

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4407129815

FWCI: 0.291

Cites: 3

Cited by: 1

Related to: 10