Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Cook, S., Daniels, J.: Designing Object Systems. Prentice Hall, Englewood Cliffs (1994)
2. Lecture Notes in Computer Science;J.C. Bicarregui,1997
3. Evans, A., France, R., Lano, K., Rumpe, B.: Developing the UML as a formal modeling language. In: UML 1998 Conference, Mulhouse, France (1998)
4. Gogolla, M., Richters, M.: Equivalence Rules for UML Class Diagrams. In: UML (1998)
5. Lecture Notes in Computer Science;S. Goldsack,1997
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Laws of Timed State Machines;The Computer Journal;2023-12-22
2. An integrated semantics for reasoning about SysML design models using refinement;Software & Systems Modeling;2015-09-01
3. System Analysis and Modeling Using SysML;IT Convergence and Security 2012;2012-12-11
4. Verification of UML Models;UML 2 Semantics and Applications;2009-10-19
5. Axiomatic Semantics of State Machines;UML 2 Semantics and Applications;2009-10-19