The Bridge from Domaln Modeling to Formal Specification in the Service Creation Process

Peter Koppstein, Margaret E. Nilson. The Bridge from Domaln Modeling to Formal Specification in the Service Creation Process. In Peter A. Ng, C. V. Ramamoorthy, Laurence C. Seifert, Raymond T. Yeh, editors, Proceedings of the First International Conference on Systems Integration, Morristown, NJ, USA, April 1990. pages 643-650, IEEE Computer Society, 1990.

Abstract

Abstract is missing.