LEADER 03975nam 22006615 450 001 996466058303316 005 20200629215047.0 010 $a3-540-48067-6 024 7 $a10.1007/3-540-57335-6 035 $a(CKB)1000000000234039 035 $a(DE-He213)978-3-540-48067-9 035 $a(PPN)155205560 035 $a(EXLCZ)991000000000234039 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe Generic Development Language Deva$b[electronic resource] $ePresentation and Case Studies /$fby Matthias Weber, Martin Simons, Christine Lafontaine 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (XIII, 251 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v738 311 $a3-540-57335-6 327 $aInformal introduction to Deva -- Stepwise definition of Deva -- Formalization of basic theories -- Case study on VDM-style developments -- Case study on algorithm calculation -- Conclusion. 330 $aThis book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v738 606 $aProgramming languages (Electronic computers) 606 $aComputers 606 $aComputer logic 606 $aMathematical logic 606 $aComputer programming 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aProgramming languages (Electronic computers). 615 0$aComputers. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aComputer programming. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Foundations. 676 $a005.13 700 $aWeber$b Matthias$4aut$4http://id.loc.gov/vocabulary/relators/aut$028136 702 $aSimons$b Martin$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aLafontaine$b Christine$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a996466058303316 996 $aThe Generic Development Language Deva$92831236 997 $aUNISA LEADER 03493nam 22006612 450 001 9910782901503321 005 20230417221605.0 010 $a1-107-11197-8 010 $a1-280-15178-1 010 $a9786610151783 010 $a0-511-11608-X 010 $a0-511-03940-9 010 $a0-511-15707-X 010 $a0-511-30435-8 010 $a0-511-54553-3 010 $a0-511-05267-7 035 $a(CKB)1000000000008312 035 $a(EBL)258475 035 $a(OCoLC)559329903 035 $a(SSID)ssj0000266924 035 $a(PQKBManifestationID)11213437 035 $a(PQKBTitleCode)TC0000266924 035 $a(PQKBWorkID)10305946 035 $a(PQKB)11423625 035 $a(UkCbUP)CR9780511545535 035 $a(MiAaPQ)EBC258475 035 $a(Au-PeEL)EBL258475 035 $a(CaPaEBR)ebr10062265 035 $a(CaONFJC)MIL15178 035 $a(OCoLC)935232241 035 $a(PPN)261318624 035 $a(EXLCZ)991000000000008312 100 $a20090507d2002|||| uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe vegetative state $emedical facts, ethical and legal dilemmas /$fBryan Jennett 210 1$aCambridge :$cCambridge University Press,$d2002. 215 $a1 online resource (xiv, 228 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 0 $a0-521-44158-7 320 $aIncludes bibliographical references and index. 327 $aCover; Half-title; Title; Copyright; Contents; Foreword; Preface; Acknowledgements; An appeal to doctors; Traumatic decortication; Abbreviations; 1 A syndrome in search of a name; 2 Diagnosis; 3 Epidemiology; 4 Pathology of the brain damage; 5 Prognosis for recovery and survival; 6 Attitudes to the permanent vegetative state; 7 Medical management; 8 Ethical issues; 9 Legal issues in the United States; 10 Legal issues in Britain; 11 Legal issues in other countries; 12 Details of some landmark legal cases; Epilogue; Index 330 $aThe strange and harrowing sight of a person being awake but unaware with no evidence of a working mind - the characteristics of the vegetative state - provokes intense debate and raises profound questions for health professionals, ethicists, philosophers and lawyers. This unique account by an unrivalled expert in the field, who himself collaborated in coining the term 'persistent vegetative state', surveys the medical, ethical and legal issues that surround this controversial topic. The medical definition and criteria for diagnosis are discussed, as are its frequency and causes, and possible outcomes. Ethical arguments discussed include the conflict between sanctity of life and respect for the autonomy and best interests of the victim, and between killing and letting die. Legal issues are explored with details of landmark court cases from the USA, Britain and elsewhere. This well-informed and carefully constructed account will be a benchmark for medical specialists, ethicists, lawyers and philosophers. 606 $aPersistent vegetative state 606 $aBioethics 615 0$aPersistent vegetative state. 615 0$aBioethics. 676 $a616.8/49 700 $aJennett$b Bryan$01531620 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910782901503321 996 $aThe vegetative state$93777467 997 $aUNINA