Login / Signup
A Formal Specification-Based Testing Approach to Accurate Web Service Selection.
Weikai Miao
Shaoying Liu
Published in:
APSCC (2011)
Keyphrases
</>
formal specification
web service selection
model checking
specification language
service selection
object oriented design
specification languages
formal methods
process algebra
reverse engineering
web services
service oriented
concurrent systems
grid workflow
web service composition
software components
information systems
formal verification
database
artificial intelligence
real time