Login / Signup
HeadREST: A Specification Language for RESTful APIs.
Vasco T. Vasconcelos
Francisco Martins
Antónia Lopes
Nuno Burnay
Published in:
Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Keyphrases
</>
specification language
web services
description language
formal specification
programming language
publish subscribe
application developers
lightweight
symbolic execution
requirements specification
software environment
source code
application programming interfaces
database
fine grained
architectural style