Title: Rigorous Software Engineering for Service-Oriented Systems
Subjects: Computer science, Software engineering, Computer network architectures, Web services, Programming Languages, Compilers, Interpreters