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.
2020
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/822848
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact