LEADER 04280nam 22007815 450 001 996465419203316 005 20200706141611.0 010 $a3-642-21461-4 024 7 $a10.1007/978-3-642-21461-5 035 $a(CKB)2670000000095857 035 $a(SSID)ssj0000530659 035 $a(PQKBManifestationID)11351551 035 $a(PQKBTitleCode)TC0000530659 035 $a(PQKBWorkID)10568072 035 $a(PQKB)11484353 035 $a(DE-He213)978-3-642-21461-5 035 $a(MiAaPQ)EBC3066808 035 $a(PPN)153862734 035 $a(EXLCZ)992670000000095857 100 $a20110610d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques for Distributed Systems$b[electronic resource] $eJoint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings /$fedited by Roberto Bruni, Juergen Dingel 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (XIV, 349 p. 56 illus., 16 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v6722 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-21460-6 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms. 410 0$aProgramming and Software Engineering ;$v6722 606 $aComputer communication systems 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aMathematical logic 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputer communication systems. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a004 702 $aBruni$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDingel$b Juergen$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aIFIP Working Group 6.1. 712 12$aFORTE 2011$d(31st :$f2011 :$eReykjavi?k, Iceland) 906 $aBOOK 912 $a996465419203316 996 $aFormal Techniques for Distributed Systems$9774228 997 $aUNISA LEADER 03234nam 22007455 450 001 9910624397003321 005 20251113210424.0 010 $a9783031207068 010 $a3031207068 024 7 $a10.1007/978-3-031-20706-8 035 $a(MiAaPQ)EBC7127607 035 $a(Au-PeEL)EBL7127607 035 $a(CKB)25219377200041 035 $a(PPN)265856973 035 $a(OCoLC)1357016978 035 $a(DE-He213)978-3-031-20706-8 035 $a(EXLCZ)9925219377200041 100 $a20221028d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware Business $e13th International Conference, ICSOB 2022, Bolzano, Italy, November 8?11, 2022, Proceedings /$fedited by Noel Carroll, Anh Nguyen-Duc, Xiaofeng Wang, Viktoria Stray 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (367 pages) 225 1 $aLecture Notes in Business Information Processing,$x1865-1356 ;$v463 300 $aIncludes index. 311 08$aPrint version: Carroll, Noel Software Business Cham : Springer International Publishing AG,c2022 9783031207051 327 $aDigital Transformation -- Business Intelligence and Analytics -- Digital Platforms and Ecosystems -- People and Technology -- Software Startups -- Sustainability. . 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Software Business, ICSOB 2022, which was held during November 8-11, 2022 in Bolzano, Italy. The special theme of ICSOB 2022 was ?Software for Digital Transformation?. The 19 full papers together with 6 short papers presented were carefully reviewed and selected from 53 submissions. The conference is covering different aspects of Digital Transformation, Software Startups, Software Ecosystems, Software Processes, Platform Economy, Software Sustainability, and People and Process Analytics. 410 0$aLecture Notes in Business Information Processing,$x1865-1356 ;$v463 606 $aComputer industry 606 $aBusiness information services 606 $aEntrepreneurship 606 $aNew business enterprises 606 $aTechnological innovations 606 $aSoftware engineering 606 $aThe Computer Industry 606 $aIT in Business 606 $aEntrepreneurship 606 $aInnovation and Technology Management 606 $aSoftware Engineering 615 0$aComputer industry. 615 0$aBusiness information services. 615 0$aEntrepreneurship. 615 0$aNew business enterprises. 615 0$aTechnological innovations. 615 0$aSoftware engineering. 615 14$aThe Computer Industry. 615 24$aIT in Business. 615 24$aEntrepreneurship. 615 24$aInnovation and Technology Management. 615 24$aSoftware Engineering. 676 $a657.834 676 $a338.7610053 702 $aCarroll$b Noel 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910624397003321 996 $aSoftware Business$92039154 997 $aUNINA