LEADER 05439nam 22007815 450 001 996465889103316 005 20220201222517.0 010 $a3-642-05031-X 024 7 $a10.1007/978-3-642-05031-2 035 $a(CKB)1000000000812742 035 $a(SSID)ssj0000355636 035 $a(PQKBManifestationID)11267524 035 $a(PQKBTitleCode)TC0000355636 035 $a(PQKBWorkID)10340568 035 $a(PQKB)11640095 035 $a(DE-He213)978-3-642-05031-2 035 $a(MiAaPQ)EBC3064762 035 $a(PPN)139962336 035 $a(EXLCZ)991000000000812742 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting of Software and Communication Systems$b[electronic resource] $e21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings /$fedited by Manuel Nunez, Paul Baker, Mercedes G. Merayo 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XII, 247 p.) 225 1 $aComputer Communication Networks and Telecommunications ;$v5826 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-05030-1 320 $aIncludes bibliographical references and index. 327 $aRegular Papers -- Testing Real-Time Systems Using TINA -- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems -- Testing k-Safe Petri Nets -- Implementing MSC Tests with Quiescence Observation -- Testing Timed Finite State Machines with Guaranteed Fault Coverage -- Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs -- Interaction Coverage Meets Path Coverage by SMT Constraint Solving -- Automatic Testing of Access Control for Security Properties -- Generating Reduced Tests for FSMs with Extra States -- An Approach for Test Selection for EFSMs Using a Theorem Prover -- TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks -- Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models -- Analyzing Response Inconsistencies in Test Suites -- Short Papers -- Model-Based Testing of Web Applications Using NModel -- Observability and Controllability Issues in Conformance Testing of Web Service Compositions -- Towards Automatic Generation of a Coherent TTCN-3 Template Framework -- OConGraX ? Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems -- Debugging into Examples -- Structural Analysis of Large TTCN-3 Projects. 330 $aThis book constitutes the refereed proceedings of the 21st IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. 410 0$aComputer Communication Networks and Telecommunications ;$v5826 606 $aSoftware engineering 606 $aComputer simulation 606 $aComputer programming 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 14$aSoftware Engineering. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aSimulation and Modeling. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a621.382028/7 702 $aNunez$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBaker$b Paul$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMerayo$b Mercedes G$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aInternational Federation for Information Processing.$bTechnical Committee 6. 712 12$aFATES 2009$f(2009 :$eEindhoven, Netherlands) 906 $aBOOK 912 $a996465889103316 996 $aTesting of Software and Communication Systems$9773764 997 $aUNISA LEADER 02031nam 2200577 450 001 9910778891703321 005 20230421034145.0 010 $a1-283-00871-8 010 $a9786613008718 010 $a0-585-04147-4 035 $a(CKB)111004366540076 035 $a(EBL)991205 035 $a(OCoLC)831121111 035 $a(SSID)ssj0000275454 035 $a(PQKBManifestationID)12063207 035 $a(PQKBTitleCode)TC0000275454 035 $a(PQKBWorkID)10222830 035 $a(PQKB)10751056 035 $a(MiAaPQ)EBC991205 035 $a(Au-PeEL)EBL991205 035 $a(CaONFJC)MIL300871 035 $a(EXLCZ)99111004366540076 100 $a20181228d1996 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aWritings on psychoanalysis $eFreud and Lacan /$fLouis Althusser ; edited by Olivier Corpet and Franc?ois Matheron ; translated and with a preface by Jeffrey Mehlman 210 1$aNew York :$cColumbia University Press,$d1996. 215 $a1 online resource (207 p.) 225 1 $aEuropean Perspectives 300 $aDescription based upon print version of record. 311 $a0-231-10169-4 327 $aContents; Translator's Preface; Introduction; 1; 2; 3; 4; 5; Notes; Index 330 $aWith several never-before published writings, this volume gathers Althusser's major essays on psychoanalytic thought----documenting his intense and ambivalent relationship with Lacan, and dramatizing his intellectual journey and troubled personal life. 410 0$aEuropean perspectives. 606 $aPsychoanalysis 615 0$aPsychoanalysis. 676 $a616.8917 700 $aAlthusser$b Louis$f1918-1990,$044304 702 $aCorpet$b Olivier 702 $aMatheron$b Franc?ois 702 $aMehlman$b Jeffrey 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910778891703321 996 $aWritings on psychoanalysis$93775084 997 $aUNINA