01004cam1 2200277 450 E60020006996120131024115116.020101214f0000 |||||ita|0103 baitaITStoria della FilosofiaGuido De RuggieroBariGius Laterza & Figli13 volumi20 cmBiblioteca di cultura moderna001LAEC000162592001 *Biblioteca di cultura moderna001E6002000699622000 <<La >>filosofia greca001E6002000699662000 <<La >>filosofia del cristianesimo001E6002000080352000 Rinascimento Riforma e Controriforma001SOBE000371932000 <<Parte 4: La >>filosofia moderna / Guido De RuggieroDe Ruggiero, GuidoA60020002637307011779ITUNISOB20131024RICAE600200069961M 102 Monografia moderna SBNMOria della filosofia218141UNISOB04659nam 22007575 450 991029931440332120250421110156.03-319-94135-610.1007/978-3-319-94135-6(CKB)3810000000358779(DE-He213)978-3-319-94135-6(MiAaPQ)EBC6287532(PPN)229495419(EXLCZ)99381000000035877920180630d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierEvaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers /edited by Ernesto Damiani, George Spanoudakis, Leszek Maciaszek1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XII, 275 p. 114 illus.) Communications in Computer and Information Science,1865-0937 ;8663-319-94134-8 Service 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.This 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.Communications in Computer and Information Science,1865-0937 ;866Software engineeringCompilers (Computer programs)Computer programmingUser interfaces (Computer systems)Human-computer interactionElectronic digital computersEvaluationComputer systemsSoftware EngineeringCompilers and InterpretersProgramming TechniquesUser Interfaces and Human Computer InteractionSystem Performance and EvaluationComputer System ImplementationSoftware engineering.Compilers (Computer programs)Computer programming.User interfaces (Computer systems)Human-computer interaction.Electronic digital computersEvaluation.Computer systems.Software Engineering.Compilers and Interpreters.Programming Techniques.User Interfaces and Human Computer Interaction.System Performance and Evaluation.Computer System Implementation.005.1Damiani Ernestoedthttp://id.loc.gov/vocabulary/relators/edtSpanoudakis Georgeedthttp://id.loc.gov/vocabulary/relators/edtMaciaszek Leszekedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910299314403321Evaluation of novel approaches to software engineering1890274UNINA