LEADER 03321nam 2200649Ia 450 001 9910960542803321 005 20251116145820.0 010 $a9786612084164 010 $a9780309165587 010 $a030916558X 010 $a9781282084162 010 $a128208416X 010 $a9780309546195 010 $a0309546192 035 $a(CKB)1000000000017885 035 $a(EBL)3377336 035 $a(SSID)ssj0000253587 035 $a(PQKBManifestationID)11222407 035 $a(PQKBTitleCode)TC0000253587 035 $a(PQKBWorkID)10206735 035 $a(PQKB)10177577 035 $a(MiAaPQ)EBC3377336 035 $a(Au-PeEL)EBL3377336 035 $a(CaPaEBR)ebr10071361 035 $a(CaONFJC)MIL208416 035 $a(OCoLC)923269882 035 $a(Perlego)4730318 035 $a(BIP)13526001 035 $a(EXLCZ)991000000000017885 100 $a20041026d2004 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aSummary of a workshop on software certification and dependability /$fCommittee on Certifiably Dependable Software Systems 205 $a1st ed. 210 $aWashington, D.C. $cThe National Academies Press$dc2004 215 $a1 online resource (57 p.) 300 $aDescription based upon print version of record. 311 08$a9780309094290 311 08$a0309094291 320 $aIncludes bibliographical references. 327 $a""Front Matter""; ""Contents""; ""1 OVERVIEW OF WORKSHOP DISCUSSIONS""; ""2 SUMMARY OF PANEL SESSIONS AND PRESENTATIONS""; ""3 SUMMARY OF CLOSING SESSION""; ""APPENDIXES""; ""A Workshop Agenda""; ""B Panelist Biographies""; ""C Committee Member and Staff Biographies""; ""WHAT IS CSTB?"" 330 $aCertification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. Today, certification relies as much on evaluation of the software development process as it does on the system (TM)s properties. While the latter are preferable, the complexity of these systems usually makes them extremely difficult to evaluate. To explore these and related issues, the National Coordination Office for Information technology Research and Development asked the NRC to undertake a study to assess the current state of certification in dependable systems. The study is in two phases: the first to frame the problem and the second to assess it. This report presents a summary of a workshop held as part of the first phase. The report presents a summary of workshop participants (TM) presentations and subsequent discussion. It covers, among other things, the strengths and limitations of process; new challenges and opportunities; experience to date; organization context; and cost-effectiveness of software engineering techniques. A consensus report will be issued upon completion of the second phase. 606 $aComputer software$xCertification 606 $aComputer science 615 0$aComputer software$xCertification. 615 0$aComputer science. 676 $a005.7136 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910960542803321 996 $aSummary of a workshop on software certification and dependability$94353389 997 $aUNINA LEADER 03248nam 2200721Ia 450 001 9910964224003321 005 20251116173545.0 010 $a1-134-38132-8 010 $a0-203-34728-5 010 $a1-134-38133-6 010 $a1-280-07424-8 010 $a0-203-49576-4 024 7 $a10.4324/9780203495766 035 $a(CKB)1000000000255546 035 $a(EBL)182580 035 $a(OCoLC)475896571 035 $a(SSID)ssj0000311309 035 $a(PQKBManifestationID)11276336 035 $a(PQKBTitleCode)TC0000311309 035 $a(PQKBWorkID)10328783 035 $a(PQKB)11425595 035 $a(MiAaPQ)EBC182580 035 $a(Au-PeEL)EBL182580 035 $a(CaPaEBR)ebr10099844 035 $a(CaONFJC)MIL7424 035 $a(OCoLC)56340755 035 $a(EXLCZ)991000000000255546 100 $a20030512d2004 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aTheatre and postcolonial desires /$fAwam Amkpa 205 $a1st ed. 210 $aLondon ;$aNew York $cRoutledge$d2004 215 $a1 online resource (221 p.) 225 1 $aRoutledge advances in theatre and performance studies ;$v1 300 $aDescription based upon print version of record. 311 08$a0-415-43544-7 311 08$a0-415-31287-6 320 $aIncludes bibliographical references (p. [188]-199) and index. 327 $aBook Cover; Title; Contents; List of illustrations; Foreword by Ngg wa Thiong'o; Acknowledgments; Introduction: from colonial modernity to postcolonial desires: oppositional theatre in Nigeria and England; Nigeria; Wole Soyinka: theatre, mythology, and political activism; Femi Osofisan: theatre, nation, and the revolutionary ideal; Tess Onwueme: theatre, gender, and power; The Yoruba Traveling Theatres: popular theatre and desires for postcolonial subjectivity; Theatre, democracy, and community development: Ahmadu Bello University and the Nigerian Popular Theatre Alliance; England 327 $aJohn Arden: dramatizing the colonial nationDavid Edgar: the nation's theatre and its anticolonial scribe; Caryl Churchill: decolonizing the nation through gender and class; Monstrosities, deviants, and darkies: Monstrous Regiment, Gay Sweatshop, and black theatre; Conclusion; Notes; Index 330 $aThis book explores the themes of colonial encounters and postcolonial contests over identity, power and culture through the prism of theatre. The author examines the work of prominent Nigerian and British playwrights who came of age after the passing of the British Empire. 410 0$aRoutledge advances in theatre and performance studies ;$v1. 606 $aTheater$zNigeria 606 $aTheater$zEngland 606 $aNigerian drama (English)$xHistory and criticism 615 0$aTheater 615 0$aTheater 615 0$aNigerian drama (English)$xHistory and criticism. 676 $a822.09358 676 $a822/.91409358 686 $a24.11$2bcl 700 $aAmkpa$b Awam$f1959-$01883179 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910964224003321 996 $aTheatre and postcolonial desires$94499050 997 $aUNINA