LEADER 01333nam a2200301 i 4500 001 991000915739707536 005 20020507175804.0 008 960925s1970 de ||| | eng 035 $ab10775262-39ule_inst 035 $aLE01304264$9ExL 040 $aDip.to Matematica$beng 082 0 $a517.7 084 $aAMS 46-06 084 $aAMS 46-XX 100 1 $aBrowder, Felix E.$031282 245 10$aFunctional analysis and related fields :$bproceedings of a conference in honor of Professor Marshall Stone, held at the University of Chicago, May 1968 /$cedited by Felix E. Browder 260 $aBerlin :$bSpringer-Verlag,$c1970 300 $a241 p. :$bport. ;$c24 cm. 500 $aConference held at the Center for Continuing Education, University of Chicago, May 20-24, 1968; sponsored by the Air Force Office of Scientific Research under the Grant AFOSR 68-1497. 500 $aIncludes bibliographies 650 4$aFunctional analysis$xCongresses 700 1 $aStone, Marshall Harvey 907 $a.b10775262$b21-09-06$c28-06-02 912 $a991000915739707536 945 $aLE013 46-XX BRO21 (1970)$g1$i2013000060866$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10874100$z28-06-02 996 $aFunctional analysis and related fields$9922887 997 $aUNISALENTO 998 $ale013$b01-01-96$cm$da $e-$feng$gde $h0$i1 LEADER 05217nam 22008895 450 001 9910483895003321 005 20251226204000.0 010 $a3-540-73066-4 024 7 $a10.1007/978-3-540-73066-8 035 $a(CKB)1000000000491022 035 $a(SSID)ssj0000320340 035 $a(PQKBManifestationID)11235214 035 $a(PQKBTitleCode)TC0000320340 035 $a(PQKBWorkID)10347993 035 $a(PQKB)11557175 035 $a(DE-He213)978-3-540-73066-8 035 $a(MiAaPQ)EBC3063228 035 $a(MiAaPQ)EBC6694525 035 $a(Au-PeEL)EBL6694525 035 $a(PPN)123162947 035 $a(BIP)34164876 035 $a(BIP)14225876 035 $a(EXLCZ)991000000000491022 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting of Software and Communicating Systems $e19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings /$fedited by Margus Veanes, Jan Tretmans, Wolfgang Grieskamp 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XII, 379 p.) 225 1 $aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v4581 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-73065-6 320 $aIncludes bibliographical references and index. 327 $aImplementing Conformiq Qtronic -- New Approach for EFSM-Based Passive Testing of Web Services -- Automation of Avionic Systems Testing -- Automatic Test Generation from Interprocedural Specifications -- A New Method for Interoperability Test Generation -- Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware -- Symbolic Model Based Testing for Component Oriented Systems -- A Compositional Testing Framework Driven by Partial Specifications -- Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols -- Testing and Model-Checking Techniques for Diagnosis -- Model-Based Testing of Service Infrastructure Components -- Testing Input/Output Partial Order Automata -- A Framework for Testing AIS Implementations -- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones -- Model Based Testing of an Embedded Session and Transport Protocol -- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites -- A Bounded Incremental Test Generation Algorithm for Finite State Machines -- Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control -- Towards Systematic Signature Testing -- TPLan-A Notation for Expressing Test Purposes -- Testing Nondeterministic Finite State Machines with Respect to the Separability Relation -- Learning and Integration of Parameterized Components Through Testing -- An EFSM-Based Passive Fault Detection Approach -- Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 -- Model-Based Testing of Optimizing Compilers. 330 $aThis book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in testing communicating systems and formal approaches in testing of software, from classical telecommunication issues to general software testing. 410 0$aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v4581 606 $aSoftware engineering 606 $aComputer networks 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aElectronic data processing$xManagement 606 $aTelecommunication 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aIT Operations 606 $aCommunications Engineering, Networks 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aElectronic data processing$xManagement. 615 0$aTelecommunication. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aIT Operations. 615 24$aCommunications Engineering, Networks. 676 $a004.620287 700 $aVeanes$b Margus$01221924 702 $aTretmans$b Jan 702 $aGrieskamp$b Wolfgang$f1960- 712 02$aInternational Federation for Information Processing.$bTechnical Committee 6. 712 12$aFATES 2007$f(2007 :$eTallinn, Estonia) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483895003321 996 $aTesting of software and communicating systems$92833609 997 $aUNINA