Synthesis of Mathematical-Modeling Software

IEEE Software

Volumn 10, Issue 3, 1993, Pages 30-41

  Kant, Elaine ^a  

^a SCHLUMBERGER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS;

MATHEMATICAL MODELLING SOFTWARE; SOFTWARE SYNTHESIS;

COMPUTER SOFTWARE;

EID: 0027595054     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.210600     Document Type: Article

References (6)

1. S. Wolfram, A System for Doing lathematics by Computer, Addison-Wesley, Reading, Mass., 1988.
2. D. Smith et al., “Research on Knowledge-Based Sofwarc F.nvironments at Kestrel Institute,” lKEF. Trims. Software Eng., Nov. 1985, pp. 1278–1295.
3. C. Rich and Y. Fehlman, “Seven Layers of Knowledge Representation and Reasoning in Support of Software Development,” IEEE Trarns. Software Eng., June 1992, pp. 451-469.
4. E. Kant, “On the Efficient Synthesis of Efficient Programs,” in Readings in Artificial Intelligence and Software Eng., C. Rich and R. Wa-ters, eds., Morgan Kauffnann, New York, 1986, pp. 157–183.
5. E. Kant, “Data Relationships and Software Design,” in Automating Software Design, M. Lowry and R. McCartney, eds., AAAI Press/M IT Press, Menlo Park, Calif., 1991, pp. 141–168.
6. R. Keller and M. Rimon, “A Knowledge-Based Software Development Environment for Scientific Model-Building,” Proc. Knowledge-Based Software Eng. Confi, IEEE CS Press, Los Alamitos, Calif., pp. 192–201.