This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
KBMS: A Knowledge-Based System for Modeling Software System Specifications
June 1992 (vol. 4 no. 3)
pp. 238-252

Recent research results in software engineering have shown that the process of formalizing and automating software specification activity is moving towards knowledge-based specification systems. A modeling approach and a knowledge-based system that assist in the requirement acquisition, development, and maintenance of such software system specifications are presented.

[1] L. A. Belady and M. M. Lehman, "The characteristics of large systems," inResearch Directions in Software Technology. Cambridge, MA: MIT , 1979.
[2] R. Brachmann, "What IS-A is and isn't: An analysis of taxonomic links in semantic networks,"IEEE Comput., vol. 16, 1983.
[3] C.J. Date,An Introduction to Database Systems, Vol. II, Addison-Wesley Publishing Co., Reading, Mass., 1983.
[4] C. Rolland, "Database dynamics,"Database, pp. 32-43, spring 1983.
[5] J. Doyle, "A truth maintenance system,"Artificial Intelligence, vol. 12, pp. 231-279, 1979.
[6] N. J. Nilson,Problem-Solving Methods in Artificial Intelligence. New York: MC Graw-Hill, 1971.
[7] A. Newell and H. A. Simon,Human Problem Solving. Englewood Cliffs, NJ: Prentice-Hall, 1971.
[8] M. P. Georgeff and A. L. Lansky, "A system for reasoning in dynamic domains: Fault diagnosis on the space shuttle," Technical Note 375, SRI International, pp. 1-75, Jan. 1986.
[9] M. Minsky, "A framework for representing knowledge," inThe Psychology of Computer Vision, P. H. Winston, ed. New York: MC Graw-Hill, 1975.
[10] E. D. Sacerdoti, "Planning in a hierarchy of abstraction spaces,"Artificial Intelligencevol. 5, pp. 115-135, 1974.
[11] K. E. Carlisle,Analyzing Jobs and TasksEnglewood Cliffs, NJ: Educational Technology, 1986.
[12] Handbook for Designers of Instructional Systems, vol. II Headquarters, U.S.A.F., AFP 50-58, Washington, DC, 1973.
[13] S. F. Fickas, "Automating the transformational development of software,"IEEE Trans. Software Eng., vol. SE-11, no. 11, pp. 1268- 1278, Nov. 1985.
[14] R. Balzer, "Transformational implementation: An example,"IEEE Trans. Software Eng., vol. SE-7, pp. 3-14, 1981.
[15] P. London, and M. Feather, "Implementing specification freedoms,"Sci. Comput. Program., no. 2, pp. 91-131, 1982.
[16] W. L. Johnson, "Overview of the knowledge-based specification assistant," inProc. Second Knowledge-Based Software Assistant Conf., Rome Air Development Center, 1987.
[17] C. Greenet al., "Report on a knowledge-based software assistant," inReadings in Artificial Intelligence and Software Engineering, C. Richard and R. Waters, Eds. Los Altos, CA: Morgan Kaufmann, 1986.
[18] M. Lubars and M. Harandi, "Knowledge-based software design using design schemas," inProc. Ninth Int. Conf. Software Engineering, Monterey, CA, 1987, pp. 253-262.
[19] C. Rich and R. C. Waters, "The programmer's apprentice: A research overview"Comput., vol. 21, no. 11, pp. 10-25, Nov. 1988.
[20] M. S. Feather, "A survey and classification of some program transformation approaches and techniques," inProgram Specification and Transformation, L. G. L. T. Meertens, Ed. Amsterdam, The Netherlands, North-Holland, 1987, pp. 165-198.
[21] R. C. Waters, "The programmer's apprentice: Knowledge-based program editing,"IEEE Trans. Software Eng., vol. SE-8, pp. 1-12, Jan. 1982.
[22] K. Zeroual, "An approach for automating the specification-acquisition process," inProc. 4th Workshop on Automating Software Design, IJCAI- 89, Detroit, MI, Aug. 1989, pp. 303-306.
[23] S. Motoshi, H. Hisayuki, and E. Hajime, "Software development process from natural language specification," inProc. 11th Int. Conf. on Software Engineering, Pittsburg, Apr. 1989, pp. 64-73.
[24] T. A. Kinoshita, "Knowledge acquisition model with applications for requirements specification and definition,"SIGART Newslett., no. 108, pp. 166-168, Apr. 1989.
[25] A. Borgida, S. Grennspan, and J. Mylopoulos, "Knowledge representations as the basis for requirements specifications,"IEEE Comput., vol. 10, pp. 82-91, 1985.
[26] D. E. Perry, "Software interconnection models," inProc. 9th Int. Conf. Software Engineering, Monterey, CA, Mar. 1987, pp. 61-69.
[27] P.J. Barnard, M.D. Wilson, and A. MacLean, "Approximate Modeling of Cognitive Activity with an Expert System: A Theory Based Strategy for Developing an Interactive Design Tool,"Computer J., Vol. 31, No. 5, Oct. 1988, pp. 445-456.
[28] Sowa, J.F.,Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, Mass., 1984. (Conceptual Graphs)
[29] J. Misra, "A technique of algorithm construction on sequences,"IEEE Trans. Software Eng., vol. SE-4, pp. 65-69, 1978.
[30] K. Zeroual and N. Rivard, "ERMES: An entity-relationship modelling expert system," in Proc. 6th IASTED Int. Symp. on Expert Systems Theory and Applications, Los Angeles, Dec. 1989, pp. 45-48.

Index Terms:
knowledge-based system; modeling software system specifications; software engineering; requirement acquisition; formal specification; knowledge acquisition; knowledge based systems
Citation:
K. Zeroual, P.-N. Robillard, "KBMS: A Knowledge-Based System for Modeling Software System Specifications," IEEE Transactions on Knowledge and Data Engineering, vol. 4, no. 3, pp. 238-252, June 1992, doi:10.1109/69.142015
Usage of this product signifies your acceptance of the Terms of Use.