000727692 000__ 03276cam\a2200493Ii\4500
000727692 001__ 727692
000727692 005__ 20230306140933.0
000727692 006__ m\\\\\o\\d\\\\\\\\
000727692 007__ cr\cn\nnnunnun
000727692 008__ 150615s2015\\\\sz\a\\\\o\\\\\000\0\eng\d
000727692 020__ $$a9783319171128$$qelectronic book
000727692 020__ $$a3319171127$$qelectronic book
000727692 020__ $$z9783319171111
000727692 0247_ $$a10.1007/978-3-319-17112-8$$2doi
000727692 035__ $$aSP(OCoLC)ocn911037352
000727692 035__ $$aSP(OCoLC)911037352
000727692 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dN$T$$dIDEBK$$dYDXCP$$dUPM$$dEBLCP$$dVLB
000727692 049__ $$aISEA
000727692 050_4 $$aQA76.76.V47$$bC67 2015eb
000727692 08204 $$a005.1/4$$223
000727692 24500 $$aCorrect software in web applications and web services$$h[electronic resource] /$$cBernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger, editors.
000727692 264_1 $$aCham :$$bSpringer,$$c2015.
000727692 300__ $$a1 online resource (xiv, 332 pages) :$$billustrations.
000727692 336__ $$atext$$btxt$$2rdacontent
000727692 337__ $$acomputer$$bc$$2rdamedia
000727692 338__ $$aonline resource$$bcr$$2rdacarrier
000727692 4901_ $$aTexts & Monographs in Symbolic Computation
000727692 5050_ $$aFormal 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.
000727692 506__ $$aAccess limited to authorized users.
000727692 520__ $$aThe papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.
000727692 588__ $$aDescription based on print version record.
000727692 650_0 $$aComputer software$$xVerification.
000727692 650_0 $$aWeb applications.
000727692 650_0 $$aApplication software$$xDevelopment.
000727692 7001_ $$aThalheim, B.$$q(Bernhard),$$d1952-$$eeditor.
000727692 7001_ $$aSchewe, Klaus-Dieter,$$eeditor.
000727692 7001_ $$aPrinz, Andreas,$$eeditor.
000727692 7001_ $$aBuchberger, Bruno,$$eeditor.
000727692 77608 $$iPrint version:$$tCorrect Software in Web Applications and Web Services. Thalheim, K.-D. Schewe, A. Prinz, B. Buchberger$$z3319171119$$w(OCoLC)911018311
000727692 830_0 $$aTexts and monographs in symbolic computation.
000727692 852__ $$bebk
000727692 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-17112-8$$zOnline Access$$91397441.1
000727692 909CO $$ooai:library.usi.edu:727692$$pGLOBAL_SET
000727692 980__ $$aEBOOK
000727692 980__ $$aBIB
000727692 982__ $$aEbook
000727692 983__ $$aOnline
000727692 994__ $$a92$$bISE