KBMS: A Knowledge-Based System for Modeling Software System Specifications.
Kacem Zeroual, Pierre N. Robillard:
KBMS: A Knowledge-Based System for Modeling Software System Specifications.
IEEE Trans. Knowl. Data Eng. 4(3): 238-252(1992)@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}
}
BibTeX
Abstract
Copyright © 1992 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
BibTeX
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) BibTeX
- [3]
- C. J. Date:
An Introduction to Database Systems, Volume II.
Addison-Wesley 1983, ISBN 0-201-14474-3
BibTeX
- [4]
- ...
- [5]
- Jon Doyle:
A Truth Maintenance System.
Artif. Intell. 12(3): 231-272(1979) BibTeX
- [6]
- ...
- [7]
- ...
- [8]
- ...
- [9]
- ...
- [10]
- Earl D. Sacerdoti:
Planning in a Hierarchy of Abstraction Spaces.
Artif. Intell. 5(2): 115-135(1974) BibTeX
- [11]
- ...
- [12]
- ...
- [13]
- Stephen Fickas:
Automating the Transformational Development of Software.
IEEE Trans. Software Eng. 11(11): 1268-1277(1985) BibTeX
- [14]
- Robert Balzer:
Transformational Implementation: An Example.
IEEE Trans. Software Eng. 7(1): 3-14(1981) BibTeX
- [15]
- Philip E. London, Martin S. Feather:
Implementing Specification Freedoms.
Sci. Comput. Program. 2(2): 91-131(1982) BibTeX
- [16]
- ...
- [17]
- ...
- [18]
- ...
- [19]
- Charles Rich, Richard C. Waters:
The Programmer's Apprentice: A Research Overview.
IEEE Computer 21(11): 10-25(1988) BibTeX
- [20]
- ...
- [21]
- Richard C. Waters:
The Programmer's Apprentice: Knowledge Based Programm Editing.
IEEE Trans. Software Eng. 8(1): 1-12(1982) BibTeX
- [22]
- ...
- [23]
- Motoshi Saeki, Hisayuki Horai, Hajime Enomoto:
Software Development Process from Natural Language Specification.
ICSE 1989: 64-73 BibTeX
- [24]
- ...
- [25]
- Alexander Borgida, Sol J. Greenspan, John Mylopoulos:
Knowledge Reperesentation as the Basis for Requirements Specification (Reprint).
Wissensbasierte Systeme 1985: 152-169 BibTeX
- [26]
- Dewayne E. Perry:
Software Interconnection Models.
ICSE 1987: 61-71 BibTeX
- [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) BibTeX
- [28]
- John F. Sowa:
Conceptual Structures: Information Processing in Mind and Machine.
Addison-Wesley 1984, ISBN 0-201-14472-7
BibTeX
- [29]
- Jayadev Misra:
A Technique of Algorithm Construction on Sequences.
IEEE Trans. Software Eng. 4(1): 65-69(1978) BibTeX
- [30]
- ...
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:27:30 2009