LEADER 03777nam 2200601 450 001 9910821974803321 005 20230126211110.0 010 $a1-4422-4481-X 035 $a(CKB)2670000000588454 035 $a(EBL)1903387 035 $a(SSID)ssj0001403244 035 $a(PQKBManifestationID)12605381 035 $a(PQKBTitleCode)TC0001403244 035 $a(PQKBWorkID)11365414 035 $a(PQKB)10902637 035 $a(MiAaPQ)EBC1903387 035 $a(Au-PeEL)EBL1903387 035 $a(CaPaEBR)ebr11025432 035 $a(CaONFJC)MIL683301 035 $a(OCoLC)898769367 035 $a(EXLCZ)992670000000588454 100 $a20141202h20152015 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aWicked problems, workable solutions /$fDaniel Yankelovich 210 1$aLanham, Maryland :$cRowman & Littlefield,$d[2015] 210 4$dİ2015 215 $a1 online resource (225 p.) 300 $aDescription based upon print version of record. 311 $a1-4422-4480-1 311 $a1-322-52019-4 320 $aIncludes bibliographical references and index. 327 $aTable of Contents; ACKNOWLEDGMENTS; I: Elitism versus Democracy; 1 Introduction: America's Wicked Problems; 2 Retrofitting the Plumbing of Democracy; 3 A Plea for Adaptive Sanity; 4 Four Wrong Turns; 5 Why We Can't Rely on Our Culture; 6 Straight and Crooked Thinking; 7 Caring and Stewardship; 8 Elite Forms of Groupthink; 9 From Martin Heidegger to Lloyd Blankfein; 10 Transitioning to a Thoughtful Public-A Strategy; II: Understanding the Public's "Learning Curve"; 11 An Accidental Profession; 12 Starting My Own Firm; 13 Part Science . . .; 14 Part Circus . . .; 15 Smart People, Dumb Mistakes 327 $a16 New Methods of Conducting Research17 Research Designed for Action; 18 Never Present More than One Idea at a Time; 19 Tracking the Cultural Revolution; 20 A Special Brand of Rebellion; 21 Who's Afraid of the "Generation Gap"?; 22 High-Risk Experiments without a Net; 23 America Tells Itself a New Story; 24 The Yankelovich Monitor; 25 Founding the Public Agenda; 26 The Elitist Double Whammy; 27 Missed Chances to Regain the Public Trust; 28 Coming to Public Judgment; 29 Losing the Battle with the News Media; 30 How My Philosophy for Living Evolved; III: My Philosophy for Living 327 $a31 Dinner with Quine32 How Scientism Nearly Devoured Philosophy; 33 My Wrong Map Problem; 34 A Look at Existentialism; 35 Finding a Better Framework; 36 Applying Philosophy to Psychoanalysis; 37 "Ego and Instinct" in Retrospect; 38 The Mind-set of the Iron Cage: Prying It Open; 39 Don't Fight Human Nature!; 40 Co-evolution; 41 Culture Is Inescapable . . .; 42 Structuring Your Own Philosophy for Living; 43 Some Philosophical Tweets to Live By; Notes; Bibliography; Index; About the Author 330 $aAs a commentator, citizen, and advisor, Daniel Yankelovich has had a long career reporting and analyzing national issues, trends, and opinions. Here, he shares the philosophical foundation of his successful career and revisits some of his breakthrough experiences, drawing insightful conclusions applicable to our current condition.
606 $aPolitical culture$zUnited States 606 $aSocial psychology$zUnited States 607 $aUnited States$xCivilization$y21st century 615 0$aPolitical culture 615 0$aSocial psychology 676 $a973.93 700 $aYankelovich$b Daniel$0526750 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910821974803321 996 $aWicked problems, workable solutions$93953281 997 $aUNINA LEADER 04458nam 22006375 450 001 9910971116403321 005 20250801083229.0 010 $a1-4471-1494-9 024 7 $a10.1007/978-1-4471-1494-9 035 $a(CKB)3400000000088512 035 $a(SSID)ssj0000805248 035 $a(PQKBManifestationID)11498383 035 $a(PQKBTitleCode)TC0000805248 035 $a(PQKBWorkID)10842167 035 $a(PQKB)11706568 035 $a(DE-He213)978-1-4471-1494-9 035 $a(MiAaPQ)EBC3074773 035 $a(EXLCZ)993400000000088512 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 14$aThe B Language and Method $eA Guide to Practical Formal Development /$fby Kevin Lano 205 $a1st ed. 1996. 210 1$aLondon :$cSpringer London :$cImprint: Springer,$d1996. 215 $a1 online resource (VIII, 232 p.) 225 1 $aFormal Approaches to Computing and Information Technology (FACIT) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-76033-4 320 $aIncludes bibliographical references and index. 327 $a1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study ? Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study ? Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for ? -- B.7 Definition of := -- C Proof Techniques. 330 $aB is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. 410 0$aFormal Approaches to Computing and Information Technology (FACIT) 606 $aSoftware engineering 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aCompilers (Computer programs) 615 14$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 676 $a005.1/2/015113 700 $aLano$b Kevin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0746541 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910971116403321 996 $aThe B Language and Method$94430416 997 $aUNINA