04475nam 22007815 450 99646572240331620200704204336.03-319-56841-810.1007/978-3-319-56841-6(CKB)3850000000027391(DE-He213)978-3-319-56841-6(MiAaPQ)EBC6312539(MiAaPQ)EBC5595044(Au-PeEL)EBL5595044(OCoLC)983835113(PPN)200512501(EXLCZ)99385000000002739120170405d2017 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierEngineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XV, 259 p. 64 illus.)Programming and Software Engineering ;102153-319-56840-X Includes bibliographical references and index.Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest.This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.Programming and Software Engineering ;10215Software engineeringComputer programmingProgramming languages (Electronic computers)ComputersComputer logicComputer system failuresSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037The Computing Professionhttps://scigraph.springernature.com/ontologies/product-market-codes/I24075Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSystem Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Software engineering.Computer programming.Programming languages (Electronic computers).Computers.Computer logic.Computer system failures.Software Engineering.Programming Techniques.Programming Languages, Compilers, Interpreters.The Computing Profession.Logics and Meanings of Programs.System Performance and Evaluation.005.1Bowen Jonathan Pedthttp://id.loc.gov/vocabulary/relators/edtLiu Zhimingedthttp://id.loc.gov/vocabulary/relators/edtZhang Ziliedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465722403316Engineering Trustworthy Software Systems1889268UNISA03862nam 22006255 450 991029934880332120251116204428.03-319-68213-X10.1007/978-3-319-68213-6(CKB)4100000005323273(DE-He213)978-3-319-68213-6(MiAaPQ)EBC5471948(PPN)229503020(EXLCZ)99410000000532327320180720d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierFunology 2 From Usability to Enjoyment /edited by Mark Blythe, Andrew Monk2nd ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XVIII, 561 p. 152 illus., 105 illus. in color.)Human–Computer Interaction Series,1571-50353-319-68212-1 Introduction -- Playing with Provocations -- Sketching the Polyphonic Design Space of Theme Parks -- What is Pleasure? -- Games Are Just a Bit of Fun -- Designing for Joyful Movement -- Reorienting Geolocation Data through Mischievous Design -- Improv for Designers -- The Thing and I (Spring of '17 Remix) -- From Evaluation to Crits and Conversation -- The Un(Enjoyable) Experience of Online Dating -- Playful Research Fiction: A Fictional Conference -- Slow, Unaware Things Beyond Interaction. .How should we understand and design for fun as a User Experience? This new edition of a classic book is for students, designers and researchers who want to deepen their understanding of fun in the context of HCI. The 2003 edition was the first book to do this and has been influential in broadening the field. It is the most downloaded book in the Springer HCI Series. This edition adds 14 new chapters that go well beyond the topics considered in 2003. New chapter topics include: online dating, interactive rides, wellbeing, somaesthetics, design fiction, critical design and participatory design methods. The first edition chapters are also reprinted, with new notes by their authors setting the context in which the 2003 chapter was written and explaining the developments since then. Taken with the new chapters this adds up to a total of 35 theoretical and practical chapters written by the most influential thinkers from academia and industry in this field.Human–Computer Interaction Series,1571-5035User interfaces (Computer systems)Graphic designEducational psychologyEducation—PsychologyTechnologyUser Interfaces and Human Computer Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/I18067Interaction Designhttps://scigraph.springernature.com/ontologies/product-market-codes/K19030Educational Psychologyhttps://scigraph.springernature.com/ontologies/product-market-codes/O39000Applied Science, multidisciplinaryhttps://scigraph.springernature.com/ontologies/product-market-codes/A13000User interfaces (Computer systems)Graphic design.Educational psychology.Education—Psychology.Technology.User Interfaces and Human Computer Interaction.Interaction Design.Educational Psychology.Applied Science, multidisciplinary.005.4374.019Blythe Markedthttp://id.loc.gov/vocabulary/relators/edtMonk Andrewedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910299348803321Funology 22077950UNINA