02842oam 2200613I 450 991045945980332120200520144314.00-429-07004-71-4398-0332-310.1201/b10094 (CKB)2670000000060526(EBL)624966(OCoLC)692197097(SSID)ssj0000415711(PQKBManifestationID)11296690(PQKBTitleCode)TC0000415711(PQKBWorkID)10411997(PQKB)10964462(MiAaPQ)EBC624966(Au-PeEL)EBL624966(CaPaEBR)ebr10433621(CaONFJC)MIL693194(EXLCZ)99267000000006052620180331d2011 uy 0engur|n|---|||||txtccrDesign and safety assessment of critical systems /Marco Bozzano, Adolfo VillafioritaBoca Raton :Auerbach Publications,2011.1 online resource (288 p.)Description based upon print version of record.1-4665-3235-1 1-322-61912-3 1-4398-0331-5 Includes bibliographical references and index.Front cover; Contents; Preface; Acknowledgments; About the Authors; Chapter 1: Introduction; Chapter 2: Dependability, Reliability,and Safety Assessment; Chapter 3: Techniques for Safety Assessment; Chapter 4: Development ofSafety-Critical Applications; Chapter 5: Formal Methods for Safety Assessment; Chapter 6: Formal Methods for Certification; Appendix A: The NuSMV Model Checker; Appendix B: The FSAP Safety Analysis Platform; Appendix C: Some Regulatory Bodies and Regulations; Back coverSafety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques.An introduction to the area of design and verificaIndustrial safetySystem safetyElectronic books.Industrial safety.System safety.620.8/6Bozzano Marco.979809Villafiorita Adolfo979810MiAaPQMiAaPQMiAaPQBOOK9910459459803321Design and safety assessment of critical systems2234592UNINA02838oam 2200637 c 450 991041335410332120260202090927.03-7815-5752-99783781557529(CKB)4100000008965882(Verlag Julius Klinkhardt)9783781557529(EXLCZ)99410000000896588220260202d2019 uy 0gerurnnunnnannuutxtrdacontentcrdamediacrrdacarrierWie analysieren ExpertInnen und NovizInnen Unterricht?Validierung des Konstrukts Analysekompetenz mittels Qualitativer InhaltsanalyseMatthias Krepf1st ed.Bad HeilbrunnVerlag Julius Klinkhardt20191 online resource (219 p.)klinkhardt forschung3-7815-2312-8 Die vorliegende qualitative Studie „Wie analysieren ExpertInnen und NovizInnen Unterricht?“ untersucht die Analysekompetenz von Lehrpersonen – verstanden als jene Fähigkeit, die Qualität von Unterricht unter dem Aspekt der Lernwirksamkeit angemessen beurteilen zu können. Im Fokus stand dabei die Frage, welche Faktoren die Ausprägung dieser Kompetenz bestimmen. Die notwendigen Daten wurden durch leitfadengestützte Interviews generiert, in denen jeweils neun ExpertInnen und NovizInnen eine videografierte Unterrichtsstunde analysierten. Die inhaltsanalytische Auswertung der auf diese Weise gesammelten Aussagen zeigte, dass die ExpertInnen – im Gegensatz zu den NovizInnen – über umfangreiches pädagogisches sowie fachliches (incl. fachdidaktisches) Wissen verfügten und mit diesem Wissen nicht nur einzelne Situationen, sondern auch den Unterrichtsprozess als komplexes Ganzes erfassen konnten.UnterrichtsqualitätSchulforschungForschungLehrerbildungqualitative ForschungLernwirksamkeitQualitätssicherungSchulpädagogikDidaktikAnalysekompetenzUnterrichtsforschungLehrer*innenbildungUnterrichtsqualitätSchulforschungForschungLehrerbildungqualitative ForschungLernwirksamkeitQualitätssicherungSchulpädagogikDidaktikAnalysekompetenzUnterrichtsforschungLehrer*innenbildungKrepf Matthiasaut1204811Verlag Julius KlinkhardtVerlag Julius KlinkhardtBOOK9910413354103321Wie analysieren ExpertInnen und NovizInnen Unterricht2780562UNINA