skip to main content
article
Free access

Knowledge engineering for software design

Published: 03 January 1988 Publication History

Abstract

No abstract available.

References

[1]
Biewald, J., P. Goehner R. Lauber, and H. Schelling (1979). EPOS - A specification and design technique for computer controlled real-time automation systems, Proceedings of the 4th International Conference on Software Engineering, Munich, IEEE Computer Society, 245--250.
[2]
Bobrow, D. (1985). Qualitative Reasoning about Physical Systems, MIT Press, Cambridge, MA.
[3]
Cherry, G. W. (1986). The PAMELA Designer's Handbook, The Analytical Sciences Corporation, Arlington, VA.
[4]
Cooke, N. M., and J. E. McDonald (1986). A formal methodology for acquiring and representing expert knowledge, Proceedings of the IEEE, 74, 10, 1422--1430.
[5]
De Kleer, J. (1984). How circuits work, Artificial Intelligence, 24. Reprinted in Borbow (1984), 7--831
[6]
DuBois, E., J. Hagelstein, E. Lahou, F. Ponsaert, and A. Rifaut (1986). A knowledge representation language for requirements engineering, Proceedings of the IEEE, 74, 10, 1431--1444.
[7]
Fischer, Gerhard (1987). Cognitive view of reuse and redesign, IEEE Software, 4, 4, 60--72.
[8]
Floyd, R. W. (1972). Toward interactive design of correct programs. Information Processing 71: Proceedings of IFIP Congress 1971, 1, North-Holland, Amsterdam, 7--10.
[9]
Floyd, R. W. (1967). Assigning meanings to programs, Proceedings of the American Mathematical Society Symposia in Applied Mathematics, 19, 19--31.
[10]
Greenspan, S. J., and J. Mylopoulos (1982). Capturing more world knowledge in the requirements specification, Proceedings of the 6th International Conference on Software Engineering, Tokyo, 225--234.
[11]
Hamilton, M., and S. Zeldin (1976). Higher-order software - a methodology for defining software, IEEE Trans. Software Engineering, SE-2, 1, 9--32.
[12]
Harel, David (1980). AND/OR programs: A new approach to structured programming, ACM Transactions in Programming Languages and Systems, 2, 1, 1--17.
[13]
Hoare, C. A. R. (1969). An axiomatic approach to computer programming, Communications of the ACM, 12, 10, 576--580.
[14]
IntelliCorp (1986). The SimKit System: Knowledge-Based Simulation Tools in KEE, Document No. 1.1-USK-1, IntelliCorp, Mountain View, CA.
[15]
Jackson, M. A. (1975). Principles of Program Design, Academic Press, New York.
[16]
Kaiser, G. E., and D. Garlan (1987). Melding software systems from reusable building blocks, IEEE Software, 4, 4, 17--24.
[17]
Kuipers. B. (1984). Commonsense reasoning about causality: Deriving behavior from structure, Artificial Intelligence, 24. Reprinted in (Bobrow, 1985), 169--204.
[18]
Mills, H. D. (1986). Structured programming: Retrospect and prospect, IEEE Software, 3, 6, 58--66.
[19]
Page-Jones, M. (1980). The Practical Guide to Structured Systems Design, Yourdon Press, New York.
[20]
Parnas, D. L. (1972). On the criteria to be used in decomposing systems into mudules, Communications of the ACM, 15, 2, 1053--1058.
[21]
Reeker, L. H. (1986). Extended AND/OR graphs and parallel programming in a graphic environment, Proceedings of International Computing Symposium 1986, Tainan, Taiwan, December 1986, 138--146.
[22]
Roediger, H. L., and T. A. Blaxton (1987). Retrieval modes produce dissociations in memory for surface information. In Memory and Cognitive Processes: The Ebbinghaus Centennial Conference, ed. D. S. Gorfein and R. R. Hoffman, Erlbaum, Hillsdale, NJ.
[23]
Schacter, D., and P. Graf (1986). Effects to elaborative processing on implicit and explicit memory for new associations, Journal of Experimental Psychology: Learning, Memory and Cognition, 12, 432--44.
[24]
Suwa, M., A. C. Scott, and E. H. Shortliffe (1982). An approach to verifying completeness and consistency in a rule-based expert system, The AI Magazine, 3, 3, 16--21.
[25]
Weinberg, G. M. (1971). The Psychology of Computer Programming, Van Nostrand Reinhold, New York.
[26]
Winograd, T. (1979). Beyond programming languages, Communications of the ACM, 22, 7, 391--401.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 13, Issue 1
Jan. 1988
72 pages
ISSN:0163-5948
DOI:10.1145/43857
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 January 1988
Published in SIGSOFT Volume 13, Issue 1

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 126
    Total Downloads
  • Downloads (Last 12 months)24
  • Downloads (Last 6 weeks)4
Reflects downloads up to 10 Feb 2025

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media