Model-Driven Engineering and Software Development
portes grátis
Model-Driven Engineering and Software Development
9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers
Pires, Luis Ferreira; Seidewitz, Edwin; Hammoudi, Slimane
Springer International Publishing AG
08/2023
255
Mole
Inglês
9783031388200
15 a 20 dias
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;artificial intelligence;computational linguistics;computer programming;computer systems;distributed computer systems;embedded systems;Field Programmable Gate Array (FPGA);graph theory;knowledge-based system;model transformation;object-oriented programming;parallel processing systems;software architecture;software design;software engineering
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;artificial intelligence;computational linguistics;computer programming;computer systems;distributed computer systems;embedded systems;Field Programmable Gate Array (FPGA);graph theory;knowledge-based system;model transformation;object-oriented programming;parallel processing systems;software architecture;software design;software engineering
