Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specification with Class: A Brief History of Object-Z;Lecture Notes in Computer Science;2020
2. Reflective Constraint Writing;Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV;2016
3. The Formal Design Model of an Automatic Teller Machine (ATM);International Journal of Software Science and Computational Intelligence;2010-01
4. The Formal Design Model of a Lift Dispatching System (LDS);International Journal of Software Science and Computational Intelligence;2009-10
5. A HINDSIGHT ON FORMAL METHODS AND PROSPECTS OF SEMANTIC COMPUTING IN SOFTWARE ENGINEERING;International Journal of Semantic Computing;2009-03