Author:
Sendall Shane,Strohmeier Alfred
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. J. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. Lect Notes Comput Sci;K. Achatz,1997
3. A. Borigda, J. Mylopoulos and R. Reiter. On the Frame Problem in Procedure Specifications. IEEE Transactions on Software Engineering, Vol. 21, No. 10: October 1995, pp. 785–798.
4. J-M. Bruel and R. France. Transforming UML models to formal specifications. Proceedings of the OOPSLA’98 Workshop on Formalizing UML: Why? How?, Vancouver, Canada, 1998.
5. P. Chen; The Entity-Relationship Model—Toward A Unified View of Data. ACM Transactions on Database Systems, 1(1), 1976, pp. 9–36.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献