LEADER 03686nam  22007575  450 
001 996465891603316
005 20230406062019.0
010   $a3-642-19811-2
024 7 $a10.1007/978-3-642-19811-3
035   $a(CKB)2670000000076059
035   $a(SSID)ssj0000536953
035   $a(PQKBManifestationID)11336371
035   $a(PQKBTitleCode)TC0000536953
035   $a(PQKBWorkID)10553341
035   $a(PQKB)11699094
035   $a(DE-He213)978-3-642-19811-3
035   $a(MiAaPQ)EBC3066560
035   $a(PPN)151589593
035   $a(EXLCZ)992670000000076059
100   $a20110314d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFundamental Approaches to Software Engineering$b[electronic resource] $e14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /$fedited by Dimitra Giannakopoulou, Fernando Orejas
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIII, 464 p. 172 illus., 41 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6603
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-19810-4 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26?April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.  .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6603
606   $aSoftware engineering
606   $aComputer networks
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aElectronic data processing?Management
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aIT Operations
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aElectronic data processing?Management.
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aIT Operations.
676   $a005.1
702   $aGiannakopoulou$b Dimitra$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aOrejas$b Fernando$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465891603316
996   $aFundamental Approaches to Software Engineering$9771913
997   $aUNISA