Verification of Hypermedia Characteristic of RESTful Finite-State Machines
暂无分享,去创建一个
[1] Savas Parastatidis,et al. REST in Practice - Hypermedia and Systems Architecture , 2010 .
[2] Tommi Mikkonen,et al. The Web as a Software Platform: Ten Years Later , 2017, WEBIST.
[3] Savas Parastatidis,et al. The role of hypermedia in distributed system development , 2010, WS-REST '10.
[4] María N. Moreno García,et al. A formal definition of RESTful semantic web services , 2010, WS-REST '10.
[5] Jordi Cabot,et al. EMF-REST: generation of RESTful APIs from models , 2016, SAC.
[6] Peter Braun,et al. Model-driven Development of RESTful APIs , 2015, WEBIST.
[7] Steve Vinoski. RESTful Web Services Development Checklist , 2008, IEEE Internet Computing.
[8] Roy Fielding,et al. Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .
[9] Peter Braun,et al. Model-driven Testing of RESTful APIs , 2015, WWW.
[10] Joshua J. Bloch. How to design a good API and why it matters , 2006, OOPSLA '06.
[11] Peter Braun,et al. Towards Model-driven Hypermedia Testing for RESTful Systems , 2017, WEBIST.
[12] Ivan Zuzak,et al. Formal Modeling of RESTful Systems Using Finite-State Machines , 2011, ICWE.