LEADER 00974nam0-22003011i-450- 001 990007982630403321 005 20050204133849.0 035 $a000798263 035 $aFED01000798263 035 $a(Aleph)000798263FED01 035 $a000798263 100 $a20050111d1979----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay---n---001yy 200 1 $aAccordo nazionale unico di lavoro per il personale ospedaliero$evalevole dal 1 luglio 1979 al 30 giugno 1982$fFLO Federazione Lavoratori Ospedalieri 210 $aRimini$cMaggioli$d1979 215 $a142 p.$d21 cm 225 1 $aNovità legislative Maggioli$eguide pratiche 676 $a361.6$v21$zita 710 02$aFederazione lavoratori ospedalieri$0422178 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007982630403321 952 $aVI B 396$b4292$fDDA 959 $aDDA 996 $aAccordo nazionale unico di lavoro per il personale ospedaliero$9752490 997 $aUNINA 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