Author:
Conrad Stefan,Saake Gunter
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. S. Conrad. Compositional Object Specification and Verification. In I. Rozman and M. Pivka, eds., Proc. Int. Conf. on Software Quality (ICSQ'95), Maribor, Slovenia, pp. 55–64, 1995.
2. S. Conrad. A Basic Calculus for Verifying Properties of Interacting Objects. IEEE Transactions on Knowledge & Data Engineering, 18(2):119–146, 1996.
3. E. Dubois, P. Du Bois, and M. Petit. O-O Requirements Analysis: An Agent Perspective. In O. Nierstrasz, ed., ECOOP'93-Object-Oriented Programming (Proceedings), pp. 458–481, Springer-Verlag LNCS 707, 1993.
4. J. Fiadeiro and T. Maibaum. Temporal Reasoning over Deontic Specifications. Journal of Logic and Computation, 1(3):357–395, 1991.
5. R. B. Feenstra and R. J. Wieringa. LCM 3.0: A Language for Describing Conceptual Models. Technical Report, Faculty of Mathematics and Computer Science, VU Amsterdam, 1993.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献