02988nam 22006375 450 991097385500332120250813214850.01-4612-0931-510.1007/978-1-4612-0931-7(CKB)3400000000089327(SSID)ssj0000935125(PQKBManifestationID)11522488(PQKBTitleCode)TC0000935125(PQKBWorkID)10952640(PQKB)10367661(DE-He213)978-1-4612-0931-7(MiAaPQ)EBC3073761(EXLCZ)99340000000008932720121227d1992 u| 0engurnn|008mamaatxtccrThe Temporal Logic of Reactive and Concurrent Systems Specification /by Zohar Manna, Amir Pnueli1st ed. 1992.New York, NY :Springer New York :Imprint: Springer,1992.1 online resource (XIV, 427 p.) Bibliographic Level Mode of Issuance: Monograph0-387-97664-7 1-4612-6950-4 Includes bibliographical references and index.I: Models of Concurrency -- 1: Basic Models -- 2: Modeling Real Concurrency -- II: Specifications -- 3: Temporal Logic -- 4: Properties of Programs -- References -- Index to Symbols -- General Index.Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.Computers, Special purposeComputer networksComputer scienceSpecial Purpose and Application-Based SystemsComputer Communication NetworksComputer Science Logic and Foundations of ProgrammingComputers, Special purpose.Computer networks.Computer science.Special Purpose and Application-Based Systems.Computer Communication Networks.Computer Science Logic and Foundations of Programming.004.6Manna Zoharauthttp://id.loc.gov/vocabulary/relators/aut25952Pnueli Amirauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910973855003321Temporal Logic of Reactive and Concurrent Systems337188UNINA03193nam 22006375 450 991095190230332120250616124108.0978981960680110.1007/978-981-96-0680-1(CKB)37313113900041(MiAaPQ)EBC31884819(Au-PeEL)EBL31884819(DE-He213)978-981-96-0680-1(OCoLC)1498711811(EXLCZ)993731311390004120250120d2024 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierDesigning Technology-Mediated Learning Environments Perspectives, Processes, and Applications /by Qiyun Wang1st ed. 2024.Singapore :Springer Nature Singapore :Imprint: Springer,2024.1 online resource (190 pages)9789819606795 Part I Foundations -- 1 Technology and Technology-Mediated Learning Environment -- 2 The PST Framework -- Part II Perspectives -- 3 Pedagogical Design -- 4 Social Design -- 5 Technical Design -- 6 Context -- Part III Processes -- 7 Educational Design Research -- 8 Quality Criteria -- 9 Developmental Tools -- Part IV Applications -- 10 Designing a Blended Synchronous Learning Environment: Using PST as a Design Tool -- 11 Analysing the Affordances of Zoom (tentatively): Using PST as an Analytical Tool -- 12 Future Developments.This book helps teacher designers better understand the roles of technology in education, the key design perspectives of a technology-mediated learning environment (TMLE), the design considerations for each perspective, and the design processes of a TMLE. This book presents a generic conceptual framework, called Pedagogical, Social and Technical design (PST), to illustrate the main design perspectives of the TMLE and their relationship. It also describes a pragmatic design approach, the educational design research approach, for teacher designers to easily follow when they are designing TMLEs. This book also demonstrates two application examples using the PST framework as a design tool to design a blended synchronous learning environment and as an analytical tool to evaluate the educational affordances of an information and communication technology tool.EducationStudy skillsTeachingEducationStudy and Learning SkillsPedagogyEducacióthubEnsenyamentthubMètodes d'estudithubLlibres electrònicsthubEducation.Study skills.Teaching.Education.Study and Learning Skills.Pedagogy.Educació.Ensenyament.Mètodes d'estudi370Wang Qiyun1790972MiAaPQMiAaPQMiAaPQBOOK9910951902303321Designing Technology-Mediated Learning Environments4327821UNINA