Author:
Liu Qiang,Dou Liang,Yang Zongyuan
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Crane, M.L.: Slicing UML’s Three-layer Architecture: A Semantic Foundation for Behavioural Specification. PhD thesis, Queen’s University (January 2009)
2. Lecture Notes in Computer Science;J. Kohlmeyer,2010
3. Kuske, S., Gogolla, M., Kreowski, H.-J., Ziemann, P.: Towards an integrated graph-based semantics for UML. Softw. Syst. Model (2009)
4. Claßen, J., Lakemeyer, G.: A logic for non-terminating Golog programs. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR), pp. 589–599 (2008)
5. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)