LEADER 04898nam 22007695 450 001 996465712903316 005 20200702092324.0 010 $a3-319-39570-X 024 7 $a10.1007/978-3-319-39570-8 035 $a(CKB)3710000000711679 035 $a(DE-He213)978-3-319-39570-8 035 $a(MiAaPQ)EBC6295328 035 $a(MiAaPQ)EBC5595980 035 $a(Au-PeEL)EBL5595980 035 $a(OCoLC)1076254262 035 $a(PPN)194077098 035 $a(EXLCZ)993710000000711679 100 $a20160523d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Techniques for Distributed Objects, Components, and Systems$b[electronic resource] $e36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /$fedited by Elvira Albert, Ivan Lanese 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVI, 275 p. 56 illus.) 225 1 $aProgramming and Software Engineering ;$v9688 300 $aIncludes index. 311 $a3-319-39569-6 327 $aOn the Power of Attribute-Based Communication -- Fencing Programs with Self-Invalidation and Self-Downgrade -- A Framework for Certified Self-Stabilization -- Developing Honest Java Programs with Diogenes -- Playing with our CAT and Communication-Centric Applications -- Multiparty Session Types Within A Canonical Binary Theory, and Beyond -- A Type Theory for Robust Failure Handling in Distributed Systems -- Choreographies in Practice -- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols -- Branching Bisimulation Games -- A Configurable CEGAR Framework with Interpolation-Based Refinements -- A Theory for the Composition of Concurrent Processes -- Enforcing Availability in Failure-Aware Communicating Systems -- Ransomware Steals Your Phone. Formal Methods Rescue It -- Multiple Mutation Testing from FSM -- The Challenge of Typed Expressiveness in Concurrency -- Type-Based Analysis for Session Inference -- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models. 330 $aThis book constitutes the proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. The 18 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods. 410 0$aProgramming and Software Engineering ;$v9688 606 $aComputer logic 606 $aSoftware engineering 606 $aComputers 606 $aMathematical logic 606 $aApplication software 606 $aComputer communication systems 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aMathematical logic. 615 0$aApplication software. 615 0$aComputer communication systems. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aComputation by Abstract Devices. 615 24$aMathematical Logic and Formal Languages. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputer Communication Networks. 676 $a004.0151 702 $aAlbert$b Elvira$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLanese$b Ivan$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465712903316 996 $aFormal Techniques for Distributed Objects, Components, and Systems$91905204 997 $aUNISA LEADER 01318nam 2200409 450 001 9910644275203321 005 20230213223958.0 010 $a0-89118-276-4 035 $a(CKB)3810000000041877 035 $a(WaSeSS)IndRDA00111471 035 $a(EXLCZ)993810000000041877 100 $a20190319d1967 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aMaximum crop yields $ethe challenge /$fsponsored by the American Society of Agronomy, Crop Science Society of America, Soil Science Society of America 210 1$aMadison, Wisconsin :$cAmerican Society of Agronomy,$d1967. 215 $a1 online resource (xi, 92 pages) 225 1 $aASA Special Publication ;$vNumber 9 311 $a0-89118-029-X 410 0$aASA special publication ;$vNumber 9. 606 $aField crops$zUnited States 606 $aCorn$zUnited States 615 0$aField crops 615 0$aCorn 676 $a633.00973 712 02$aAmerican Society of Agronomy, 712 02$aCrop Science Society of America, 712 02$aSoil Science Society of America, 801 0$bWaSeSS 801 1$bWaSeSS 906 $aBOOK 912 $a9910644275203321 996 $aMaximum crop yields$93007705 997 $aUNINA LEADER 03384nam 22006015 450 001 9910484432203321 005 20251225175007.0 010 $a3-030-75251-8 024 7 $a10.1007/978-3-030-75251-4 035 $a(CKB)4100000011918841 035 $a(DE-He213)978-3-030-75251-4 035 $a(MiAaPQ)EBC6605996 035 $a(Au-PeEL)EBL6605996 035 $a(OCoLC)1250073909 035 $a(PPN)255881924 035 $a(EXLCZ)994100000011918841 100 $a20210424d2021 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aOpen Source Systems $e17th IFIP WG 2.13 International Conference, OSS 2021, Virtual Event, May 12?13, 2021, Proceedings /$fedited by Davide Taibi, Valentina Lenarduzzi, Terhi Kilamo, Stefano Zacchiroli 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (IX, 87 p. 14 illus., 5 illus. in color.) 225 1 $aIFIP Advances in Information and Communication Technology,$x1868-422X ;$v624 311 08$a3-030-75250-X 320 $aIncludes bibliographical references and index. 327 $aComparing Static Analysis and Code Smells as Defect Predictors: an Empirical Study -- Enabling OSS usage through procurement projects: How can lock-in effects be avoided? -- Finding Code-Clone Snippets in Large Source-Code Collection by ccgrep -- OSS PESTO: An Open Source Software Project Evaluation and Selection Tool -- OSS Scripting System for Game Development in Rust -- Open source communities and forks: a rereading in the light of Albert Hirschman's writings -- Software Change Prediction with Homogeneous Ensemble Learners on Large Scale Open-Source Systems. 330 $aThis book constitutes the refereed proceedings of the 17th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2021, held virtually in May 2021. The 4 full papers and 3 short papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics in the field of free/libre open source software (FLOSS) and discuss theories, practices, experiences, and tools on development and applications of OSS systems, with a specific focus on two aspects:(a) the development of open source systems and the underlying technical, social, and economic issue, (b) the adoption of OSS solutions and the implications of such adoption both in the public and in the private sector. 410 0$aIFIP Advances in Information and Communication Technology,$x1868-422X ;$v624 606 $aElectronic data processing$xManagement 606 $aSoftware engineering 606 $aApplication software 606 $aIT Operations 606 $aSoftware Engineering 606 $aComputer and Information Systems Applications 615 0$aElectronic data processing$xManagement. 615 0$aSoftware engineering. 615 0$aApplication software. 615 14$aIT Operations. 615 24$aSoftware Engineering. 615 24$aComputer and Information Systems Applications. 676 $a005.3 702 $aTaibi$b Davide 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484432203321 996 $aOpen Source Systems$91936227 997 $aUNINA