03736nam 22007455 450 99646591230331620200702032436.03-642-19589-X10.1007/978-3-642-19589-1(CKB)2670000000076048(SSID)ssj0000530589(PQKBManifestationID)11348229(PQKBTitleCode)TC0000530589(PQKBWorkID)10562257(PQKB)10097447(DE-He213)978-3-642-19589-1(MiAaPQ)EBC3066581(PPN)151589674(EXLCZ)99267000000007604820110319d2011 u| 0engurnn|008mamaatxtccrWeb Services and Formal Methods[electronic resource] 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers /edited by Mario Bravetti, Tevfik Bultan1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (VIII, 191 p. 68 illus., 10 illus. in color.) Programming and Software Engineering ;6551Bibliographic Level Mode of Issuance: Monograph3-642-19588-1 Includes bibliographical references and index.This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing;  cloud computing; formal methods; verification specification; testing; and business process management.Programming and Software Engineering ;6551Application softwareSoftware engineeringManagement information systemsComputer scienceInformation storage and retrievalUser interfaces (Computer systems)Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032User Interfaces and Human Computer Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/I18067Application software.Software engineering.Management information systems.Computer science.Information storage and retrieval.User interfaces (Computer systems).Information Systems Applications (incl. Internet).Software Engineering.Management of Computing and Information Systems.Information Storage and Retrieval.User Interfaces and Human Computer Interaction.005.7Bravetti Marioedthttp://id.loc.gov/vocabulary/relators/edtBultan Tevfikedthttp://id.loc.gov/vocabulary/relators/edtWS-FM (Workshop)BOOK996465912303316Web Services and Formal Methods772379UNISA