LEADER 03886nam  22008175  450 
001 996466031303316
005 20200630144707.0
010   $a3-642-24580-3
024 7 $a10.1007/978-3-642-24580-0
035   $a(CKB)3400000000024038
035   $a(SSID)ssj0000610997
035   $a(PQKBManifestationID)11973990
035   $a(PQKBTitleCode)TC0000610997
035   $a(PQKBWorkID)10639900
035   $a(PQKB)10564309
035   $a(DE-He213)978-3-642-24580-0
035   $a(MiAaPQ)EBC3067506
035   $a(PPN)157505650
035   $a(EXLCZ)993400000000024038
100   $a20111101d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTesting Software and Systems$b[electronic resource] $e23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings /$fedited by Burkhart Wolff, Fatiha Zaidi
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 226 p. 75 illus.)
225 1 $aProgramming and Software Engineering ;$v7019
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-24579-X 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing sofware systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures.
410  0$aProgramming and Software Engineering ;$v7019
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical logic
606   $aComputer programming
606   $aComputers
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
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   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
608   $aKongress$zNatal (Rio Grande do Norte)$y2010.
608   $aKongress$zParis$y2011.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aComputer programming.
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Techniques.
615 24$aModels and Principles.
676   $a005.14
686   $aDAT 330f$2stub
686   $aSS 4800$2rvk
702   $aWolff$b Burkhart$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZaidi$b Fatiha$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aICTSS 2011
906   $aBOOK
912   $a996466031303316
996   $aTesting software and systems$92088040
997   $aUNISA