Título :	10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
Tipo de documento:	documento electrónico
Autores:	Margaria, Tiziana, ; Steffen, Bernhard,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2021
Número de páginas:	XII, 504 p. 124 ilustraciones, 71 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-89159-6
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:	Ingeniería de software  Inteligencia artificial  Programación de computadoras  Compiladores (programas informáticos)  Software de la aplicacion  Técnicas de programación  Compiladores e intérpretes  Aplicaciones informáticas y de sistemas de información
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye contribuciones de los eventos asociados a ISOLA 2021. En total, ISoLA 2021 comprende contribuciones de las actas originalmente previstas para ISoLA 2020 recopiladas en 4 volúmenes, LNCS 12476: Principios de verificación, LNCS 12477: Principios de ingeniería, LNCS 12478: Aplicaciones y LNCS 12479: Herramientas y tendencias. Las contribuciones incluidas en este volumen se organizaron en las siguientes secciones temáticas: 6ª Escuela Internacional de Ingeniería Rigurosa de Sistemas de Software basada en Herramientas; Pista Industrial; Programación: ¿Qué sigue? Herramientas de verificación de software; Ingeniería Rigurosa de Sistemas Adaptativos Colectivos. .
Nota de contenido:	STRESS - Introduction -- An Introduction to Graphical Modeling of CI/CD Workflows with Rig -- Pyrus: an Online Modeling Environment for No-Code Data-Analytics Service Composition -- Integrating External Services in DIME -- Asking Why -- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021 -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles -- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics -- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data -- Programming - What is Next? -- Low-Codeis Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering -- Time for All Programs, Not Just Real-Time Programs -- Integrated Modeling and Development of Component-Based Embedded Software in Scala -- Slang: The Sireum Programming Language -- HAMR: An AADL Multi-Platform Code Generation Toolset -- Fundamental Constructs in Programming Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing -- GATE: Gradual Effect Types -- Fixing Classification: A Viewpoint-based Approach -- The Future of Programming and Modelling: a Vision -- Towards Model-based Intent-Driven Adaptive Software -- The Interoperability Challenge: Building a model driven Digital Thread platform for CPS -- Programming vs. That Thing Subject Matter Experts Do -- Aligned, Purpose-Driven Cooperation: The Future Way of System Development -- RAILS: Roadmaps for AI integration in the raiL Sector -- A Journey through Software Model Checking of Interlocking Programs -- Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation -- Formal Methods in Railway Signalling Infrastructure Standardisation Processes -- sVerify: Verifying Smart Contracts through Lazy Annotation and Learning -- Verifying temporal properties of stigmergic collective systems using CADP.
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

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings [documento electrónico] / Margaria, Tiziana, ; Steffen, Bernhard,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XII, 504 p. 124 ilustraciones, 71 ilustraciones en color.
ISBN : 978-3-030-89159-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ingeniería de software  Inteligencia artificial  Programación de computadoras  Compiladores (programas informáticos)  Software de la aplicacion  Técnicas de programación  Compiladores e intérpretes  Aplicaciones informáticas y de sistemas de información
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye contribuciones de los eventos asociados a ISOLA 2021. En total, ISoLA 2021 comprende contribuciones de las actas originalmente previstas para ISoLA 2020 recopiladas en 4 volúmenes, LNCS 12476: Principios de verificación, LNCS 12477: Principios de ingeniería, LNCS 12478: Aplicaciones y LNCS 12479: Herramientas y tendencias. Las contribuciones incluidas en este volumen se organizaron en las siguientes secciones temáticas: 6ª Escuela Internacional de Ingeniería Rigurosa de Sistemas de Software basada en Herramientas; Pista Industrial; Programación: ¿Qué sigue? Herramientas de verificación de software; Ingeniería Rigurosa de Sistemas Adaptativos Colectivos. .
Nota de contenido:	STRESS - Introduction -- An Introduction to Graphical Modeling of CI/CD Workflows with Rig -- Pyrus: an Online Modeling Environment for No-Code Data-Analytics Service Composition -- Integrating External Services in DIME -- Asking Why -- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021 -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles -- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics -- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data -- Programming - What is Next? -- Low-Codeis Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering -- Time for All Programs, Not Just Real-Time Programs -- Integrated Modeling and Development of Component-Based Embedded Software in Scala -- Slang: The Sireum Programming Language -- HAMR: An AADL Multi-Platform Code Generation Toolset -- Fundamental Constructs in Programming Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing -- GATE: Gradual Effect Types -- Fixing Classification: A Viewpoint-based Approach -- The Future of Programming and Modelling: a Vision -- Towards Model-based Intent-Driven Adaptive Software -- The Interoperability Challenge: Building a model driven Digital Thread platform for CPS -- Programming vs. That Thing Subject Matter Experts Do -- Aligned, Purpose-Driven Cooperation: The Future Way of System Development -- RAILS: Roadmaps for AI integration in the raiL Sector -- A Journey through Software Model Checking of Interlocking Programs -- Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation -- Formal Methods in Railway Signalling Infrastructure Standardisation Processes -- sVerify: Verifying Smart Contracts through Lazy Annotation and Learning -- Verifying temporal properties of stigmergic collective systems using CADP.
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