| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910821270203321 |
|
|
Titolo |
Clinician's guide to self-renewal : essential advice from the field / / edited by Robert J. Wicks and Elizabeth A. Maynard |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, New Jersey : , : John Wiley & Sons, , 2014 |
|
2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-118-84106-9 |
1-118-84103-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (530 p.) |
|
|
|
|
|
|
Collana |
|
New York Academy of Sciences |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Psychotherapists - Health and hygiene |
Psychiatrists - Mental health |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Includes bibliographical references and indexes |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Machine generated contents note: Part 1 Self-Renewal and the Clinician Chapter 1 Growth, Love, and Work in Psychotherapy: Sources Of Therapeutic Talent And Clinician Self-Renewal Helene Nissen-Lie and David E. Orlinsky Chapter 2 Renewing One's Self-Care Sensibilities: Distress, Burnout, Vicarious Traumatization, and Self-Renewal Jeffrey E. Barnett Chapter 3 Self-Care For Clinicians In the Disaster Context Rick Williamson and Patricia A. Engert Chapter 4 Clinical Supervision and Self-Renewal Craig S. Cashwell and Jodi L. Bartley Part 2 Alonetime, Mindfulness, The Sabbath, Natural Empathy: Loving Kindness, Zen Therapy And Self-Renewal Chapter 5 Valuing and Accessing Alonetime: Silence, Solitude, and Reflection in the Life of the Clinician Robert Wicks Chapter 6 Keeping the Sabbath: Privileging Being Beyond Doing Jill L. Snodgrass Chapter 7 Self-Renewal Through Natural Empathy: Caring for Ourselves and Others Cheryl Giles Chapter 8 Mind and Heart: Mindfulness and Loving-Kindness Meditation for Therapists Kathleen Gregory, Geoffrey Newbegin, and Margot J. Schofield Chapter 9 Zen Therapy David Brazier Part 3 Trauma, Growth, Healing, Patience, Forgiveness, Courage And The Process Of Renewal Chapter 10 |
|
|
|
|
|
|
|
|
|
|
|
Blooming in The Night: Themes of Self-Renewal in Posttraumatic Growth Mary Beth Werdel Chapter 11 Tell the Story: Intergenerational Trauma and Healing Suzanne Mayer Chapter 12 Patience Sarah A. Schnitker, Amber E. Blews, and Jessica A. Foss Chapter 13 Forgiveness and Self-Renewal Matthew J. Hirshberg and Robert D. Enright Chapter 14 Psychological and Spiritual Aspects of Courage for Self-Renewal Cynthia L. S. Pury and Kaye N. Glennon Part 4 Theoretical Approaches to Self-Renewal: Group, Marital and Family System, Dialectical Behavioral and the Ways Paradigm Chapter 15 The Group as a Medium for Personal and Professonal Renewal Virginia Brabender and Courtney Slater Chapter 16 Renewal in Marital and Family Systems Paul Giblin Chapter 17 A Dialectical Behavior Therapy Approach to Self-Renewal Maria Mouratidis Chapter 18 Self-Renewal and the Ways Paradigm Sharon E. Cheston Part 5 Spirituality and Self-Renewal Chapter 19 Spiritual Coping Resources for the Self-Renewal of Clients and Therapists Melissa D. Falb and Kenneth I. Pargament Chapter 20 Religion and Spiritualty: A Source of Renewal for Families Gina M. Brelsford and Jaelyn R. Farris Part 6 Topics in Self-Renewal Chapter 21 Self-Renewal with African Americans in Psychotherapy Deborah G. Haskins Chapter 22 Clergy Self-Renewal Themes in Clinical Practice Thomas E. Rodgerson Chapter 23 Self-Renewal among Gay and Lesbian Adults Elizabeth A. Maynard and Katie E. Katuzny Chapter 24 Renewing One's Ethical Sensibilities Jeffrey E. Barnett Chapter 25 Sexual Attraction and Self-Renewal in Psychotherapy Stephen W. Simpson and Jonathan D. Reeves Going Forward: A Brief Epilogue Robert J. Wicks and Elizabeth A. Maynard . |
|
|
|
|
|
|
Sommario/riassunto |
|
"Providing clinicians with advice consistent with the current emphasis on working from strengths to promote renewal, this guide presents a holistic approach to psychological wellness. Time-tested advice is featured from experts such as Mihaly Csikszentmihalyi, Judith Beck, PhD, David Myers, and John Norcross. With strategies to renew the mind, body, spirit, and community, this book equips clinicians with guidance and inspiration for the renewal of body, mind, community, and spirit in their clients and themselves"-- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910148969103321 |
|
|
Titolo |
形式手法入門 : ロジックによるソフトウェア設計 / / 中島震著 |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
東京, : オーム社, 2012.4 |
|
東京 : , : オーム社, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
電子資料の出版情報: KinoDen, 2018 |
電子資料の出版情報: ProQuest, 2018 |
参考文献: p[203]-210 |
索引: p[211]-216 |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
表紙 -- まえがき -- 目次 -- 1章 論理で考える -- 1.1 形式手法の概要 -- 1.1.1 高信頼化の総合技術 -- 1.1.2 複雑さと抽象化 -- 1.1.3 工学的な道具 -- 1.2 発展の経緯 -- 1.2.1 形式手法の変遷 -- 1.2.2 設計法と形式手法 -- 1.2.3 形式仕様言語の分類 -- 2章 指先で考える -- 2.1 Alloy入門 -- 2.1.1 Alloyの面白さ -- 2.1.2 Compositeパターン -- 2.1.3 抽象データの表現と解析 -- 2.1.4 機能仕様の表現と解析 -- 2.2 Alloyの基礎 -- 2.2.1 関係論理の考え方 -- 2.2.2 解析の方法 -- 2.2.3 有界モデル発見の限界 -- 2.3 Alloyとその周り -- 2.3.1 Alloyの歴史 -- 2.3.2 SATとSMT -- 3章 機能仕様を論理で考える -- 3.1 手続きとデータ構造 -- 3.1.1 状態ベースの仕様 -- 3.1.2 例題による形式手法の比較 -- 3.1.3 形式手法の比較 -- 3.1.4 2つの解釈 -- 3.2 正しさの基準 -- 3.2.1 正しさのいろいろ -- 3.2.2 型と型検査 -- 3.2.3 状態ベース仕様の証明条件 -- 4章 リファインメントを検査する -- 4.1 リファインメントとは -- 4.1.1 要求仕様とリファインメント -- 4.1.2 段階的な詳細化 -- 4.1.3 段階的な機能追加 -- 4.2 リファインメントの基礎 -- 4.2.1 2つの抽象レベル -- 4.2.2 模倣関係 -- 4.3 リファインメント検査 -- 4.3.1 リファインメントの証明条件 -- 4.3.2 Alloyとリファインメント -- 5章 オブジェクト指向デザインを検査する -- 5.1 クラス図とOCL -- 5.1.1 オブジェクト指向ソフトウェア開発とUML -- 5.1.2 静的な情報構造 -- 5.1.3 メソッドの機能振る舞い -- 5.2 モデリング言語OCL -- 5.2.1 OCLの変遷 -- 5.2.2 OCLの特徴 -- 5.2.3 3値論理 -- 5.3 オブジェクト |
|
|
|
|
|
|
|
|
|
|
指向概念と形式手法 -- 5.3.1 オブジェクト指向形式仕様言語 -- 5.3.2 オブジェクト指向デザインの形式化 -- 6章 振る舞い仕様を検査する -- 6.1 状態遷移システム -- 6.1.1 状態遷移マシン -- 6.1.2 述語論理による解釈 -- 6.1.3 UMLステート図 -- 6.2 時相的な振る舞いの自動解析 -- 6.2.1 時相論理 -- 6.2.2 有界モデル検査 -- 6.2.3 LTLの有界モデル検査 -- 6.2.4 ロジック・モデル検査 -- 6.2.5 イベント駆動スタイル -- 7章 プログラム検査を論理で考える -- 7.1 プログラムの意味 -- 7.1.1 Floyd/Hoareの方法 -- 7.1.2 プログラムの振る舞い解析の例 -- 7.1.3 VDMへの影響 -- 7.2 プログラムの検証 -- 7.2.1 ソフトウェア・モデル検査 -- 7.2.2 コントラクト -- 7.3 テストケースの自動生成 -- 7.3.1 ソフトウェアのテスト技術 -- 7.3.2 仕様に基づくテストケース自動生成 -- 7.3.3 モデル検査の利用 -- 付録 モデル規範形式手法の流れ -- A.1 概要 -- A.2 VDM -- A.3 Z記法とBメソッド -- A.4 集合ベースの方法 -- 索引 -- 奥付. |
|
|
|
|
|
| |