Login / Signup
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.
Hridesh Rajan
Jia Tao
Steve M. Shaner
Gary T. Leavens
Published in:
ESOP (2009)
Keyphrases
</>
web services
modular architecture
spatio temporal
design process
user interface
business processes
spatial and temporal
highly flexible
neural network
case study
natural language
programming language
design principles
temporal data
formal verification