Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence
暂无分享,去创建一个
[1] Marie T. Brown,et al. Medication adherence: WHO cares? , 2011, Mayo Clinic proceedings.
[2] Gabriele Taentzer,et al. AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.
[3] Arend Rensink. The GROOVE Simulator: A Tool for State Space Generation , 2003, AGTIVE.
[4] Upkar Varshney,et al. Smart medication management system and multiple interventions for medication adherence , 2013, Decis. Support Syst..
[5] Uzay Kaymak,et al. Analyzing conformance to clinical protocols involving advanced synchronizations , 2013, 2013 IEEE International Conference on Bioinformatics and Biomedicine.
[6] Tobias Rötschke,et al. MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations , 2006, ECMDA-FA.
[7] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.
[8] Jens H. Weber,et al. SmartMed: A Medication Management System to Improve Adherence , 2015, ITCH.
[9] Juan de Lara,et al. Domain Specific Languages with Graphical and Textual Views , 2007, AGTIVE.
[10] M Mernik,et al. When and how to develop domain-specific languages , 2005, CSUR.
[11] Chi-Sheng Shih,et al. APAMAT: A Prescription Algebra for Medication Authoring Tool , 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.
[12] Gabor Karsai,et al. Challenges and directions in formalizing the semantics of modeling languages , 2011, Comput. Sci. Inf. Syst..
[13] Jane Sinclair,et al. Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.
[14] Juan de Lara,et al. AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.
[15] Reiko Heckel,et al. Graph Transformation in a Nutshell , 2006, FoVMT.