Many research works had the aim of creating frameworks able to model systems, of defining their requirements and properties, and of verifying their satisfiability. Many approaches involve the usage of the Model Driven Engineering throughout the whole system lifecycle in order to build systems that are correct by construction. Using models as primary artefacts helps to reduce costs and time of development. The possibility of having automatic code generation from model tools en- A ct the possibility to produce (theoretically) bug-free code starting from correct models. In this work we describe the usage of a modelling and verification tool, MetaMORP(h)OSY, for performing quality control in E-Health Domain. © 2020 CEUR-WS. All rights reserved.
Privacy-aware design for E-Health Information Systems / Amato, F.; Cozzolino, G.; Moscato, F.; Moscato, V.; Picariello, A.; Sperlì, G.. - 2646:(2020), pp. 175-185.
Privacy-aware design for E-Health Information Systems
Amato, F.;Cozzolino, G.;Moscato, F.;Moscato, V.;Picariello, A.;Sperlì, G.
2020
Abstract
Many research works had the aim of creating frameworks able to model systems, of defining their requirements and properties, and of verifying their satisfiability. Many approaches involve the usage of the Model Driven Engineering throughout the whole system lifecycle in order to build systems that are correct by construction. Using models as primary artefacts helps to reduce costs and time of development. The possibility of having automatic code generation from model tools en- A ct the possibility to produce (theoretically) bug-free code starting from correct models. In this work we describe the usage of a modelling and verification tool, MetaMORP(h)OSY, for performing quality control in E-Health Domain. © 2020 CEUR-WS. All rights reserved.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
