LEADER 05080nam 22007335 450 001 9910299314403321 005 20200701044251.0 010 $a3-319-94135-6 024 7 $a10.1007/978-3-319-94135-6 035 $a(CKB)3810000000358779 035 $a(DE-He213)978-3-319-94135-6 035 $a(MiAaPQ)EBC6287532 035 $a(PPN)229495419 035 $a(EXLCZ)993810000000358779 100 $a20180630d2018 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 $e12th International Conference, ENASE 2017, Porto, Portugal, April 28?29, 2017, Revised Selected Papers /$fedited by Ernesto Damiani, George Spanoudakis, Leszek Maciaszek 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XII, 275 p. 114 illus.) 225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v866 311 $a3-319-94134-8 327 $aService Science and Business Information Systems -- Guidelines for Designing User Interfaces to Analyze Genetic Data. Case of Study: GenDomus -- Biologically Inspired Anomaly Detection Framework -- Genomic Tools*: Web-applications based on Conceptual Models for the Genomic Diagnosis -- Technological Platform for the Prevention and Management of Healthcare Associated Infections and Outbreaks -- Software Engineering -- Exploiting Requirements Engineering to Resolve Conflicts in Pervasive Computing Systems -- Assisting Configurations-based Feature Model Composition - Union, Intersection and Approximate Intersection -- A Cloud-based Service for the Visualization and Monitoring of Factories -- An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems -- Fast Prototyping of Web-based Information Systems using a Restricted Natural Language Specification -- Model-based Analysis of Temporal Properties -- Towards a Java Library to Support Runtime Metaprogramming -- Design Approaches for Critical Embedded Systems: A Systematic Mapping Study. 330 $aThis book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017. The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT industry experiences with relation to the evaluation of novel approaches to software engineering. The conference acknowledges necessary changes in systems and software thinking due to contemporary shifts of computing paradigm to e-services, cloud computing, mobile connectivity, business processes, and societal participation. 410 0$aCommunications in Computer and Information Science,$x1865-0929 ;$v866 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aUser interfaces (Computer systems) 606 $aComputer system failures 606 $aArchitecture, Computer 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aUser interfaces (Computer systems). 615 0$aComputer system failures. 615 0$aArchitecture, Computer. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aSystem Performance and Evaluation. 615 24$aComputer System Implementation. 676 $a005.1 702 $aDamiani$b Ernesto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSpanoudakis$b George$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaciaszek$b Leszek$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299314403321 996 $aEvaluation of novel approaches to software engineering$91890274 997 $aUNINA