-
2
-
-
33750366625
-
-
J. Barwise, editor. Handbook of Mathematical Logic, North-Holland Publishing Company
-
J. Barwise, editor. Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, 1977.
-
(1977)
Studies in Logic and the Foundations of Mathematics.
, vol.90
-
-
-
3
-
-
0023023948
-
A comparative analysis of methodologies for database schema integration
-
C. Batini, M. Lenzerini, and S. Navathe. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323-364, 1986.
-
(1986)
ACM Computing Surveys
, vol.18
, Issue.4
, pp. 323-364
-
-
Batini, C.1
Lenzerini, M.2
Navathe, S.3
-
5
-
-
0002219090
-
A vision for management of complex models
-
P. Bernstein, A. Halevy, and R. Pottinger. A vision for management of complex models. SIGMOD Record, 29(4):55-63, 2000.
-
(2000)
SIGMOD Record
, vol.29
, Issue.4
, pp. 55-63
-
-
Bernstein, P.1
Halevy, A.2
Pottinger, R.3
-
7
-
-
33750299069
-
Abstract metamodeling, I: How to reason about meta-metamodeling in a formal way
-
K. Baclawski, H. Kilov, A. Thalassinidis, and K. Tyson, editors, Northeastern University, College of Computer Science
-
Z. Diskin. Abstract metamodeling, I: How to reason about meta-metamodeling in a formal way. In K. Baclawski, H. Kilov, A. Thalassinidis, and K. Tyson, editors, 8th OOPSLA Workshop on Behavioral Specifications, OOPSLA99. Northeastern University, College of Computer Science, 1999.
-
(1999)
8th OOPSLA Workshop on Behavioral Specifications, OOPSLA99.
-
-
Diskin, Z.1
-
8
-
-
84942908541
-
Universal arrow foundations for visual modeling
-
Springer LNAI#1889
-
Z. Diskin, B. Kadish, F. Piessens, and M. Johnson. Universal arrow foundations for visual modeling. In Diagrams'2000: 1st Int. Conf. on the Theory and Applications of Diagrams, Springer LNAI#1889, pages 345-360, 2000.
-
(2000)
Diagrams'2000: 1st Int. Conf. on the Theory and Applications of Diagrams
, pp. 345-360
-
-
Diskin, Z.1
Kadish, B.2
Piessens, F.3
Johnson, M.4
-
9
-
-
33750371473
-
Generic model management
-
Doom, Rivero, and Ferraggine, editors, Idea Group
-
Zinovy Diskin and Boris Kadish. Generic model management. In Doom, Rivero, and Ferraggine, editors, Encyclopedia of Database Technologies and Applications, pages 258-265. Idea Group, 2005.
-
(2005)
Encyclopedia of Database Technologies and Applications
, pp. 258-265
-
-
Diskin, Z.1
Kadish, B.2
-
12
-
-
0026444654
-
Institutions: Abstract model theory for specification and programming
-
J.A. Goguen and R.M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of ACM, 39(1):95-146, 1992.
-
(1992)
Journal of ACM
, vol.39
, Issue.1
, pp. 95-146
-
-
Goguen, J.A.1
Burstall, R.M.2
-
15
-
-
84941153183
-
-
B. Selic, January 2006. Personal communication.
-
B. Selic, January 2006. Personal communication.
-
-
-
|