國立虎尾科技大學 |

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, Luís Ferreira Pires, Bran Selic.
其他題名:	6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers /
其他作者:	Hammoudi, Slimane.
面頁冊數:	XII, 496 p. 520 illus., 173 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	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] :edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic. - 1st ed. 2019. - XII, 496 p. 520 illus., 173 illus. in color.online resource. - Communications in Computer and Information Science,9911865-0929 ;. - Communications in Computer and Information Science,498.

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:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Model-Driven Engineering and Software Development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers /
LDR:04189nam a22003975i 4500 001 1012051
003 DE-He213
005 20200703211640.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030110307 $9 978-3-030-11030-7
024 7 $a 10.1007/978-3-030-11030-7 $2 doi
035 $a 978-3-030-11030-7
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
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, Luís Ferreira Pires, Bran Selic.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XII, 496 p. 520 illus., 173 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
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 Software engineering. $3 562952
650 0 $a Computers. $3 565115
650 0 $a Computer organization. $3 596298
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Computing Milieux. $3 669921
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
650 2 4 $a Theory of Computation. $3 669322
700 1 $a Hammoudi, Slimane. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 897970
700 1 $a Pires, Luís Ferreira. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1255626
700 1 $a Selic, Bran. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 674756
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030110291
776 0 8 $i Printed edition: $z 9783030110314
830 0 $a Communications in Computer and Information Science, $x 1865-0929 ; $v 498 $3 1253583
856 4 0 $u https://doi.org/10.1007/978-3-030-11030-7
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)