LEADER 03648nam  22007575  450 
001 996466249603316
005 20240202221752.0
010   $a3-642-28872-3
024 7 $a10.1007/978-3-642-28872-2
035   $a(CKB)3360000000365948
035   $a(SSID)ssj0000666109
035   $a(PQKBManifestationID)11404800
035   $a(PQKBTitleCode)TC0000666109
035   $a(PQKBWorkID)10647029
035   $a(PQKB)11611456
035   $a(DE-He213)978-3-642-28872-2
035   $a(MiAaPQ)EBC3070943
035   $a(PPN)16831309X
035   $a(EXLCZ)993360000000365948
100   $a20120321d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFundamental Approaches to Software Engineering$b[electronic resource] $e15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /$fedited by Juan de Lara, Andrea Zisman
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (534 p. 168 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7212
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-28871-5 
330   $aThis book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 33 full papers presented together with one full length invited talk were carefully reviewed and selected from 134 submissions. The papers are organized in topical sections on software architecture and components, services, verification and monitoring, intermodelling and model transformations, modelling and adaptation, product lines and feature-oriented programming, development process, verification and synthesis, testing and maintenance, and slicing and refactoring.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7212
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   $ade Lara$b Juan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZisman$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 02$aFASE 2012$f(2012 :$eTallinn, Estonia)
906   $aBOOK
912   $a996466249603316
996   $aFundamental Approaches to Software Engineering$9771913
997   $aUNISA