-
1
-
-
84909460707
-
Interim Report from the Study Group on Database Management Systems
-
ANSI/X3/SPARC
-
ANSI/X3/SPARC. “Interim Report from the Study Group on Database Management Systems”. FDT Bulletin of the ACM, 7(2), 1975.
-
(1975)
FDT Bulletin of the ACM
, vol.7
, Issue.2
-
-
-
4
-
-
0019243320
-
Information Modeling in the Context of System Development
-
North-Holland
-
Bubenko, J.A.jr. “Information Modeling in the Context of System Development”. Proc. IFIP 1980, North-Holland, 1980, pp. 395-411.
-
(1980)
Proc. IFIP 1980
, pp. 395-411
-
-
Bubenko, J.A.1
-
6
-
-
0032732449
-
What Are Ontologies, and Why Do We Need Them?
-
January/February 99
-
Chandrasekaran, B.; Josephson, J.R.; Benjamins, V.R. “What Are Ontologies, and Why Do We Need Them?”. IEEE Intelligent Systems, January/February 99, pp. 20-26.
-
IEEE Intelligent Systems
, pp. 20-26
-
-
Chandrasekaran, B.1
Josephson, J.R.2
Benjamins, V.R.3
-
9
-
-
0011269091
-
Toward Principles for the Design of Ontologies Used for Knowledge Sharing
-
In N. Guarino and R. Poli, (Eds.), Padova, Italy
-
Gruber, T.R. “Toward Principles for the Design of Ontologies Used for Knowledge Sharing”. In N. Guarino and R. Poli, (Eds.), International Workshop on Formal Ontology, Padova, Italy. August 1993.
-
(1993)
International Workshop on Formal Ontology
-
-
Gruber, T.R.1
-
10
-
-
0034188338
-
-
IEEE Software, May/June
-
Gunter, C.A.; Gunter, E.L.; Jackson, M.; Zave, P. A Reference Model for Requirements and Specifications. IEEE Software, May/June 2000, pp. 37-43.
-
(2000)
A Reference Model for Requirements and Specifications
, pp. 37-43
-
-
Gunter, C.A.1
Gunter, E.L.2
Jackson, M.3
Zave, P.4
-
11
-
-
84958795105
-
-
ISO/TC97/SC5/WG3 Concepts and Terminology for the Conceptual Schema and the Information Base, J.J. Van Griethuysen (ed.) March
-
ISO/TC97/SC5/WG3 Concepts and Terminology for the Conceptual Schema and the Information Base, J.J. Van Griethuysen (ed.) March 1982.
-
(1982)
-
-
-
14
-
-
0029191909
-
Deriving Specifications from Requirements: An Example
-
Press
-
Jackson, M.; Zave, P. Deriving Specifications from Requirements: an Example. Proc. ICSE’95. IEEE Computer Soc. Press, pp. 15-24.
-
Proc. ICSE’95. IEEE Computer Soc
, pp. 15-24
-
-
Jackson, M.1
Zave, P.2
-
16
-
-
0021304178
-
Concepts and Terminology for the Conceptual Schema and the Information Base
-
Jardine, D.A. Concepts and Terminology for the Conceptual Schema and the Information Base. Computers & Standards 3 (1984), pp. 3-17.
-
(1984)
Computers & Standards
, vol.3
, pp. 3-17
-
-
Jardine, D.A.1
-
18
-
-
17744364773
-
-
The Model Driven Architecture: Practice and Promise. Addison-Wesley
-
Kleppe, A.; Warmer, J.; Bast, W. MDA Explained. The Model Driven Architecture: Practice and Promise. Addison-Wesley, 2003, 170 p.
-
(2003)
MDA Explained
, pp. 170
-
-
Kleppe, A.1
Warmer, J.2
Bast, W.3
-
19
-
-
84976816925
-
Algorithm = Logic + Control
-
Kowalski, R. “Algorithm = Logic + Control”. Comm. ACM, 22(7), 1979, pp. 424-436.
-
(1979)
Comm. ACM
, vol.22
, Issue.7
, pp. 424-436
-
-
Kowalski, R.1
-
20
-
-
0242578047
-
-
IEEE Software, Nov/Dec
-
Letbridge, T.C.; Singer, J, Forward, A. “How Software Engineers Use Documentation: The State of the Practice”. IEEE Software, Nov/Dec 2003, pp. 35-39.
-
(2003)
How Software Engineers Use Documentation: The State of The Practice”
, pp. 35-39
-
-
Letbridge, T.C.1
Singer, J.2
Forward, A.3
-
23
-
-
0141947425
-
-
Principles, Patterns and Practices. Prentice Hall
-
Martin, R.C. Agile Software Development. Principles, Patterns and Practices. Prentice Hall, 2003, 529 p.
-
(2003)
Agile Software Development
, pp. 529
-
-
Martin, R.C.1
-
24
-
-
25144446585
-
The Role of Knowledge Representation in the Development of Specifications
-
North-Holland
-
Mylopoulos, J. “The Role of Knowledge Representation in the Development of Specifications”. Proc IFIP-86, North-Holland, 1986, pp. 317-319.
-
(1986)
Proc IFIP-86
, pp. 317-319
-
-
Mylopoulos, J.1
-
26
-
-
35248858814
-
An Introduction to Conceptual Modeling of Information Systems
-
In Piattini, M.; Díaz, O. (Eds.)
-
Olivé, A. “An Introduction to Conceptual Modeling of Information Systems”. In Piattini, M.; Díaz, O. (Eds.) Advanced Database Technology and Design. Artech House, 2000, pp. 25-57.
-
(2000)
Advanced Database Technology and Design. Artech House
, pp. 25-57
-
-
Olivé, A.1
-
27
-
-
0142218981
-
Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages
-
LNCS 2813
-
Olivé, A. “Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages”. Proc. ER 2003, LNCS 2813, pp. 349-362, 2003.
-
(2003)
Proc. ER 2003
, pp. 349-362
-
-
Olivé, A.1
-
31
-
-
0034386765
-
The use of domain knowledge in program understanding
-
Rugaber, S. The use of domain knowledge in program understanding. Annals of Software Engineering, 9 (2000), pp. 143-192.
-
(2000)
Annals of Software Engineering
, vol.9
, pp. 143-192
-
-
Rugaber, S.1
-
35
-
-
0004048751
-
-
Logical, Philosophical and Computational Foundations. Brooks/Cole
-
Sowa, J.F. Knowledge Representation. Logical, Philosophical and Computational Foundations. Brooks/Cole, 2000, 594p.
-
(2000)
Knowledge Representation
, pp. 594
-
-
Sowa, J.F.1
-
36
-
-
33749101847
-
Glossary
-
IEEE Computer Society Press
-
Thayer, R.H.; Thayer, M.C. “Glossary”. In Standards, Guidelines, and Examples on System and Software Requirements Engineering. IEEE Computer Society Press, 1990, pp. 501-572.
-
(1990)
Standards, Guidelines, and Examples on System and Software Requirements Engineering
, pp. 501-572
-
-
Thayer, R.H.1
Thayer, M.C.2
-
38
-
-
79952629420
-
From Data Independence to Knowledge Independence: An on-going Story
-
New York
-
Vieille, L. “From Data Independence to Knowledge Independence: An on-going Story”. Proc. of the 24th VLDB Conf, New York, 1998, pp. 650-654.
-
(1998)
Proc of the 24Th VLDB Conf
, pp. 650-654
-
-
Vieille, L.1
-
40
-
-
84969374925
-
Design Methods for Reactive Systems
-
Wieringa, R.J. Design Methods for Reactive Systems. Morgan Kaufmann, 2003, 457 p
-
(2003)
Morgan Kaufmann
, pp. 457
-
-
Wieringa, R.J.1
|