國立高雄大學圖資館 |

Model-driven engineering and software development9th nternational Conference, MODELSWAR 2021, virtual event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, virtual event, February 6-8, 2022 : revised selected papers /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Model-driven engineering and software developmentedited by Luis Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz.
Reminder of title:	9th nternational Conference, MODELSWAR 2021, virtual event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, virtual event, February 6-8, 2022 : revised selected papers /
remainder title:	MODELSWARD 2021
other author:	Pires, Luis Ferreira.
corporate name:
Published:	Cham :Springer Nature Switzerland :2023.
Description:	xiv, 255 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Model-driven software architectureCongresses.
Online resource:	https://doi.org/10.1007/978-3-031-38821-7
ISBN:	9783031388217$q(electronic bk.)

Model-driven engineering and software development9th nternational Conference, MODELSWAR 2021, virtual event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, virtual event, February 6-8, 2022 : revised selected papers /
Model-driven engineering and software development9th nternational Conference, MODELSWAR 2021, virtual event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, virtual event, February 6-8, 2022 : revised selected papers /[electronic resource] :MODELSWARD 2021edited by Luis Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz. - Cham :Springer Nature Switzerland :2023. - xiv, 255 p. :ill. (some col.), digital ;24 cm. - Communications in computer and information science,17081865-0937 ;. - Communications in computer and information science ;229..

A Digital Twin Description Framework and its Mapping to Asset Administration Shell -- Acknowledging Implementation Trade-offs when Developing with Units of Measurement -- HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments -- Multi-view FMEA Re-Validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering -- PSCS4CPP: A Generative PSCS Implementation for C++ -- Dependency Graphs to Boost the Verification of SysML Models -- Decomposable and Executable Models for Verification of Real-Time Systems -- Comparing Goal-oriented Analysis Techniques: A Controlled Experiment -- A Methodological Framework for SPL Engineering from DSML -- W-Sec: a Model-based Formal Method for Assessing the Impacts of Security Countermeasures -- Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies.

This book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and MODELSWARD 2022, was held virtually due to the COVID-19 crisis on February 8-10, 2021 and February 6-8, 2022. The 11 full papers included in this book were carefully reviewed and selected from 121 submissions. The purpose of the International Conference on model-driven engineering and software development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for system development.

ISBN: 9783031388217$q(electronic bk.)

Standard No.: 10.1007/978-3-031-38821-7doiSubjects--Topical Terms:

445843
Model-driven software architecture
--Congresses.

LC Class. No.: QA76.76.D47

Dewey Class. No.: 005.12

Model-driven engineering and software development9th nternational Conference, MODELSWAR 2021, virtual event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, virtual event, February 6-8, 2022 : revised selected papers /
LDR:03038nmm a2200361 a 4500 001 648376
003 DE-He213
005 20230803163746.0
006 m d
007 cr nn 008maaau
008 240116s2023 sz s 0 eng d
020 $a 9783031388217$q(electronic bk.)
020 $a 9783031388200$q(paper)
024 7 $a 10.1007/978-3-031-38821-7 $2 doi
035 $a 978-3-031-38821-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 2021
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Model-driven engineering and software development $h [electronic resource] : $b 9th nternational Conference, MODELSWAR 2021, virtual event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, virtual event, February 6-8, 2022 : revised selected papers / $c edited by Luis Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz.
246 3 $a MODELSWARD 2021
246 3 $a MODELSWARD 2022
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xiv, 255 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0937 ; $v 1708
505 0 $a A Digital Twin Description Framework and its Mapping to Asset Administration Shell -- Acknowledging Implementation Trade-offs when Developing with Units of Measurement -- HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments -- Multi-view FMEA Re-Validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering -- PSCS4CPP: A Generative PSCS Implementation for C++ -- Dependency Graphs to Boost the Verification of SysML Models -- Decomposable and Executable Models for Verification of Real-Time Systems -- Comparing Goal-oriented Analysis Techniques: A Controlled Experiment -- A Methodological Framework for SPL Engineering from DSML -- W-Sec: a Model-based Formal Method for Assessing the Impacts of Security Countermeasures -- Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies.
520 $a This book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and MODELSWARD 2022, was held virtually due to the COVID-19 crisis on February 8-10, 2021 and February 6-8, 2022. The 11 full papers included in this book were carefully reviewed and selected from 121 submissions. The purpose of the International Conference on model-driven engineering and software development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for system development.
650 0 $a Model-driven software architecture $v Congresses. $3 445843
650 0 $a Computer software $x Development $v Congresses. $3 384490
650 0 $a Software engineering $3 253562
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
650 2 4 $a Programming Language. $3 913494
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Artificial Intelligence. $3 212515
700 1 $a Pires, Luis Ferreira. $3 820715
700 1 $a Hammoudi, Slimane. $3 348351
700 1 $a Seidewitz, Edwin. $3 958114
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer Nature eBook
830 0 $a Communications in computer and information science ; $v 229. $3 547963
856 4 0 $u https://doi.org/10.1007/978-3-031-38821-7
950 $a Computer Science (SpringerNature-11645)