LEADER 05032nam 2200649 a 450 001 9910458107903321 005 20200520144314.0 010 $a1-281-03832-6 010 $a9786611038328 010 $a0-08-055155-6 035 $a(CKB)1000000000363946 035 $a(EBL)312745 035 $a(OCoLC)469633315 035 $a(SSID)ssj0000073720 035 $a(PQKBManifestationID)11115770 035 $a(PQKBTitleCode)TC0000073720 035 $a(PQKBWorkID)10125880 035 $a(PQKB)11410398 035 $a(MiAaPQ)EBC312745 035 $a(CaSebORM)9780123742100 035 $a(Au-PeEL)EBL312745 035 $a(CaPaEBR)ebr10190234 035 $a(CaONFJC)MIL103832 035 $a(EXLCZ)991000000000363946 100 $a20070509d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAspect-oriented programming with the e verification language$b[electronic resource] $ea pragmatic guide for testbench developers /$fDavid Robinson 205 $a1st edition 210 $aAmsterdam ;$aBoston $cElsevier/Morgan Kaufmann$dc2007 215 $a1 online resource (265 p.) 225 1 $aThe Morgan Kaufmann series in systems on silicon 300 $aDescription based upon print version of record. 311 $a0-12-374210-2 320 $aIncludes bibliographical references (p. [239]-240) and index. 327 $aFront cover; Aspect-Oriented Programming with the e Verification Language; Copyright page; Acknowledgments; Table of Contents; Foreword; Preface; About Verilab; Chapter 1. Introduction to Aspect Oriented Programming (AOP); 1.1. What are aspects? - Part I; 1.2. Why do I need aspects? What's wrong with crosscutting concerns?; 1.3. Surely OOP doesn't have any problems?; 1.4. Why does AOP help?; 1.5. Theory vs real life - What else is AOP good for?; 1.6. What are aspects? - Part II; Chapter 2. AOP in e; 2.1. How do I extend a class? 327 $a2.2. How do I extend a class for multiple values of a determinant?2.3. How do I extend a type?; 2.4. How do I introduce a new noncoverage member to a class?; 2.5. How do I introduce a coverage group to a class?; 2.6. How do I extend a coverage group?; 2.7. How do I change the behavior of a method?; 2.8. How do I limit the scope of my extensions?; 2.9. Using return in method advice; 2.10. Controlling the order of method extension calls; Chapter 3. Using AOP to Organize Your Code; 3.1. A word about style; 3.2. What aspects do I want to use?; 3.3. Mapping aspects to files 327 $aChapter 4. Creating Flexible CodeChapter 5. Creating Pluggable Code; 5.1. The extendable case statement; 5.2. The factory pattern; Chapter 6. Improving Your Productivity; 6.1. Shifting the power; 6.2. Dealing with broken code; 6.3. Handling workarounds; 6.4. Reducing and deferring class complexity; 6.5. Adding problem-specific functionality; 6.6. Reducing the OOP-induced overhead; Chapter 7. AOP in Action; 7.1. Creating a class with a selectable algorithm; 7.2. Creating a configuration interface for an eVC; 7.3. Using aspects to create a layered verification environment 327 $a7.4. Creating reusable layered sequences7.5. Testing your verification environment; 7.6. Debugging using AOP; 7.7. Encapsulating tests; Chapter 8. Analysing e Code; 8.1. The e toolkit; 8.2. Finding class declarations and extensions; 8.3. Finding the class inheritance hierarchy; 8.4. Finding the determinants used by a class; 8.5. Finding method declarations and extensions; 8.6. Finding field declarations; 8.7. Finding event declarations; 8.8. Finding enumerated type declarations and extensions; 8.9. How do I find where a value is added to a type? 327 $a8.10. Finding cover group declarations and extensions8.11. Finding the source of a message in the log file; 8.12. Finding aspects; Bibliography; Epilogue; Index; A; C; D; E; F; H; I; J; M; N; O; P; R; S; U; W 330 $aWhat's this AOP thing anyway, really-when you get right down to it-and can someone please explain what an aspect actually is?Aspect-Oriented Programming with the e Verification Language takes a pragmatic, example based, and fun approach to unraveling the mysteries of AOP. In this book, you'll learn how to: Use AOP to organize your code in a way that makes it easy to deal with the things you really care about in your verification environments. Forget about organizing by classes, and start organizing by functionality, layers, components, protocols, functional coverage, c 410 0$aMorgan Kaufmann series in systems on silicon. 606 $aObject-oriented programming (Computer science) 608 $aElectronic books. 615 0$aObject-oriented programming (Computer science) 676 $a005.1/17 700 $aRobinson$b David$0169253 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910458107903321 996 $aAspect-oriented programming with the e verification language$92020016 997 $aUNINA LEADER 04273nam 22007815 450 001 9910304137903321 005 20250609111955.0 010 $a1-4939-1613-0 024 7 $a10.1007/978-1-4939-1613-9 035 $a(CKB)3710000000402584 035 $a(EBL)2096113 035 $a(SSID)ssj0001500597 035 $a(PQKBManifestationID)11848348 035 $a(PQKBTitleCode)TC0001500597 035 $a(PQKBWorkID)11519882 035 $a(PQKB)10059954 035 $a(DE-He213)978-1-4939-1613-9 035 $a(MiAaPQ)EBC2096113 035 $a(PPN)185488617 035 $a(MiAaPQ)EBC3110056 035 $a(EXLCZ)993710000000402584 100 $a20150425d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aClinical Guide to Helping New Parents $eThe Couple CARE for Parents Program /$fby W. Kim Halford, Jemima Petch, Debra Creedy 205 $a1st ed. 2015. 210 1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d2015. 215 $a1 online resource (180 p.) 225 1 $aSpringer Series on Couples and Health,$x2626-7624 300 $aDescription based upon print version of record. 311 08$a1-4939-1612-2 320 $aIncludes bibliographical references. 327 $aSupporting Couples Becoming Parents in the 21st Century -- Expectations of Parenting -- Couple Communication -- Conflict Management -- Taking Baby Home -- Sharing and Infanct Care -- Caring and Sexuality.- Looking Ahead. 330 $aThis accessible guide details an evidence-based educational program to help couples adapt to parenthood while minimizing the inevitable stress on the relationship. Complete with content, rationales, activities, and client materials, its flexible format allows for home and office visits and phone/online support across the transition, starting during pregnancy and continuing into early infancy. Activities build on themes of caring, change, and cooperation as couples learn to identify and address sources of conflict, solve infant-care problems, and to become optimal partners as well as optimal parents. The book's hands-on presentation includes chapter highlights, boxed "Practice Tips" and "Clinical Connections" sections, client handouts and worksheets, and examples of clinician interactions with couples. The sessions described in Clinical Guide to Helping New Parents: The Couple CARE for Parents Program are organized to meet challenges and reinforce skills in key areas including: Developing realistic and shared expectations. Promoting positive communications and self-change. Conflict management communication skills. Developing sensitive and responsive parenting Reviewing personal and social support. Developing caring and healthy sexuality. Anticipating and preventing relationship deterioration. 410 0$aSpringer Series on Couples and Health,$x2626-7624 606 $aClinical psychology 606 $aSocial service 606 $aPsychotherapy 606 $aFamilies 606 $aFamilies?Social aspects 606 $aClinical Psychology$3https://scigraph.springernature.com/ontologies/product-market-codes/Y12005 606 $aSocial Work$3https://scigraph.springernature.com/ontologies/product-market-codes/X21000 606 $aPsychotherapy$3https://scigraph.springernature.com/ontologies/product-market-codes/H5400X 606 $aFamily$3https://scigraph.springernature.com/ontologies/product-market-codes/X27000 615 0$aClinical psychology. 615 0$aSocial service. 615 0$aPsychotherapy. 615 0$aFamilies. 615 0$aFamilies?Social aspects. 615 14$aClinical Psychology. 615 24$aSocial Work. 615 24$aPsychotherapy. 615 24$aFamily. 676 $a150 676 $a306.85 676 $a361.3 676 $a616.89 676 $a616.8914 700 $aHalford$b W. Kim$4aut$4http://id.loc.gov/vocabulary/relators/aut$0868572 702 $aPetch$b Jemima$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aCreedy$b Debra$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910304137903321 996 $aClinical Guide to Helping New Parents$91938824 997 $aUNINA