LEADER 05381oam 2200649I 450 001 9910461999103321 005 20210423182328.0 010 $a0-429-25166-1 010 $a1-4398-7706-8 024 7 $a10.1201/b12946 035 $a(CKB)2670000000277673 035 $a(StDuBDS)AH24367177 035 $a(SSID)ssj0000756322 035 $a(PQKBManifestationID)11496712 035 $a(PQKBTitleCode)TC0000756322 035 $a(PQKBWorkID)10751344 035 $a(PQKB)11249486 035 $a(MiAaPQ)EBC1044862 035 $a(MiAaPQ)EBC5655125 035 $a(Au-PeEL)EBL1044862 035 $a(CaPaEBR)ebr10611389 035 $a(CaONFJC)MIL530516 035 $a(OCoLC)899155047 035 $a(OCoLC)812917831 035 $a(EXLCZ)992670000000277673 100 $a20180331d2013 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe mastery of innovation $ea field guide to lean product development /$fKatherine Radeka 210 1$aBoca Raton, Fla. :$cCRC Press,$d2013. 215 $a1 online resource (xix, 245 p. )$cill 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-4398-7702-5 320 $aIncludes bibliographical references. 327 $aForeword to be determined -- Acknowledgements -- Introduction -- Lean product development : the mastery of innovation -- What is the mastery of innovation? -- Value and waste in product development -- The lean product development benchmarking study -- The pioneers of lean product development -- DJO global : the fundamentals of lean product development -- Scania technical centre : a pioneering lean product champion -- Ford Motor Company : how to revitalize an American icon -- Lean product development to make the right products -- Buckeye technologies : lean tools for strategic alignment -- Steelcase : go-and-see new customers to open new markets -- Philips : comprehensive lean scheduling -- Lean product development to make products better, faster, cheaper -- Novo Nordisk : metrics to drive change -- Visteon : knowledge at the engineer's fingertips -- A-Dec : project chiefs to speed decision-making -- Lean product development transformation -- Nielsen Kellerman : just start somewhere -- Vaisala : from pilot projects to global transformation -- Playworld systems : how to cut time to market in half, twice -- The path of innovation mastery -- Innovation mastery : how to begin with lean product development -- Epilogue just start somewhere, just do something -- Appendix 1: The mastery of innovation self-assessment -- Appendix 2: Guide for book study groups -- Appendix 3: List of participating companies -- Appendix 4: Suggested reading list -- Index. 330 8 $aThis text compiles the experiences of over 150 companies that have embraced the theories of Lean product development. It provides an integrated view of Lean as it is practiced inside successful companies today.$bWhat do Ford Motor Company, Steelcase, Scania, Goodyear, Novo Nordisk, and Philips Electronics have in common? They all need to get their best ideas to market as fast as possible. They need to achieve the mastery of innovation. When these companies needed to accelerate time-to-market, get more new products to customers, and improve their ROI from investments in R&D, they turned to Lean Product Development to help them master the process of innovation. By adapting Lean ideas to their specific product development challenges, they learned how to focus innovation on the problems that would maximize customer and business value, and deliver on their best ideas. Winner of a Shingo Research and Professional Publication Award! The Mastery of Innovation: A Field Guide to Lean Product Development describes the experiences of 19 companies that have achieved significant results from Lean Product Development. Their stories show that Lean Product Development delivers results: Ford Motor Company completely reinvented its Global Product Development System and put decades of knowledge about automotive design at its engineers' fingertips DJO Global, a medical device company, more than tripled the number of products they released to the market and cut development time by 60% Playworld Systems cut time-to-market in half-twice The diverse set of North American and European case studies in this book range from very small product development organizations (three engineers) to very large (more than 10,000). Some of the industries represented include automotive, medical devices, industrial products, consumer electronics, pharmaceuticals, scientific instruments, and aerospace. These companies have generously shared their knowledge about Lean Product Development to help you get your best ideas to market faster. 606 $aProduction planning 606 $aNew products$xManagement 606 $aLean manufacturing 606 $aIndustrial efficiency 608 $aElectronic books. 615 0$aProduction planning. 615 0$aNew products$xManagement. 615 0$aLean manufacturing. 615 0$aIndustrial efficiency. 676 $a658.5/038 700 $aRadeka$b Katherine.$0966285 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910461999103321 996 $aThe mastery of innovation$92193003 997 $aUNINA LEADER 04437nam 22007575 450 001 9910799207203321 005 20240701122030.0 010 $a9783031505249 010 $a3031505247 024 7 $a10.1007/978-3-031-50524-9 035 $a(MiAaPQ)EBC31051283 035 $a(Au-PeEL)EBL31051283 035 $a(DE-He213)978-3-031-50524-9 035 $a(CKB)29510229900041 035 $a(OCoLC)1416699884 035 $a(EXLCZ)9929510229900041 100 $a20231229d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aVerification, Model Checking, and Abstract Interpretation $e25th International Conference, VMCAI 2024, London, United Kingdom, January 15?16, 2024, Proceedings, Part I /$fedited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (361 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14499 311 08$aPrint version: Dimitrova, Rayna Verification, Model Checking, and Abstract Interpretation Cham : Springer International Publishing AG,c2024 9783031505232 327 $aAbstract Interpretation -- Formal Runtime Error Detection During Development in the Automotive Industry -- Abstract Interpretation-Based Feature Importance for Support Vector Machines -- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation -- Correctness Witness Validation by Abstract Interpretation -- Infinite-State Systems -- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability -- Parameterized Verification of Disjunctive Timed Networks -- Resilience and Home-Space for WSTS -- Model Checking and Synthesis -- Generic Model Checking for Modal Fixpoint Logics in COOL-MC -- Model-Guided Synthesis for LTL over Finite Traces -- Solving Two-Player Games under Progress Assumptions -- AT, SMT, and Automated Reasoning Interpolation and Quantifiers in Ortholattices -- Function Synthesis for Maximizing Model Counting -- Boosting Constrained Horn Solving by Unsat Core Learning -- On the Verification of a Subgraph Construction Algorithm -- Efficient Local Search for Nonlinear Real Arithmetic. 330 $aThe two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14499 606 $aComputer science 606 $aComputer science$xMathematics 606 $aLogic programming 606 $aComputers, Special purpose 606 $aSoftware engineering 606 $aMicroprogramming 606 $aTheory of Computation 606 $aMathematics of Computing 606 $aLogic in AI 606 $aSpecial Purpose and Application-Based Systems 606 $aSoftware Engineering 606 $aControl Structures and Microprogramming 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aLogic programming. 615 0$aComputers, Special purpose. 615 0$aSoftware engineering. 615 0$aMicroprogramming. 615 14$aTheory of Computation. 615 24$aMathematics of Computing. 615 24$aLogic in AI. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 615 24$aControl Structures and Microprogramming. 676 $a004.0151 700 $aDimitrova$b Rayna$01586264 701 $aLahav$b Ori$01586265 701 $aWolff$b Sebastian$01586266 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910799207203321 996 $aVerification, Model Checking, and Abstract Interpretation$93872614 997 $aUNINA