KBMS: A Knowledge-Based System for Modeling Software System Specifications.

@article{DBLP:journals/tkde/ZeroualR92,
  author    = {Kacem Zeroual and
               Pierre N. Robillard},
  title     = {KBMS: A Knowledge-Based System for Modeling Software System Specifications},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {4},
  number    = {3},
  year      = {1992},
  pages     = {238-252},
  ee        = {db/journals/tkde/ZeroualR92.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1992 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

Ronald J. Brachman: What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks. IEEE Computer 16(10): 30-36(1983)

[3]

C. J. Date: An Introduction to Database Systems, Volume II. Addison-Wesley 1983, ISBN 0-201-14474-3

[4]

...

[5]

Jon Doyle: A Truth Maintenance System. Artif. Intell. 12(3): 231-272(1979)

[6]

...

[7]

...

[8]

...

[9]

...

[10]

Earl D. Sacerdoti: Planning in a Hierarchy of Abstraction Spaces. Artif. Intell. 5(2): 115-135(1974)

[11]

...

[12]

...

[13]

Stephen Fickas: Automating the Transformational Development of Software. IEEE Trans. Software Eng. 11(11): 1268-1277(1985)

[14]

Robert Balzer: Transformational Implementation: An Example. IEEE Trans. Software Eng. 7(1): 3-14(1981)

[15]

Philip E. London, Martin S. Feather: Implementing Specification Freedoms. Sci. Comput. Program. 2(2): 91-131(1982)

[16]

...

[17]

...

[18]

...

[19]

Charles Rich, Richard C. Waters: The Programmer's Apprentice: A Research Overview. IEEE Computer 21(11): 10-25(1988)

[20]

...

[21]

Richard C. Waters: The Programmer's Apprentice: Knowledge Based Programm Editing. IEEE Trans. Software Eng. 8(1): 1-12(1982)

[22]

...

[23]

Motoshi Saeki, Hisayuki Horai, Hajime Enomoto: Software Development Process from Natural Language Specification. ICSE 1989: 64-73

[24]

...

[25]

Alexander Borgida, Sol J. Greenspan, John Mylopoulos: Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). Wissensbasierte Systeme 1985: 152-169

[26]

Dewayne E. Perry: Software Interconnection Models. ICSE 1987: 61-71

[27]

P. Barnard, M. Wilson, A. Maclean: Approximate Modelling of Cognitive Activity with and Expert System: A Theory-Based Strategy for Developing an Interactive Design Tool. Comput. J. 31(5): 445-456(1988)

[28]

John F. Sowa: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley 1984, ISBN 0-201-14472-7

[29]

Jayadev Misra: A Technique of Algorithm Construction on Sequences. IEEE Trans. Software Eng. 4(1): 65-69(1978)

[30]

...