東華大學圖書館 |

Model-driven engineering and software development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Model-driven engineering and software development/ edited by Slimane Hammoudi, Luis Ferreira Pires, Bran Selic.
其他題名:	6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers /
其他題名:	MODELSWARD 2018
其他作者:	Hammoudi, Slimane.
團體作者:	MODELSWARD (Conference)
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	xii, 496 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer eBooks
標題:	Model-driven software architecture - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-11030-7
ISBN:	9783030110307

Model-driven engineering and software development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers /
Model-driven engineering and software development6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers /[electronic resource] :MODELSWARD 2018edited by Slimane Hammoudi, Luis Ferreira Pires, Bran Selic. - Cham :Springer International Publishing :2019. - xii, 496 p. :ill. (some col.), digital ;24 cm. - Communications in computer and information science,9911865-0929 ;. - Communications in computer and information science ;991..

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.

This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.

ISBN: 9783030110307

Standard No.: 10.1007/978-3-030-11030-7doiSubjects--Topical Terms:

893250
Model-driven software architecture
--Congresses.

LC Class. No.: QA76.76.D47

Dewey Class. No.: 005.12

Model-driven engineering and software development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers /
LDR:03895nmm a2200349 a 4500 001 2179335
003 DE-He213
005 20190131084641.0
006 m d
007 cr nn 008maaau
008 191122s2019 gw s 0 eng d
020 $a 9783030110307 $q (electronic bk.)
020 $a 9783030110291 $q (paper)
024 7 $a 10.1007/978-3-030-11030-7 $2 doi
035 $a 978-3-030-11030-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.D47
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.12 $2 23
090 $a QA76.76.D47 $b M689 2018
111 2 $a MODELSWARD (Conference) $n (6th : $d 2018 : $c Funchal, Madeira Islands) $3 3384376
245 1 0 $a Model-driven engineering and software development $h [electronic resource] : $b 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers / $c edited by Slimane Hammoudi, Luis Ferreira Pires, Bran Selic.
246 3 $a MODELSWARD 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xii, 496 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0929 ; $v 991
505 0 $a 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.
520 $a This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.
650 0 $a Model-driven software architecture $v Congresses. $3 893250
650 0 $a Computer software $x Development $x Congresses. $3 708844
650 0 $a Software engineering $x Congresses. $3 696781
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Computing Milieux. $3 893243
650 2 4 $a Computer Systems Organization and Communication Networks. $3 891212
650 2 4 $a Theory of Computation. $3 892514
700 1 $a Hammoudi, Slimane. $3 940792
700 1 $a Pires, Luis Ferreira. $3 3338211
700 1 $a Selic, Bran. $3 706514
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Communications in computer and information science ; $v 991. $3 3384377
856 4 0 $u https://doi.org/10.1007/978-3-030-11030-7
950 $a Computer Science (Springer-11645)