Back to Results
First PageMeta Content
Cloud standards / Software engineering / Software architecture / Computer science / Representational state transfer / Finite-state machine / HATEOAS / Nondeterministic finite automaton / Web service / Models of computation / Automata theory / Computing


Formal Modeling of RESTful Systems Using Finite-State Machines Ivan Zuzak, Ivan Budiselic, and Goran Delac School of Electrical Engineering and Computing, University of Zagreb, Unska 3, 10000 Zagreb, Croatia {izuzak, ibu
Add to Reading List

Document Date: 2013-10-13 05:11:48


Open Document

File Size: 501,61 KB

Share Result on Facebook

Company

Dexter / /

/

Facility

University of Zagreb / /

IndustryTerm

higher-level applications / hypermedia systems / hypermedia Web applications / main Web page / Web application verification / software development process / software architectural styles / Web applications / example Web application / hypermedia network / Web application interaction / Web Application In order / media types / hypermedia applications / request processing / physical devices / real-time access / software frameworks / media type / Web browsers / distributed hypermedia systems / details Web page / semantic Web Services / Web engineering advancement / Web application / on modeling Web applications / /

Organization

University of Zagreb / Goran Delac School of Electrical Engineering and Computing / /

Person

Ivan Budiselic / /

ProgrammingLanguage

XML / /

Technology

HTTP / XML / /

URL

http /

SocialTag