Author:
Wang Xiaoliang,Rutle Adrian
Reference18 articles.
1. D. Méry, N. Singh, Medical protocol diagnosis using formal methods, in: Z. Liu, A. Wassyng (Eds.), Foundations of Health Informatics Engineering and Systems, Vol. 7151 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2012, pp. 1-20. doi:10.1007/978-3-642-32355-3_1.
2. H. Wang, A. Rutle, W. MacCaull, A Formal Diagrammatic Approach to Timed Workflow Modelling, in: Proceedings of TASE 2012: 6th International Conference on Theoretical Aspects of Software Engineering, Vol. 0, IEEE Computer Society, 2012, pp. 167-174.
3. A. Rutle, H. Wang, W. MacCaull, A Formal Diagrammatic Approach to Compensable Workflow Modelling, in: Z. Liu, A. Wassyng (Eds.), Foundations of Health Informatics Engineering and Systems, Vol. 7789 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013, pp. 194-212.
4. A. Rutle, W. MacCaull, H. Wang, Y. Lamo, A Metamodelling Approach to Behavioural Modelling, in: Proceedings of BM-FA 2012: 4th Workshop on Behavioural Modelling: Foundations and Applications, ACM, 2012, pp. 5:1-5:10.
5. B. Selic, The pragmatics of model-driven development, IEEE Softw. 20 (5) (2003) 19-25. doi:10.1109/MS. 2003.1231146.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献