Software Engineering and Formal Methods / Cerone, Antonio ; Roveri, Marco  

Público ISBD Ningún comentario para este registro. Título : Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Cerone, Antonio, ; Roveri, Marco, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 592 p. 204 ilustraciones ISBN/ISSN/DL: 978-3-319-74781-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Ingeniería de software  Inteligencia artificial  Ordenadores  Lógica informática y fundamentos de la programación  Ingeniería Informática y Redes  Entornos informáticos  Hardware de la computadora Índice Dewey: 40.151 Resumen: Este libro constituye artículos revisados ​​seleccionados de los cinco talleres realizados durante la 15.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2017. Los 38 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de un total de 55 presentaciones. Surgen de los siguientes talleres: DataMod 2017 - 6º Simposio Internacional "De los datos a los modelos y viceversa"; FAACS 2017 - 1er taller sobre enfoques formales para sistemas informáticos avanzados; MSE 2017 -- 1er Taller sobre Microservicios: Ciencia e Ingeniería; CoSim-CPS 2017 - 1er taller sobre cosimulación formal de sistemas ciberfísicos; FOCLASA 2017 - 15° Taller Internacional sobre Fundamentos de Lenguajes de Coordinación y Sistemas Autoadaptativos. Nota de contenido: DataMod -- Temporal Analytics for Software Usage Models -- Sequential Pattern Mining for ICT Risk Assessment and Prevention -- Student performance prediction and optimal course selection: An MDP approach -- An Algorithm for Simulating Human Selective Attention -- Learning Decision Trees from Synthetic Data Models for Human Security Behaviour -- Controlling Production Variances in Complex Business Processes -- A computational model of Internet addiction phenomena in social networks -- What belongs to context? A definition, a criterion and a method for deciding on what context-aware systems should sense and adapt to -- Finding all minimum-size DFA consistent with given examples: SAT-based approach -- FAACS -- Intercepting Blackhole Attacks in MANETs: An ASM-based Model -- Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines -- Design-time to Run-time Verification of Microservices Based Applications -- Generalized Oracle for Testing Machine Learning Computer Programs -- MSE@SEFM 2017 -- A Formal Framework for Specifying and Verifying Microservices Based Process Flows -- Towards a Taxonomy of Microservices Architectures -- Towards a reference dataset of microservice-based applications -- Towards a UML Profile for Domain-driven Design of Microservice Architectures -- A Framework for Modelling Variable Microservices as Software Product Lines -- CoSim-CPS -- A Refinement Approach to Analyse Critical Cyber-Physical Systems -- Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems -- Integrated simulation and formal verification of a simple autonomous vehicle -- Co-Simulation between Trnsys and Simulink based on Type155 -- Development of a Driverless Lawn Mower using Co-Simulation -- Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios -- Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems -- Features of Integrated Model-based Co-modelling and Co-simulation Technology -- A Tool Integration Language to Formalize Co-simulation Tool-chains for Cyber-physical System (CPS) -- A Framework for Analyzing Adaptive Autonomous Aerial Vehicles -- Co-simulation of semi-autonomous systems: the Line Follower Robot case study -- A Framework for the Co-Simulation of Engine Controls and Task Scheduling -- Formalising Cosimulation Models -- FOCLASA -- Towards the performance analysis of elastic systems with e-Motions -- From (incomplete) TOSCA speci_cations to running applications, with Docker -- Combining Trust and Aggregate Computing -- Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation -- Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives -- Using Coq for Formal Modeling and Verification of Timed Connectors -- An initial user study comparing the readability of a graphical coordination model with Event-B notation. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers [documento electrónico] / Cerone, Antonio, ; Roveri, Marco,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - X, 592 p. 204 ilustraciones. ISBN : 978-3-319-74781-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Ingeniería de software  Inteligencia artificial  Ordenadores  Lógica informática y fundamentos de la programación  Ingeniería Informática y Redes  Entornos informáticos  Hardware de la computadora Índice Dewey: 40.151 Resumen: Este libro constituye artículos revisados ​​seleccionados de los cinco talleres realizados durante la 15.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2017. Los 38 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de un total de 55 presentaciones. Surgen de los siguientes talleres: DataMod 2017 - 6º Simposio Internacional "De los datos a los modelos y viceversa"; FAACS 2017 - 1er taller sobre enfoques formales para sistemas informáticos avanzados; MSE 2017 -- 1er Taller sobre Microservicios: Ciencia e Ingeniería; CoSim-CPS 2017 - 1er taller sobre cosimulación formal de sistemas ciberfísicos; FOCLASA 2017 - 15° Taller Internacional sobre Fundamentos de Lenguajes de Coordinación y Sistemas Autoadaptativos. Nota de contenido: DataMod -- Temporal Analytics for Software Usage Models -- Sequential Pattern Mining for ICT Risk Assessment and Prevention -- Student performance prediction and optimal course selection: An MDP approach -- An Algorithm for Simulating Human Selective Attention -- Learning Decision Trees from Synthetic Data Models for Human Security Behaviour -- Controlling Production Variances in Complex Business Processes -- A computational model of Internet addiction phenomena in social networks -- What belongs to context? A definition, a criterion and a method for deciding on what context-aware systems should sense and adapt to -- Finding all minimum-size DFA consistent with given examples: SAT-based approach -- FAACS -- Intercepting Blackhole Attacks in MANETs: An ASM-based Model -- Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines -- Design-time to Run-time Verification of Microservices Based Applications -- Generalized Oracle for Testing Machine Learning Computer Programs -- MSE@SEFM 2017 -- A Formal Framework for Specifying and Verifying Microservices Based Process Flows -- Towards a Taxonomy of Microservices Architectures -- Towards a reference dataset of microservice-based applications -- Towards a UML Profile for Domain-driven Design of Microservice Architectures -- A Framework for Modelling Variable Microservices as Software Product Lines -- CoSim-CPS -- A Refinement Approach to Analyse Critical Cyber-Physical Systems -- Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems -- Integrated simulation and formal verification of a simple autonomous vehicle -- Co-Simulation between Trnsys and Simulink based on Type155 -- Development of a Driverless Lawn Mower using Co-Simulation -- Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios -- Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems -- Features of Integrated Model-based Co-modelling and Co-simulation Technology -- A Tool Integration Language to Formalize Co-simulation Tool-chains for Cyber-physical System (CPS) -- A Framework for Analyzing Adaptive Autonomous Aerial Vehicles -- Co-simulation of semi-autonomous systems: the Line Follower Robot case study -- A Framework for the Co-Simulation of Engine Controls and Task Scheduling -- Formalising Cosimulation Models -- FOCLASA -- Towards the performance analysis of elastic systems with e-Motions -- From (incomplete) TOSCA speci_cations to running applications, with Docker -- Combining Trust and Aggregate Computing -- Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation -- Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives -- Using Coq for Formal Modeling and Verification of Timed Connectors -- An initial user study comparing the readability of a graphical coordination model with Event-B notation. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Par page : 25 50 100 200