Issue No. 10 - October (1989 vol. 15)
Conceptual modeling; consistency checking; executable specification; formal analysis of model; requirements specification
C. Kung, "Conceptual Modeling in the Context of Development," in IEEE Transactions on Software Engineering, vol. 15, no. , pp. 1176-1187, 1989.