An Experimentation Framework for Specification and Verification of Web Services.

Szymon Katra Wiktor B. Daszczuk Danny Czejdo

Published in: FedCSIS (2022)

Keyphrases

web services
main contribution
theoretical framework
databases
formal verification
data mining
information systems
lightweight
test bed
conceptual framework
specification language