Transforming an Enterprise E-Health System from Process Oriented to Model Driven Architecture
暂无分享,去创建一个
Miloš Bogdanović | Leonid Stoimenov | Goran Velinov | Blagoj Atanasovski | Margita Kon-Popovska | Dragan Sahpaski | Boro Jakimovski | Irena Skrceska | Dragan Jankovic | D. Jankovic | B. Jakimovski | L. Stoimenov | M. Kon-Popovska | G. Velinov | Dragan Sahpaski | Blagoj Atanasovski | Miloš Bogdanović | Irena Skrceska
[1] Valerie M. Jones. REALIZATION OF CCR IN C , 1995 .
[2] Arend Rensink,et al. Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise , 2005, EDOC.
[3] Hannes Schlieter,et al. Towards Model Driven Architecture in Health Care Information System Development , 2015, Wirtschaftsinformatik.
[4] Jan Tretmans,et al. Automatic Testing with Formal Methods , 1999 .
[5] Arend Rensink,et al. A formal MDA approach for mobile health systems , 2004 .
[6] Vasa Curcin,et al. Model-driven approach to data collection and reporting for quality improvement , 2014, J. Biomed. Informatics.
[7] Gerard J. Holzmann,et al. The SPIN Model Checker , 2003 .
[8] Shin Nakajima,et al. The SPIN Model Checker : Primer and Reference Manual , 2004 .
[9] Dimitri Konstantas,et al. Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).
[10] Diego Latella,et al. Correctness Preserving Transformations for the Early Phases of Software Development , 1992 .
[11] Stephen J. Mellor,et al. MDA Distilled Principles Of Model-Driven Architecture , 2004 .
[12] Goran Velinov,et al. EHR System MojTermin: Implementation and Initial Data Analysis , 2015, MIE.
[13] Valerie M. Jones. Engineering an implementation of the OSI CCR Protocol using the information systems engineering techniques of formal specification and program transformation , 1997 .