A Formal Foundation
Publisher
Springer-Verlag
Reference29 articles.
1. J. Jürjens. A UML statecharts semantics with message-passing. In H. Haddad, G. Papadopoulos, and B. Panda, editors. Proceedings of the 2002 Symposium of Applied Computing (SAC). ACM Press, 2002. Lamont et al [LHPP02], pages 1009–1013.
2. J. Jürjens. Formal semantics for interacting UML subsystems. In B. Jacobs and A. Rensink, editors, 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), pages 29–44. International Federation for Information Processing (IFIP), Kluwer Academic, Dordrecht, 2002.
3. Lecture Notes in Computer Science;M. Broy,2000
4. Lecture Notes in Computer Science;J. Jürjens,2003
5. M. Broy. Algebraic specification of reactive systems. Theoretical Computer Science, 239(1):3–40, 2000.