LEADER 04659nam 22007575 450 001 9910299314403321 005 20250421110156.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-0937 ;$v866 311 08$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-0937 ;$v866 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aUser interfaces (Computer systems) 606 $aHuman-computer interaction 606 $aElectronic digital computers$xEvaluation 606 $aComputer systems 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aUser Interfaces and Human Computer Interaction 606 $aSystem Performance and Evaluation 606 $aComputer System Implementation 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aComputer programming. 615 0$aUser interfaces (Computer systems) 615 0$aHuman-computer interaction. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputer systems. 615 14$aSoftware Engineering. 615 24$aCompilers and 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