A knowledge-based software development environment for scientific model-building

Proceedings - KBSE 1992: 7th Knowledge-Based Software Engineering Conference

Volumn , Issue , 1992, Pages 192-201

  Keller, Richard M ^a   Rimon, Michal ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL LANGUAGES; KNOWLEDGE BASED SYSTEMS; SOFTWARE DESIGN; SOFTWARE PROTOTYPING;

ATMOSPHERIC MODEL; DATA FLOW LANGUAGE; KNOWLEDGE-BASED SOFTWARES; PROTOTYPE SOFTWARE; SCIENTIFIC COMMUNITY; SCIENTIFIC EXPLORATION; SCIENTIFIC MODELING; SCIENTIFIC SOFTWARES;

DATA FLOW ANALYSIS;

EID: 84936031398     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/KBSE.1992.252921     Document Type: Conference Paper

References (30)

1. M. R. Lowry and R. Duran "Knowledge-Based Software Engineering", in the Handbook of Artificial Intelligence, Vol. IV, pp. 243-322, A. Barr and P. Cohen (eds.). New York: Addison-Wesley, 1989.
2. C. P. McKay, J. B. Pollack, and R. Courtin, "The Thermal Structure of Titan's Atmosphere", Icarus, vol. 80, pp. 23-53, 1989.
3. G. F. Lindal, G. E. Wood, H. B. Hotz, D. N. Sweetman, V. R. Eshelman, and G. L. Tyler 1983. "The atmosphere of Titan: An analysis of the Voyager 1 radio occultation measurements", Icarus 53, 348-363.
4. P. P. Nayak, Automated Model Selection using Context-Dependent Behaviors, Ph. D. Thesis, Computer Science Department, Stanford University, 1992, forthcoming.
5. R. V. Guha and D. B. Lenat, "Cyc: A Mid-Term Report", AI Magazine, 11(3), 1990.
6. D. S. Weld and J.deKleer (eds.), Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann Publishers, Palo Alto, CA, 1990.
7. E. Kant, F. Daube, W. MacGregor, and J. Wald, "Scientific Programming by Automated Synthesis", in Automating Software Design, M. R. Lowry and R. D. McCartney (eds.), AAAI Press, Menlo Park, CA, 1991.
8. W. Atwood, R. Blankenbecler, P. F. Kunz, B. Mours & A. Weir, "The Reason Project", Stanford Linear Accelerator Center technical report # SLAC-PUB-5242, Stanford Univ., April 1990.
9. D. Barstow, "Domain-Specific Automatic Programming", IEEE Transactions on Software Engineering, Vol. SE-11, No. 11, pp. 1321-1336, Nov. 1985.
10. D. Barstow, R. Duffey, S. Smoliar, and S. Vestal, "An Overview of Φnix", in Proc. National Conference on Artificial Intelligence (AAAI-82), pp. 367-369, Pittsburgh, PA, August 1982.
11. D. Robertson, A. Bundy, M. Uschold, and R. Muetzelfeldt, "The ECO Program Construction System: ways of increasing its representational power and their effects on the user interface", Intl. J. Man-Machine Studies, Vol. 31:1-26, 1989.
12. D. Robertson, A. Bundy, R. Muetzelfeldt, M. Haggith & M. Uschold, Eco-Logic: Logic-Based Approaches to Ecological Modelling, MIT Press, 1991.
13. H. Abelson, M. Eisenberg, M. Halfant, J. Katzenelson, E. Sacks, G. J. Sussman, J. Wisdom, and K. Yip, "Intelligence in Scientific Computing", Comm. ACM, 32(5):546-562, May 1989.
14. N. Iscoe, "Domain Modeling - Evolving Research", Proc. Sixth Annual Knowledge-Based Software Engineering Conference, pp. 234-236, IEEE Computer Society Press, Los Alamitos, CA, 1991.
15. Khoros/Cantata software product, Khoros Consortium, EECE Department, University of New Mexico, Albuquerque, NM.
16. Iconicode and IDF software products, Iconicon, Palo Alto, CA.
17. AVS software product, Stardent Computer, Inc., Sunnyvale, CA.
18. apE 2.0 software product, Ohio Supercomputer Center, Columbus, OH.
19. Lab VIEW software product, National Instruments, Austin, TX.
20. STELLA and IThink software products, High Performance Systems, Lyme, NH.
21. Extend software product, Imagine That, Inc., San Jose, CA.
22. W. L. Johnson and D. R. Harris "Sharing and Reuse of Requirements Knowledge", in Proc. 6th Annual Knowledge-Based Software Engineering Conference, pp. 57-66, Syracuse, New York, 1991.
23. G. O. Cook, JR. "ALPAL, A Program to Generate Physics Simulation Codes from Natural Descriptions", Intnl. Journal of Modern Physics C, 1(1), 1990, pp. 1-51.
24. J. W. Forrester, Industrial Dynamics, MIT Press, 1961.
25. H. J. Kook, and G. S. Novak, Jr. "Representation of Models for Expert Problem Solving in Physics" in IEEE Transactions on Knowledge and Data Engineering, 3(1), March 1991.
26. B. Ford, and F. Chatelin (eds.). Problem Solving Environments for Scientific Computing, North-Holland, 1987.
27. E. Glinert (ed.). Visual Programming Environments, IEEE Computer Society Press, Los Alamitos, CA, 1990.
28. S. W. Running & J. C. Coughlan, "A General Model of Forest Ecosystem Processes for Regional Applications: I. Hydrologic Balance, Canopy Gas Exchange and Primary Production Processes", Ecological Modelling, 42:125-154, 1988.
29. S. Wolfram, A System for Doing Mathematics by Computer, Addison-Wesley, Redwood City, CA, 1988.
30. B. Falkenhainer and K. D. Forbus, Compositional Modeling: finding the right model for the job, AI Journal, 51:95-143, 1991.