Correct software in web applications and web services. (2015)

• Record Type: Book
• Further Information: Note: Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger, editors.
• Editors: Thalheim, B (Bernhard), 1952-; Schewe, Klaus-Dieter; Prinz, Andreas; Buchberger, Bruno
• Contents: Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution -- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications -- A Formal Model of Client-Cloud Interaction -- W*H: The Conceptual Model for Services -- Monitoring of Client-Cloud Interaction -- Formal Reliability Models for Web Services -- What Constitutes a Service on the Web? -- Co-Design of Web Information Systems.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xiv, 332 pages), illustrations
• Subjects: 005.1/4; Computer science; Computer software -- Verification; Web applications; Application software -- Development; COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing; Application software -- Development; Computer software -- Verification; Web applications; Computer Science; Software Engineering/Programming and Operating Systems; Mathematical Applications in Computer Science; Algorithms; Mathematics -- Applied; Computers -- Programming -- Algorithms; Mathematical modelling; Numerical analysis; Software engineering; Algorithms; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9783319171128; 3319171127; 3319171119; 9783319171111
• Related ISBNs: 9783319171111
• Notes: Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.