LEADER 06270nam 22008055 450 001 996466362103316 005 20200704093059.0 010 $a3-540-40891-6 024 7 $a10.1007/3-540-40891-6 035 $a(CKB)1000000000211346 035 $a(SSID)ssj0000322112 035 $a(PQKBManifestationID)11937850 035 $a(PQKBTitleCode)TC0000322112 035 $a(PQKBWorkID)10281233 035 $a(PQKB)11151940 035 $a(DE-He213)978-3-540-40891-8 035 $a(MiAaPQ)EBC3072397 035 $a(PPN)155218085 035 $a(EXLCZ)991000000000211346 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /$fedited by Floor Koornneef, Meine van der Meulen 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 438 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1943 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41186-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Paper -- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems -- Verification and Validation -- Empirical Assessment of Software On-Line Diagnostics Using Fault Injection -- Speeding-Up Fault Injection Campaigns in VHDL Models -- Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs -- Validation of Control System Specifications with Abstract Plant Models -- A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software -- Expert Error: The Case of Trouble-Shooting in Electronics -- The Safety Management of Data-Driven Safety-Related Systems -- Software Support for Incident Reporting Systems in Safety-Critical Applications -- Software Process Improvement -- A Dependability-Explicit Model for the Development of Computing Systems -- Deriving Quantified Safety Requirements in Complex Systems -- Improving Software Development by Using Safe Object Oriented Development : OTCD -- A Safety Licensable PES for SIL 4 Applications -- Safety and Security Issues in Electric Power Industry -- Dependability of Computer Control Systems in Power Plants -- A Method of Analysis of Fault Trees with Time Dependencies -- Formal Methods -- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module -- Formal Methods: The Problem Is Education -- Formal Methods Diffusion: Past Lessons and Future Prospects -- Invited Paper -- Safe Tech: A Control Oriented Viewpoint -- Safety Guidelines, Standards and Certification -- Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems -- IEC 61508 ? A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ?? -- Hardware Aspects -- An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems -- Programmable Electronic System Design & Verification Utilizing DFM -- SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller -- Safety Assessment I -- Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach -- Estimating Dependability of Programmable Systems Using BBNs -- Design for Safety -- Improvements in Process Control Dependability through Internet Security Technology -- A Survey on Safety-Critical Multicast Networking -- Invited Paper -- Causal Reasoning about Aircraft Accidents -- Transport & Infrastructure -- Controlling Requirements Evolution: An Avionics Case Study -- HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems -- Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components -- Safety Assessment II -- Risk Ordering of States in Safecharts -- Dependability Evaluation: Model and Method Based on Activity Theory -- Forensic Software Engineering and the Need for New Approaches to Accident Investigation. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1943 606 $aComputer engineering 606 $aComputers 606 $aData encryption (Computer science) 606 $aSoftware engineering 606 $aSpecial purpose computers 606 $aComputer logic 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aComputing Milieux$3https://scigraph.springernature.com/ontologies/product-market-codes/I24008 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aComputer engineering. 615 0$aComputers. 615 0$aData encryption (Computer science). 615 0$aSoftware engineering. 615 0$aSpecial purpose computers. 615 0$aComputer logic. 615 14$aComputer Engineering. 615 24$aComputing Milieux. 615 24$aCryptology. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogics and Meanings of Programs. 676 $a005.1 702 $aKoornneef$b Floor$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeulen$b Meine van der$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSAFECOMP 2000 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466362103316 996 $aComputer Safety, Reliability, and Security$9772429 997 $aUNISA LEADER 08454nam 22006495 450 001 9910299508903321 005 20251116204112.0 010 $a9783319919683 010 $a3319919687 024 7 $a10.1007/978-3-319-91968-3 035 $a(CKB)4100000007181201 035 $a(MiAaPQ)EBC5609361 035 $a(DE-He213)978-3-319-91968-3 035 $a(EXLCZ)994100000007181201 100 $a20181129d2018 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aInterventions in Career Design and Education $eTransformation for Sustainable Development and Decent Work /$fedited by Valérie Cohen-Scali, Jacques Pouyaud, Marek Podgórny, Violetta Drabik-Podgórna, Gabriela Aisenson, Jean Luc Bernaud, Issa Abdou Moumoula, Jean Guichard 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (333 pages) 225 1 $aLifelong Learning Book Series,$x2730-5325 ;$v23 311 08$a9783319919676 311 08$a3319919679 327 $a1. The UNESCO Life Long Career Counseling Chair project: main purposes and implemented actions. Valérie Cohen-Scali, Jean Guichard, Gabriela Aisenson, Issa Abdou Moumoula, Jacques Pouyaud Violetta Drabik-Podgórna, Marek Podgórny, Jean-Luc Bernaud -- Part I: Theoretical Foundations and perspectives for guiding life and career interventions -- 2. Life design interventions and the issue of work.Jean Guichard -- 3. Homo consultans amidst pop-culture: Towards sustainable development. Alicja Kargulowa -- 4. Combatting Marginalization and Fostering Critical Consciousness for Decent Work. Maureen E. Kenny, David L. Blustein, Ellen Gutowski, Tera Meerkins -- 5. Responsibility as a goal and an Ethical Norm in Counseling for Sustainable Development and Decent Work in the Age of Anthropocene. Violetta Drabik-Podgórna -- 6. A value-centered approach to decent work. Koorosh Massoudi, Marc Abessolo, Kokou Amenyona Atitsogbe, Eloïse Banet, Grégoire Bollmann, Jean-Pierre Dauwalder, Philippe Handschin, Christian Maggiori, Jonas Masdonati, Shékina Rochat, Jérôme Rossier -- Part II: Life and Career Design Interviews and Dialogues based interventions -- 7. Responsibility in life designing and career construction of women with low employment skills. Guðbjörg Vilhjálmsdóttir -- 8. Towards diversified ways to promote decent working trajectories: A life and career design proposal for informal workers. Marcelo Afonso Ribeiro -- 9. Three life and career design interviews methods for counseling young people in situations of migration. Valérie Cohen-Scali, Jean Luc Bernaud, Issa Abdou Moumoula, Jacques Pouyaud- Part III: Life and Career Interventions combining a variety of career counseling instruments -- 10. The challenge of sustainability in the construction and managing of personal project for a decent work and a decent life: psychological contributions . Annamaria Di Fabio -- 11. Using life-design counseling for career construction to facilitate sustainable employability and decent work in a developing country context. Jacobus G. (Kobus) Maree -- 12. Life Design and career counseling: contributions to social justice. Maria Eduarda Duarte and Paulo Cardoso -- Supporting personal knowledge management for sustainable development and decent work. Marek Podgórny -- Part IV: Tracks for implementing targeted innovative Life and Career Design interventions -- 14. Vulnerable Youth in Argentina: Contributions to the achievement of sustainable life paths and decent social insertions. Research and Practices. Gabriela Aisenson, Leandro Legaspi, Viviana Valenzuela -- 15. Gender and Decent Work: The Role of Occupational Stereotypes. Chiara Annovazzi, Maria Cristina Ginevra, Elisabetta Camussi -- 16. Life and Career Design Interventions to help people direct their active lives toward human-sustainable development. The case of young people interested in social and solidarity economy. Valérie Cohen-Scali -- 17. Decent work and social inclusion for people with disability and vulnerability: From the soft skills to the involvement of the context. Sara Santilli, Maria Cristina Ginevra, Laura Nota, Salvatore Soresi -- Part V: Perspectives -- Chapter 18 -- Interventions in Career Design and Education for the Future. Valérie Cohen-Scali -- Chapter 19: Looking forward: Developing a research agenda. Violetta Drabik-Podgórna, Marek Podgórny. 330 $aThis book is the product of a series of reflections by career counseling and guidance specialists on a question central to society: "How can career and life design interventions contribute to fair and sustainable development and to the implementation of decent work all over the world? ". This question was formulated by Professor J. Guichard, the director of the UNESCO Chair in Lifelong Guidance and counseling at the University of Wroclaw, Poland. The researchers involved in this Chair?s activities proposed answers which form the chapters of this book. These reflections emphasize the need to focus on the study and implementation of certain central psychological processes which can enable individuals to face the main challenges of our society. The contributions also propose new avenues of intervention for career counseling and guidance. The entire book is the bedrock of a program of research and interventions to be implemented in order that the field ofcareer counseling and guidance plays a key role for individuals who must design their lives in a rapidly changing, and ever more complex context. This book is therefore a major scientific contribution and marks a turning point for researchers and practitioners in career counseling and guidance, and for all professionals who support the self-construction of individuals in the 21st century. The authors draw on a diverse range of disciplines and research traditions and offer readers a rich array of insights, helping them reflect on how career guidance can be mobilised to serve citizens in a world that is increasingly challenged by complex, seemingly intractable problems. A central, crosscutting concern is the ways in which career guidance can foster well-being by facilitating access to meaningful and fulfilling work in contexts that promote equity, social justice, and dignity for all.? Prof. Ronald G. Sultana, Director, Euro-Mediterranean Centre for Educational Research, University of Malta. "The primary strengths.....are the authors' capacity to provide forward thinking perspectives on the important issue of sustainable lifelong interventions and career design in its broadest sense. The volume offers depth in a way of thinking that is pertinent to the 21st century and provokes both an in interest in the further study of this domain as well as providing tools and references for novice and experienced researchers and professionals." Prof. Maurice Taylor, Faculty of Education, University of Ottawa, Canada . 410 0$aLifelong Learning Book Series,$x2730-5325 ;$v23 606 $aProfessional education 606 $aVocational education 606 $aContinuing education 606 $aCareer education 606 $aProfessional and Vocational Education 606 $aLifelong Learning 606 $aCareer Skills 615 0$aProfessional education. 615 0$aVocational education. 615 0$aContinuing education. 615 0$aCareer education. 615 14$aProfessional and Vocational Education. 615 24$aLifelong Learning. 615 24$aCareer Skills. 676 $a331.702 702 $aCohen-Scali$b Vale?rie$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPouyaud$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPodgo?rny$b Marek$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDrabik-Podgórna$b Violetta$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAisenson$b Gabriela$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBernaud$b Jean-Luc$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoumoula$b Issa Abdou$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGuichard$b Jean$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910299508903321 996 $aInterventions in Career Design and Education$92536108 997 $aUNINA