-
1
-
-
0022135538
-
A 15 year perspective on automatic programming
-
Nov
-
R. Balzer, "A 15 Year Perspective on Automatic Programming," IEEE Trans. Software Eng., vol. SE-11, no. 11, Nov. 1985, pp. 1257-1268.
-
(1985)
IEEE Trans. Software Eng.
, vol.SE-11
, Issue.11
, pp. 1257-1268
-
-
Balzer, R.1
-
2
-
-
84955597313
-
An evaluation model for clustering strategies in the O2 object-oriented database system
-
Berlin: Springer-Verlag
-
V. Benzaken, "An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System," in Proc. 3rd Int. Conf. Database Theory. Berlin: Springer-Verlag, 1990, pp. 126-140.
-
(1990)
Proc. 3rd Int. Conf. Database Theory.
, pp. 126-140
-
-
Benzaken, V.1
-
3
-
-
0347037575
-
Support for data-intensive applications: Conceptual design and software development
-
San Mateo, CA: Morgan Kaufmann
-
A. Borgida, J. Mylopoulos, J. W. Schmidt and I. Wetzel, "Support for Data-Intensive Applications: Conceptual Design and Software Development," in Proc. 2nd Int. Workshop on Database Programming Languages. San Mateo, CA: Morgan Kaufmann, 1990. pp. 258-280.
-
(1990)
Proc. 2nd Int. Workshop on Database Programming Languages
, pp. 258-280
-
-
Borgida, A.1
Mylopoulos, J.2
Schmidt, J.W.3
Wetzel, I.4
-
4
-
-
85028832948
-
-
Canadian Bankers' Association, Toronto, 17 Dec
-
Canadian Bankers' Association, MasterCard and Visa Statistics. Toronto, 17 Dec. 1991.
-
(1991)
MasterCard and Visa Statistics
-
-
-
5
-
-
0003139184
-
Deriving production rules for constraint management
-
Brisbane, Australia, Aug
-
S. Ceri and J. Widom, "Deriving Production Rules for Constraint Management," in Proc. 16th Int. Conf. Very Large Data Bases, Brisbane, Australia, Aug. 1990, pp. 566-577.
-
(1990)
Proc. 16th Int. Conf. Very Large Data Bases
, pp. 566-577
-
-
Ceri, S.1
Widom, J.2
-
6
-
-
0020258587
-
Storage and access structures to support a semantic data model
-
Mexico City, Sept
-
A. Chan, S. Danberg, S. Fox, W.-T. K. Lin, A. Nori and D. Ries, "Storage and Access Structures to Support a Semantic Data Model," in Proc. 8th Int. Conf. Very Large Data Bases, Mexico City, Sept 1982, pp. 122-130.
-
(1982)
Proc. 8th Int. Conf. Very Large Data Bases
, pp. 122-130
-
-
Chan, A.1
Danberg, S.2
Fox, S.3
Lin, W.-T.K.4
Nori, A.5
Ries, D.6
-
7
-
-
84976766949
-
The entity-relationship model -toward a unified view of data
-
March
-
P. P.-S. Chen, "The Entity-Relationship Model -Toward a Unified View of Data," ACM Trans. Database Systems, vol. 1, no. 1, March 1976, pp. 9-36.
-
(1976)
ACM Trans. Database Systems
, vol.1
, Issue.1
, pp. 9-36
-
-
Chen, P.P.-S.1
-
8
-
-
85034768439
-
Process management and assertion enforcement for a semantic data model
-
Berlin: Springer-Verlag
-
K. L. Chung, D. Rios-Zertuche, B. A. Nixon and J. Mylopoulos, "Process Management and Assertion Enforcement for a Semantic Data Model," in Proc. EDBT '88, Int. Conf. Extending Database Technology. Berlin: Springer-Verlag, 1988, pp. 469-487.
-
(1988)
Proc. EDBT '88, Int. Conf. Extending Database Technology.
, pp. 469-487
-
-
Chung, K.L.1
Rios-Zertuche, D.2
Nixon, B.A.3
Mylopoulos, J.4
-
9
-
-
84976742023
-
Representation and utilization of nonfunctional requirements for information system design
-
Berlin: Springer-Verlag
-
L. Chung, "Representation and Utilization of NonFunctional Requirements for Information System Design," in Proc. CAiSE '91, 3rd Int. Conf. Advanced Information Systems Eng. Berlin: Springer-Verlag, 1991, pp. 5-30.
-
(1991)
Proc. CAiSE '91, 3rd Int. Conf. Advanced Information Systems Eng.
, pp. 5-30
-
-
Chung, L.1
-
10
-
-
1242330098
-
From information system requirements to designs: A mapping framework
-
K. L. Chung, P. Katalagarianos, M. Marakakis, M. Mertikas, J. Mylopoulos and Y. Vassiliou, "From Information System Requirements to Designs: A Mapping Framework," Information Systems, vol. 16, no. 4,1991, pp. 429-461.
-
(1991)
Information Systems
, vol.16
, Issue.4
, pp. 429-461
-
-
Chung, K.L.1
Katalagarianos, P.2
Marakakis, M.3
Mertikas, M.4
Mylopoulos, J.5
Vassiliou, Y.6
-
11
-
-
33646196603
-
Goal-directed Requirements Acquisition
-
Como, Italy
-
A. Dardenne, A. van Lamsweerde and S. Fickas, "Goal-directed Requirements Acquisition," Science of Computer Programming, to appear, special issue on 6th Int. Workshop Software Specification and Design, Como, Italy, 1991.
-
(1991)
Science of Computer Programming, to Appear, Special Issue on 6th Int. Workshop Software Specification and Design
-
-
Dardenne, A.1
Van Lamsweerde, A.2
Fickas, S.3
-
12
-
-
85050595861
-
Capturing more world knowledge in the requirements specification
-
Tokyo, Japan, Sept
-
S. J. Greenspan, J. Mylopoulos and A. Borgida, "Capturing more world knowledge in the requirements specification," in Proc. 6th Int. Conf. Software Eng., Tokyo, Japan, Sept. 1982, pp. 225-234.
-
(1982)
Proc. 6th Int. Conf. Software Eng.
, pp. 225-234
-
-
Greenspan, S.J.1
Mylopoulos, J.2
Borgida, A.3
-
13
-
-
84976826756
-
Semantic database modeling: Survey, applications, and research issues
-
Sept
-
R. Hull and R. King, "Semantic Database Modeling: Survey, Applications, and Research Issues," Computing Surveys, vol. 19, no. 3, Sept 1987, pp. 201-260.
-
(1987)
Computing Surveys
, vol.19
, Issue.3
, pp. 201-260
-
-
Hull, R.1
King, R.2
-
15
-
-
0026448404
-
Daida: An environment for evolving information systems
-
Jan
-
M. Jarke, J. Mylopoulos, J. W. Schmidt and Y. Vassiliou, "DAIDA: An Environment for Evolving Information Systems," ACM Trans. Information Systems, vol. 10,no. 1, Jan. 1992, pp. 1-50.
-
(1992)
ACM Trans. Information Systems
, vol.10
, Issue.1
, pp. 1-50
-
-
Jarke, M.1
Mylopoulos, J.2
Schmidt, J.W.3
Vassiliou, Y.4
-
16
-
-
0020750864
-
On the efficient synthesis of efficient programs
-
May
-
E. Kant, "On the Efficient Synthesis of Efficient Programs," Artif. InteU. J., vol. 20, no. 3. May 1983. pp. 253-305.
-
(1983)
Artif. InteU. J.
, vol.20
, Issue.3
, pp. 253-305
-
-
Kant, E.1
-
17
-
-
0003834102
-
-
Englewood Cliffs, NJ: Prentice-Hall
-
E. D. Lazowska, J. Zahorjan, G. S. Graham and K. C. Sevcik, Quantitative System Performance. Englewood Cliffs, NJ: Prentice-Hall, 1984.
-
(1984)
Quantitative System Performance
-
-
Lazowska, E.D.1
Zahorjan, J.2
Graham, G.S.3
Sevcik, K.C.4
-
18
-
-
0026239411
-
Extending the Potts and Bruns model for recording design rationale
-
Austin, TX. May
-
J. Lee, "Extending the Potts and Bruns Model for Recording Design Rationale," in Proc. 13th Int. Conf. Software Eng., Austin, TX. May 1991. pp. 114-125.
-
(1991)
Proc. 13th Int. Conf. Software Eng.
, pp. 114-125
-
-
Lee, J.1
-
19
-
-
0026883734
-
Representing and using non-functional requirements: A process-oriented approach
-
SE-18,. June
-
J. Mylopoulos, L Chung and B. Nixon, "Representing and Using Non-Functional Requirements: A Process-Oriented Approach," IEEE Trans. Software Eng., voL SE-18, no. 6, June 1992, pp. 483-497.
-
(1992)
IEEE Trans. Software Eng.
, Issue.6
, pp. 483-497
-
-
Mylopoulos, J.1
Chung, L.2
Nixon, B.3
-
21
-
-
84976732505
-
Implementation of a compiler for a semantic data model: Experiences with taxis
-
San Francisco, CA, May
-
B. Nixon, L. Chung, D. Lauzon, A. Borgida, J. Mylopoulos and M. Stanley, "Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis," in Proc. ACM SIGMOD 1987 Annual Conf., San Francisco, CA, May 1987. pp. 118-131.
-
(1987)
Proc. ACM SIGMOD 1987 Annual Conf.
, pp. 118-131
-
-
Nixon, B.1
Chung, L.2
Lauzon, D.3
Borgida, A.4
Mylopoulos, J.5
Stanley, M.6
-
22
-
-
0039448432
-
Integration issues in implementing semantic data models
-
F. Bancilhon and Buneman, Eds. New York: ACM Press, and Reading, MA: Addison-Wesley
-
B. Nixon and J. Mylopoulos, "Integration Issues in Implementing Semantic Data Models," in Advances in Database Programming Languages, F. Bancilhon and P. Buneman, Eds. New York: ACM Press, and Reading, MA: Addison-Wesley, 1990, pp. 187-217.
-
(1990)
Advances in Database Programming Languages
, pp. 187-217
-
-
Nixon, B.1
Mylopoulos, J.2
-
23
-
-
53349174227
-
Implementation of information system design specifications: A performance perspective
-
Kanellakis and J. W. Schmidt, Eds. San Mateo, CA: Morgan Kaufmann
-
B. Nixon, "Implementation of Information System Design Specifications: A Performance Perspective," in Database Programming Languages: Bulk Types & Persistent Data-The Third International Workshop, P. Kanellakis and J. W. Schmidt, Eds. San Mateo, CA: Morgan Kaufmann, 1992, pp. 149-168.
-
(1992)
Database Programming Languages: Bulk Types & Persistent Data-The Third International Workshop
, pp. 149-168
-
-
Nixon, B.1
|