Pages that link to "Item:Q2847799"
From MaRDI portal
The following pages link to Requirements-driven verification of web services (Q2847799):
Displaying 8 items.
- On the verification of security-aware E-services (Q429592) (← links)
- A design methodology for verified web-service mediators (Q488326) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- Specification and verification of data-driven Web applications (Q878758) (← links)
- Web services as a new approach to distributing and coordinating semantics-based verification toolkits (Q2847793) (← links)
- WAVer: a model checking-based tool to verify web application design (Q2852079) (← links)
- Computer Aided Verification (Q5312941) (← links)
- Automated Technology for Verification and Analysis (Q5394169) (← links)