LEADER 03899nam 22007575 450 001 9910437579403321 005 20251226203925.0 010 $a3-642-54092-9 024 7 $a10.1007/978-3-642-54092-9 035 $a(CKB)3710000000078903 035 $a(DE-He213)978-3-642-54092-9 035 $a(SSID)ssj0001088528 035 $a(PQKBManifestationID)11738701 035 $a(PQKBTitleCode)TC0001088528 035 $a(PQKBWorkID)11094635 035 $a(PQKB)10483554 035 $a(MiAaPQ)EBC3096882 035 $a(PPN)176118527 035 $a(EXLCZ)993710000000078903 100 $a20131220d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEvaluation of Novel Approaches to Software Engineering $e8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers /$fedited by Joaquim Filipe, Leszek A. Maciaszek 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 257 p. 93 illus.) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v417 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-54091-0 327 $aDesigning a virtual reality software -- An experiment on self-configuring database queries -- Automated COSMIC-based analysis and consistency verification -- An MDE approach to develop mobile-agents applications. 330 $aThis book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality criteria, the ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends, and propose new directions for consideration by researchers and practitioners involved in large-scale software development and integration. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v417 606 $aSoftware engineering 606 $aComputer science 606 $aBusiness information services 606 $aCompilers (Computer programs) 606 $aApplication software 606 $aElectronic data processing$xManagement 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aIT in Business 606 $aCompilers and Interpreters 606 $aComputer and Information Systems Applications 606 $aIT Operations 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aBusiness information services. 615 0$aCompilers (Computer programs) 615 0$aApplication software. 615 0$aElectronic data processing$xManagement. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aIT in Business. 615 24$aCompilers and Interpreters. 615 24$aComputer and Information Systems Applications. 615 24$aIT Operations. 676 $a005.1 702 $aFilipe$b Joaquim$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaciaszek$b Leszek A$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910437579403321 996 $aEvaluation of novel approaches to software engineering$91890274 997 $aUNINA