| TÃtulo : |
Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Pires, LuÃs Ferreira, ; Hammoudi, Slimane, ; Selic, Bran, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XII, 507 p. 181 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-94764-8 |
| 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 Sistemas operativos (computadoras) Compiladores (programas informáticos) diseño lógico Computadoras digitales electrónicas Sistemas informáticos Sistemas operativos Compiladores e intérpretes Rendimiento y evaluación del sistema Implementación de sistema informático |
| Ãndice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro constituye artÃculos minuciosamente revisados ​​y seleccionados de la Quinta Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2017, celebrada en Oporto, Portugal, en febrero de 2017. Los 20 artÃculos minuciosamente revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisados ​​y seleccionado entre 91 presentaciones. Contribuyen al desarrollo de tendencias de investigación muy relevantes en ingenierÃa basada en modelos y desarrollo de software, como metodologÃas para el desarrollo y explotación de MDD, pruebas basadas en modelos, simulación de modelos, modelado de dominios especÃficos, generación de código a partir de modelos, nuevas herramientas MDD, múltiples -Gestión de modelos, evolución de modelos y aplicaciones industriales de métodos y tecnologÃas basados ​​en modelos. |
| Nota de contenido: |
Sommelier: A Tool for Validating TOSCA Application TopologiesSommelier: A Tool for Validating TOSCA Application Topologies -- Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems -- Formal and Virtual Multi-level Design Space Exploration -- Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems -- A Model based Approach for Complex Dynamic Decision-making -- Deterministic High-level Executable Models Allowing Efficient Runtime Verification -- A Consistency-preserving Editing Model for Dynamic Filtered Engineering of Model-driven Product Lines -- Model-driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information -- A Model Driven Engineering Approach for Heterogeneous Model Composition -- Generative versus Interpretive Model-Driven Development: Moving Past `It Depends' -- Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems.-A Domain-Specific Modeling Approach for Testing Environment Emulation -- A Framework for UML-based Component-based Design and Code Generation for Reactive Systems -- Automatic UI Generation for Aggregated Linked Data Applications by using Sharable Application Ontologies -- Surveying Co-Evolution in Modeling Ecosystems -- Functional Decomposition for Software Architecture Evolution -- Model-Driven Approach to Handle Evolutions of OLAP Requirements and Data Source Model -- Complex Event Processing for User-Centric Management of IoT Systems -- Efficient Distributed Execution of Multi-component Scenario-Based Models -- Modelling the World of a Smart Room for Robotic Co-working. |
| 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 |
Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers [documento electrónico] / Pires, LuÃs Ferreira, ; Hammoudi, Slimane, ; Selic, Bran, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 507 p. 181 ilustraciones. ISBN : 978-3-319-94764-8 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 Sistemas operativos (computadoras) Compiladores (programas informáticos) diseño lógico Computadoras digitales electrónicas Sistemas informáticos Sistemas operativos Compiladores e intérpretes Rendimiento y evaluación del sistema Implementación de sistema informático |
| Ãndice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro constituye artÃculos minuciosamente revisados ​​y seleccionados de la Quinta Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2017, celebrada en Oporto, Portugal, en febrero de 2017. Los 20 artÃculos minuciosamente revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisados ​​y seleccionado entre 91 presentaciones. Contribuyen al desarrollo de tendencias de investigación muy relevantes en ingenierÃa basada en modelos y desarrollo de software, como metodologÃas para el desarrollo y explotación de MDD, pruebas basadas en modelos, simulación de modelos, modelado de dominios especÃficos, generación de código a partir de modelos, nuevas herramientas MDD, múltiples -Gestión de modelos, evolución de modelos y aplicaciones industriales de métodos y tecnologÃas basados ​​en modelos. |
| Nota de contenido: |
Sommelier: A Tool for Validating TOSCA Application TopologiesSommelier: A Tool for Validating TOSCA Application Topologies -- Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems -- Formal and Virtual Multi-level Design Space Exploration -- Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems -- A Model based Approach for Complex Dynamic Decision-making -- Deterministic High-level Executable Models Allowing Efficient Runtime Verification -- A Consistency-preserving Editing Model for Dynamic Filtered Engineering of Model-driven Product Lines -- Model-driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information -- A Model Driven Engineering Approach for Heterogeneous Model Composition -- Generative versus Interpretive Model-Driven Development: Moving Past `It Depends' -- Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems.-A Domain-Specific Modeling Approach for Testing Environment Emulation -- A Framework for UML-based Component-based Design and Code Generation for Reactive Systems -- Automatic UI Generation for Aggregated Linked Data Applications by using Sharable Application Ontologies -- Surveying Co-Evolution in Modeling Ecosystems -- Functional Decomposition for Software Architecture Evolution -- Model-Driven Approach to Handle Evolutions of OLAP Requirements and Data Source Model -- Complex Event Processing for User-Centric Management of IoT Systems -- Efficient Distributed Execution of Multi-component Scenario-Based Models -- Modelling the World of a Smart Room for Robotic Co-working. |
| 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 |
|  |