06091nam 22007695 450 99646540760331620200629195935.03-319-46520-110.1007/978-3-319-46520-3(CKB)3710000000889723(DE-He213)978-3-319-46520-3(MiAaPQ)EBC6305214(MiAaPQ)EBC5586849(Au-PeEL)EBL5586849(OCoLC)960643878(PPN)196323045(EXLCZ)99371000000088972320160921d2016 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierAutomated Technology for Verification and Analysis[electronic resource] 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /edited by Cyrille Artho, Axel Legay, Doron Peled1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XI, 530 p. 102 illus.)Programming and Software Engineering ;99383-319-46519-8 Keynote -- Synthesizing and Completely Testing Hardware based on Templates through Small Numbers of Test Patterns -- Markov Models, Chains, and Decision Processes -- Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. -Optimizing the Expected Mean Payoff in Energy Markov Decision Processes -- Parameter Synthesis for Markov Models: Faster Than Ever -- Bounded Model Checking for Probabilistic Programs -- Counter Systems, Automata -- How Hard Is It to Verify Flat Affine Counter Systems with the Finite Monoid Property -- Solving Language Equations using Flanked Automata -- Spot 2.0 - a Framework for LTL and ω-Automata Manipulation -- MoChiBA: Probabilistic LTL Model Checking Using Limit- Deterministic Büchi Automata -- Parallelism, Concurrency -- Synchronous Products of Rewrite Systems -- Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents -- Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs -- Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems -- Complexity, Decidability -- On Finite Domains in First-Order Linear Temporal Logic -- Decidability Results for Multi-Objective Stochastic Games -- A Decision Procedure for Separation Logic in SMT -- Solving Mean-Payoff Games on the GPU -- Synthesis, Refinement -- Synthesizing Skeletons for Reactive Systems -- Observational Refinement and Merge for Disjunctive MTSs -- Equivalence-Based Abstraction Refinement for muHORS Model Checking -- Optimization, Heuristics, Partial-Order Reductions -- Greener Bits: Formal Analysis of Demand Response -- Heuristics for Checking Liveness Properties with Partial Order Reductions. - Partial-Order Reduction for GPU Model Checking -- Efficient Verification of Program Fragments: Eager POR -- Solving Procedures, Model Checking -- Skolem Functions for DQBF -- STL Model Checking of Continuous and Hybrid Systems -- Clause Sharing and Partitioning for Cloud-Based SMT Solving -- Symbolic Model Checking for Factored Probabilistic Models -- Program Analysis -- A Sketching-Based Approach for Debugging Using Test Cases -- Polynomial Invariants by Linear Algebra -- Certified Symbolic Execution -- Tighter Loop Bound Analysis. .This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis. .Programming and Software Engineering ;9938Software engineeringProgramming languages (Electronic computers)Computer logicMathematical logicArtificial intelligenceComputer programmingSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software engineering.Programming languages (Electronic computers).Computer logic.Mathematical logic.Artificial intelligence.Computer programming.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Artificial Intelligence.Programming Techniques.004.015113Artho Cyrilleedthttp://id.loc.gov/vocabulary/relators/edtLegay Axeledthttp://id.loc.gov/vocabulary/relators/edtPeled Doronedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465407603316Automated Technology for Verification and Analysis772478UNISA04618nam 22007935 450 991025482570332120251225205529.03-319-69191-010.1007/978-3-319-69191-6(CKB)4100000000882170(DE-He213)978-3-319-69191-6(MiAaPQ)EBC6303270(MiAaPQ)EBC5592674(Au-PeEL)EBL5592674(OCoLC)1009483895(PPN)220125708(EXLCZ)99410000000088217020171023d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierSoftware Business 8th International Conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, Proceedings /edited by Arto Ojala, Helena Holmström Olsson, Karl Werder1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (X, 211 p. 37 illus.) Lecture Notes in Business Information Processing,1865-1356 ;3043-319-69190-2 Software Startups and Platform Governance -- How Are Product Ideas Validated? The Process from Innovation to Requirement Engineering in Software Startups -- Acquisitions and Growth of Software Startups: The Dual Role of Venture Capital as a Success Factor -- Governing Platforms in the Internet of Things -- Software Business Development -- Pricing of Data Products in Data Marketplaces -- Knitting Company Performance and Board Interlocks: An Exploration with the Finnish Software Industry -- Modeling Strategic Complementarity and Synergistic Value Creation in Coopetitive Relationships -- Business Model Exploration for Software Defined Networks -- Software Ecosystems and App Stores -- How do Software Ecosystems Co-Evolve? A View from OpenStack and Beyond -- Health Measurement of Data-Scarce Software Ecosystems: A Case Study of Apple’s ResearchKit -- Coopetition of Software Firms in Open Source Software Ecosystems -- Mobile Software Security Threats in the Software Ecosystem: A Callto Arms -- Short papers -- Experimentation that Matters: A Multi-Case Study on the Challenges with A/B Testing -- Why Do Users Install and Delete Apps? A Survey Study -- Evolving Software Products, the Design of a Water Resource Modeling Software Ecosystem -- Towards Understanding Startup Product Development as Effectual Entrepreneurial Behaviors -- Should we be Thanking Microsoft, Apple and Google for their Contributions to Open Source Software?.This book constitutes the refereed proceedings of the 8th International Conference on Software Business, ICSOB 2017, held in Essen, Germany, in June 2017. The 11 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 31 submissions. They were organized in topical sections named: software startups and platform governance; software business development; software ecosystems and App stores. .Lecture Notes in Business Information Processing,1865-1356 ;304Computer industrySoftware engineeringManagementElectronic data processingManagementEntrepreneurshipNew business enterprisesSoftware engineeringTechnological innovationsThe Computer IndustrySoftware ManagementIT OperationsEntrepreneurshipSoftware EngineeringInnovation and Technology ManagementComputer industry.Software engineeringManagement.Electronic data processingManagement.Entrepreneurship.New business enterprises.Software engineering.Technological innovations.The Computer Industry.Software Management.IT Operations.Entrepreneurship.Software Engineering.Innovation and Technology Management.004Ojala Artoedthttp://id.loc.gov/vocabulary/relators/edtHolmström Olsson Helenaedthttp://id.loc.gov/vocabulary/relators/edtWerder Karledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910254825703321Software Business2039154UNINA