This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Conceptual Modeling in the Context of Development
October 1989 (vol. 15 no. 10)
pp. 1176-1187

[1] Ramamoorthy, C.V. et al. 1984. "Software Engineering: Problems and Perspectives."IEEE Computer, October, pp. 191-209.
[2] B. P. Lientz, "Issues in software maintenance,"ACM Comput. Surveys, vol. 15, no. 3, pp. 271-278, Sept. 1983.
[3] I. Shemer, "Systems analysis: A systemetic analysis of a conceptual model,"Commun. ACM, vol. 30 no. 6, pp. 506-512, June 1987.
[4] R. T. Yeh, P. Zave, A. P. Conn, and G. E. Cole, "Software requirements: New directions and perspectives," inHandbook of Software Engineering, C. R. Vick, Ed. New York: Van Nostrand Reinhold, 1984, pp. 519-543.
[5] R. Balzer, T. Cheatham, and C. Green, "Software technology in the 1990's using a new paradigm,"Computer, vol. 16, pp. 39-45, 1983.
[6] Harel, D., "On Visual Formalisms,"Comm. ACM, Vol. 31, No. 5, 1988, pp. 514-530.
[7] C. H. Kung, "An analysis of three conceptual models with time perspective," inInformation Systems Design Methodologies: A Feature Analysis, Olleet al., Eds. Amsterdam, The Netherlands: North-Holland, 1983, pp. 141-168.
[8] H. Sakai and H. Horiuchi, "A method for behaviour modelling in data oriented approach to systems design," inProc. Int. Conf. Data Engineering (COMPDEC), 1984, pp. 492-499.
[9] C. H. Kung and A. Solvberg, "Activity modeling and behavior modeling of information systems." inInformation Systems Design Methodologies: Improving the Pra, Olleet al., Eds. Amsterdam, The Netherlands: North-Holland, 1986, pp. 145-171.
[10] C. H. Kung, "Process interface modeling and consistency checking," Dep, Comput. Sci., Univ. Iowa, 1988, submitted for publication.
[11] P. P. Chen, "The Entity-Relationship Model -- Towards a Unified View of Data,"ACM Trans. Database Syst., Vol. 1, No. 1, Mar. 1976, pp. 9-36.
[12] T. DeMarco,Structured Analysis and System Specification, New York: Yourdon, 1978.
[13] C. Gane and T. Sarson,Structured System Analysis. McDonnell Douglas, 1982.
[14] E. Yourdon,Modern Structured Analysis, Yourdon Press, New York, 1989.
[15] S. Yau and M, U. Caglayan, "Distributed software system design representation using modified Petri nets,"IEEE Trans. Software Eng., vol. SE-9. no. 6, pp. 733-745, Nov. 1983.
[16] P. T. Ward, "The transformation schema: An extension of the data flow diagram to represent control and timing,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 198-210, Feb. 1986.
[17] C. A. Petri, "Kommunikation mit Automaten," Ph.D dissertation (in German), translation by C. F. Greene, Supplement 1 to Tech. Rep. RADC-TR-65-337, vol. I, Rome Air Development Center, Griffiss Air Force Base, NY, 1965.
[18] G. Booch, "Object-oriented development,"IEEE Trans. Software Eng., vol. SE-12, pp. 211-221, Feb. 1986.
[19] R. Fikes and T. Kehler, "The role of frame-based representation in reasoning,"Commun. ACM, vol. 28, pp. 904-920, Sept. 1985.
[20] F. Bry and R. Manthes, "Checking consistency of database constraints: A logical approach." inProc. Very Large Data Bases Conf., Kyoto, Japan, 1986, pp. 13-20.
[21] R. A. Kemmerer, "Testing formal specifications to detect design errors,"IEEE Trans. Software Eng., vol. SE-11, no. 1, pp. 32-43, Jan. 1985.
[22] C. H. Kung, "A temporal framework for database specification and verification," inProc, 10th Int. Conf. VLDB, 1984, pp. 91-99.
[23] P. Freeman and A. v. Staa, "Toward a theory of software engineering," Dep. Inform. Comput. Sci., Univ. California, Irvine, Tech. Rep. 242, Nov. 1984.
[24] M. Adler, "An algebra for data flow diagram process decomposition,"IEEE Trans. Software Eng., vol. SE-14, no. 2, pp. 169-183, Feb. 1988.
[25] C. J. Date,An Introduction to Database Systems, vols. 1 and 2. Reading, MA: Addison-Wesley, vol. 1, 1981, vol. 2, 1983.
[26] C. H. Kung, "A tableaux approach for consistency checking," inTheoretical and Formal Aspect of Information Systems, A. Sernadas,et al., Eds. Amsterdam, The Netherlands, 1985, pp. 191-207.
[27] C. Kung, "On verification of database temporal constraints," inProc. ACM SIGMOD Conf., 1985, pp. 169-179.
[28] A. Solvberg and C. H. Kung, "On structural and behavioral modeling of reality" inDatabase Semantics, R. Meersman,et al., Eds. Amsterdam, The Netherlands: North-Holland, 1985, pp. 205-218.
[29] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[30] J. C. King, "Symbolic execution and program testing,"Commun. ACM, vol. 19, no. 7, pp. 385-394, 1976.
[31] A. Sølvberg and D. Kung,Information Systems Engineering, Springer-Verlag, Berlin, 1993.
[32] G. Sindre, "Abstraction of behavior net models," Dep. Comput. Sci., Norwegian Inst. Technol., Tech. Rep. 38/87, May 1987.
[33] H. C. Hansen and H. Lund-Hanssen, "Executable specifications based on Kung and Solvberg's behavior net model," Dep. Comput, Sci., Norwegian Inst. Technol., Tech. Rep. 24/87, 1987.
[34] C. H. Kung and A. Solvberg, "Knowledge representation: A behavior approach," Dep. Comput. Sci., Norwegian Inst. Technol., Decentralized Architecture in Software Engineering Environment, Project Rep. 53, Oct. 1985.
[35] M.R. Genesereth and M.L. Ginsberg, "Logic Programming,"Comm. ACM, Sept. 1985, pp. 933-941.

Index Terms:
Conceptual modeling; consistency checking; executable specification; formal analysis of model; requirements specification
Citation:
C.H. Kung, "Conceptual Modeling in the Context of Development," IEEE Transactions on Software Engineering, vol. 15, no. 10, pp. 1176-1187, Oct. 1989, doi:10.1109/TSE.1989.559766
Usage of this product signifies your acceptance of the Terms of Use.