Información del autor
Autor Selic, Bran |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsqueda7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / Hammoudi, Slimane ; Pires, LuÃs Ferreira ; Selic, Bran
TÃtulo : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hammoudi, Slimane, ; Pires, LuÃs Ferreira, ; Selic, Bran, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIV, 399 p. 210 ilustraciones, 109 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-37873-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 Microprogramación IngenierÃa Informática Red de computadoras Ciencias de la Computación Estructuras de control y microprogramación IngenierÃa Informática y Redes TeorÃa de la Computación Clasificación: Resumen: Este libro constituye artÃculos cuidadosamente revisados ​​y seleccionados de la 7ma Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2019, celebrada en Praga, República Checa, en febrero de 2019. Los 16 artÃculos minuciosamente revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisados. y seleccionado entre 76 presentaciones. Abordan algunos de los desafÃos más relevantes que enfrentan los investigadores y profesionales en el campo de la ingenierÃa basada en modelos y el desarrollo de software y cubren temas como diseño de lenguajes y herramientas; herramientas de soporte de programación; generación de código y texto a partir de modelos, modelado y análisis de comportamiento; transformaciones de modelos y modelado multivista; asà como aplicaciones de MDD y sus técnicas relacionadas a sistemas ciberfÃsicos, ciberseguridad, IoT, vehÃculos autónomos y atención médica. Nota de contenido: Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-driven Software Engineering -- A Model-based Combination Language for Scheduling Verification -- Resolving The Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour -- A Role Modeling based Approach for Cyber Threat Analysis -- Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications -- Umple-TL: A Model-oriented, Dependency-free Text Emission Tool -- Model Driven Data Management in Healthcare -- The Art of Bootstrapping -- A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems -- Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol -- Executing Scenario-Based Specification with Dynamic Generation of Rich Events -- Evaluating the Multi-Variant Model Transformation of UML Class Diagrams to Java Models -- Modeling and Analysis of Partitions on Functional Architectures using EAST-ADL -- A Programming and Verification Framework for Flexible and Unrestricted Program Evolution -- Classifying Approaches for Constructing Single Underlying Models -- TRILATERAL: A Model-based Approach for Industrial CPS – Monitoring and Control. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers [documento electrónico] / Hammoudi, Slimane, ; Pires, LuÃs Ferreira, ; Selic, Bran, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIV, 399 p. 210 ilustraciones, 109 ilustraciones en color.
ISBN : 978-3-030-37873-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 Microprogramación IngenierÃa Informática Red de computadoras Ciencias de la Computación Estructuras de control y microprogramación IngenierÃa Informática y Redes TeorÃa de la Computación Clasificación: Resumen: Este libro constituye artÃculos cuidadosamente revisados ​​y seleccionados de la 7ma Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2019, celebrada en Praga, República Checa, en febrero de 2019. Los 16 artÃculos minuciosamente revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisados. y seleccionado entre 76 presentaciones. Abordan algunos de los desafÃos más relevantes que enfrentan los investigadores y profesionales en el campo de la ingenierÃa basada en modelos y el desarrollo de software y cubren temas como diseño de lenguajes y herramientas; herramientas de soporte de programación; generación de código y texto a partir de modelos, modelado y análisis de comportamiento; transformaciones de modelos y modelado multivista; asà como aplicaciones de MDD y sus técnicas relacionadas a sistemas ciberfÃsicos, ciberseguridad, IoT, vehÃculos autónomos y atención médica. Nota de contenido: Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-driven Software Engineering -- A Model-based Combination Language for Scheduling Verification -- Resolving The Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour -- A Role Modeling based Approach for Cyber Threat Analysis -- Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications -- Umple-TL: A Model-oriented, Dependency-free Text Emission Tool -- Model Driven Data Management in Healthcare -- The Art of Bootstrapping -- A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems -- Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol -- Executing Scenario-Based Specification with Dynamic Generation of Rich Events -- Evaluating the Multi-Variant Model Transformation of UML Class Diagrams to Java Models -- Modeling and Analysis of Partitions on Functional Architectures using EAST-ADL -- A Programming and Verification Framework for Flexible and Unrestricted Program Evolution -- Classifying Approaches for Constructing Single Underlying Models -- TRILATERAL: A Model-based Approach for Industrial CPS – Monitoring and Control. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hammoudi, Slimane, ; Pires, LuÃs Ferreira, ; Selic, Bran, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 377 p. 64 ilustraciones ISBN/ISSN/DL: 978-3-030-67445-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 informáticos Computadoras Propósitos especiales Lenguajes de programación (computadoras electrónicas) Programación de computadoras Inteligencia artificial Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Lenguaje de programación Técnicas de programación Clasificación: Resumen: Este libro constituye artÃculos cuidadosamente revisados ​​y seleccionados de la 8.ª Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2020, celebrada en La Valeta, Malta, en febrero de 2020. Los 15 artÃculos revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 66 presentaciones. Presentan resultados de investigación recientes y actividades de desarrollo en el uso de modelos y técnicas de ingenierÃa basadas en modelos para el desarrollo de software. Los artÃculos están organizados en secciones temáticas sobre metodologÃas, procesos y plataformas; desarrollo de aplicaciones y software; lenguajes, herramientas y arquitecturas de modelado. Nota de contenido: Methodologies, Processes and Platforms -- Applications and Software Development -- Modeling Languages, Tools and Architectures. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers [documento electrónico] / Hammoudi, Slimane, ; Pires, LuÃs Ferreira, ; Selic, Bran, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 377 p. 64 ilustraciones.
ISBN : 978-3-030-67445-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 informáticos Computadoras Propósitos especiales Lenguajes de programación (computadoras electrónicas) Programación de computadoras Inteligencia artificial Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Lenguaje de programación Técnicas de programación Clasificación: Resumen: Este libro constituye artÃculos cuidadosamente revisados ​​y seleccionados de la 8.ª Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2020, celebrada en La Valeta, Malta, en febrero de 2020. Los 15 artÃculos revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 66 presentaciones. Presentan resultados de investigación recientes y actividades de desarrollo en el uso de modelos y técnicas de ingenierÃa basadas en modelos para el desarrollo de software. Los artÃculos están organizados en secciones temáticas sobre metodologÃas, procesos y plataformas; desarrollo de aplicaciones y software; lenguajes, herramientas y arquitecturas de modelado. Nota de contenido: Methodologies, Processes and Platforms -- Applications and Software Development -- Modeling Languages, Tools and Architectures. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hammoudi, Slimane, ; Pires, LuÃs Ferreira, ; Selic, Bran, ; Desfray, Philippe, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 355 p. 131 ilustraciones ISBN/ISSN/DL: 978-3-319-66302-9 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 Simulación por ordenador Compiladores (programas informáticos) Inteligencia artificial Modelado por computadora Compiladores e intérpretes Clasificación: Resumen: Este libro constituye artÃculos cuidadosamente revisados ​​y seleccionados de la 4ta Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2016, celebrada en Roma, Italia, en febrero de 2016. Los 17 artÃculos minuciosamente revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisados ​​y seleccionado entre 118 presentaciones. Están organizados en secciones temáticas denominadas: lenguajes, herramientas y arquitecturas de modelado; metodologÃas, procesos y plataformas; desarrollo de aplicaciones y software. Nota de contenido: Modeling languages, tools and architectures -- Methodologies, processes and platforms -- Applications and software development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers [documento electrónico] / Hammoudi, Slimane, ; Pires, LuÃs Ferreira, ; Selic, Bran, ; Desfray, Philippe, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 355 p. 131 ilustraciones.
ISBN : 978-3-319-66302-9
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 Simulación por ordenador Compiladores (programas informáticos) Inteligencia artificial Modelado por computadora Compiladores e intérpretes Clasificación: Resumen: Este libro constituye artÃculos cuidadosamente revisados ​​y seleccionados de la 4ta Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2016, celebrada en Roma, Italia, en febrero de 2016. Los 17 artÃculos minuciosamente revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisados ​​y seleccionado entre 118 presentaciones. Están organizados en secciones temáticas denominadas: lenguajes, herramientas y arquitecturas de modelado; metodologÃas, procesos y plataformas; desarrollo de aplicaciones y software. Nota de contenido: Modeling languages, tools and architectures -- Methodologies, processes and platforms -- Applications and software development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hammoudi, Slimane, ; Pires, LuÃs Ferreira, ; Selic, Bran, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 496 p. 520 ilustraciones, 173 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-11030-7 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 Ordenadores IngenierÃa Informática Red de computadoras Ciencias de la Computación Entornos informáticos IngenierÃa Informática y Redes TeorÃa de la Computación Clasificación: Resumen: Este libro constituye artÃculos cuidadosamente revisados ​​y seleccionados de la 6.ª Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2018, celebrada en Funchal, Madeira, Portugal, en enero de 2018. Los 22 artÃculos minuciosamente revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisado y seleccionado entre 101 presentaciones. Contribuyen al desarrollo de tendencias de investigación muy relevantes en ingenierÃa basada en modelos y desarrollo de software, como métodos innovadores para el desarrollo y prueba de aplicaciones e interfaces de usuario basadas en MDD, soporte para el desarrollo de lenguajes especÃficos de dominio (DSL), Desarrollo de aplicaciones basadas en MDD en plataformas multiprocesador, avances en herramientas MDD, semántica formal y modelado de comportamiento e ingenierÃa de lÃneas de productos basada en MDD. Nota de contenido: Executable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building ConsistentWeb Services from OpenAPI-Compatible Models -- Reuse and Customization for Code Generators: Synergy by Transformations and Templates -- Model-based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC -- Evaluating Multi-Variant Model-To-Text Transformations Realized by Generic Aspects -- Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework -- Automated Recommendation of Related Model Elements for Domain Models -- An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study -- Technology Enhanced Support for Learning Interactive Software Systems -- Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies -- Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools -- Generation and Validation of Frame Conditions in Formal Models -- Analysis and Evaluation of Conformance Preserving Graph Transformation Rules -- Generation of Inductive Types from Ecore Metamodels -- Towards Automated Defect Analysis using Execution Traces of Scenario-based Models -- A Textual Notation for Modeling and Generating Code for Composite Structure -- Application of a Process-oriented Build Tool for Flight Controller Development along a DO-178C/DO-331 Process -- A Methodology for Generating Tests for Evaluating User-centric Performance of Mobile Streaming Applications -- Combining Model-Driven Architecture and Software Product Line Engineering: Reuse of Platform-specific Assets -- A Test Specification Language for Information Systems based on Data Entities, Use Cases and State Machines -- Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers [documento electrónico] / Hammoudi, Slimane, ; Pires, LuÃs Ferreira, ; Selic, Bran, . - 1 ed. . - [s.l.] : Springer, 2019 . - XII, 496 p. 520 ilustraciones, 173 ilustraciones en color.
ISBN : 978-3-030-11030-7
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 Ordenadores IngenierÃa Informática Red de computadoras Ciencias de la Computación Entornos informáticos IngenierÃa Informática y Redes TeorÃa de la Computación Clasificación: Resumen: Este libro constituye artÃculos cuidadosamente revisados ​​y seleccionados de la 6.ª Conferencia Internacional sobre IngenierÃa Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2018, celebrada en Funchal, Madeira, Portugal, en enero de 2018. Los 22 artÃculos minuciosamente revisados ​​y ampliados presentados en este volumen fueron cuidadosamente revisado y seleccionado entre 101 presentaciones. Contribuyen al desarrollo de tendencias de investigación muy relevantes en ingenierÃa basada en modelos y desarrollo de software, como métodos innovadores para el desarrollo y prueba de aplicaciones e interfaces de usuario basadas en MDD, soporte para el desarrollo de lenguajes especÃficos de dominio (DSL), Desarrollo de aplicaciones basadas en MDD en plataformas multiprocesador, avances en herramientas MDD, semántica formal y modelado de comportamiento e ingenierÃa de lÃneas de productos basada en MDD. Nota de contenido: Executable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building ConsistentWeb Services from OpenAPI-Compatible Models -- Reuse and Customization for Code Generators: Synergy by Transformations and Templates -- Model-based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC -- Evaluating Multi-Variant Model-To-Text Transformations Realized by Generic Aspects -- Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework -- Automated Recommendation of Related Model Elements for Domain Models -- An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study -- Technology Enhanced Support for Learning Interactive Software Systems -- Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies -- Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools -- Generation and Validation of Frame Conditions in Formal Models -- Analysis and Evaluation of Conformance Preserving Graph Transformation Rules -- Generation of Inductive Types from Ecore Metamodels -- Towards Automated Defect Analysis using Execution Traces of Scenario-based Models -- A Textual Notation for Modeling and Generating Code for Composite Structure -- Application of a Process-oriented Build Tool for Flight Controller Development along a DO-178C/DO-331 Process -- A Methodology for Generating Tests for Evaluating User-centric Performance of Mobile Streaming Applications -- Combining Model-Driven Architecture and Software Product Line Engineering: Reuse of Platform-specific Assets -- A Test Specification Language for Information Systems based on Data Entities, Use Cases and State Machines -- Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
