-
2
-
-
0023361507
-
-
, June 1987.
-
M.P. Atkinson and O.P. Buneman, Types and Persistence in Database Programming Languages, Computing Surveys, vol. 19, no. 2, pp. 105-190, June 1987.
-
And O.P. Buneman, Types and Persistence in Database Programming Languages, Computing Surveys, Vol. 19, No. 2, Pp. 105-190
-
-
Atkinson, M.P.1
-
3
-
-
0022135538
-
-
, Nov. 1985.
-
R. Balzer, A 15 Year Perspective on Automatic Programming, IEEE Trans. Software Eng., vol. 11, no. 11, pp. 1,257-1,268, Nov. 1985.
-
A 15 Year Perspective on Automatic Programming, IEEE Trans. Software Eng., Vol. 11, No. 11, Pp. 1,257-1,268
-
-
Balzer, R.1
-
4
-
-
33749963807
-
-
, Sept. 1991.
-
V.R. Basili and J.D. Musa, The Future Engineering of Software: A Management Perspective, Computer, vol. 24, no. 9, pp. 90-96, Sept. 1991.
-
And J.D. Musa, The Future Engineering of Software: a Management Perspective, Computer, Vol. 24, No. 9, Pp. 90-96
-
-
Basili, V.R.1
-
5
-
-
33749959474
-
-
, 1978.
-
B.W. Boehm, J.R. Brown, H. Kaspar, M. Lipow, G.J. MacLeod, and M.J. Merritt, Characteristics of Software Quality. Amsterdam: NorthHolland, 1978.
-
J.R. Brown, H. Kaspar, M. Lipow, G.J. MacLeod, and M.J. Merritt, Characteristics of Software Quality. Amsterdam: NorthHolland
-
-
Boehm, B.W.1
-
6
-
-
33749881902
-
-
, 1990.
-
A. Borgida, J. Mylopoulos, J.W. Schmidt, and I. Wetzel, Support for Data-Intensive Applications: Conceptual Design and Software Development, Proc. Second Int'l Workshop Database Programming Languages, R. Hull, R. Morrison, and D. Stemple, eds., pp. 258-280, 1990.
-
J. Mylopoulos, J.W. Schmidt, and I. Wetzel, Support for Data-Intensive Applications: Conceptual Design and Software Development, Proc. Second Int'l Workshop Database Programming Languages, R. Hull, R. Morrison, and D. Stemple, Eds., Pp. 258-280
-
-
Borgida, A.1
-
7
-
-
33749940677
-
-
, 1993.
-
A. Borgida, J. Mylopoulos, and J.W. Schmidt, The TaxisDL Software Description Language, Database Application Eng. with DAIDA, M. Jarke, éd., pp. 65-84, 1993.
-
J. Mylopoulos, and J.W. Schmidt, The TaxisDL Software Description Language, Database Application Eng. with DAIDA, M. Jarke, Éd., Pp. 65-84
-
-
Borgida, A.1
-
8
-
-
33749958380
-
-
, Feb. 1992.
-
G. Brataas, A.L. Opdahl, V. Vetland, and A. S01vberg, Information Systems: Final Evaluation of the IMSE, technical report, IMSE Project Deliverable D6.6-2, SINTEF, Univ. of Trondheim, Norway, Feb. 1992.
-
A.L. Opdahl, V. Vetland, and A. S01vberg, Information Systems: Final Evaluation of the IMSE, Technical Report, IMSE Project Deliverable D6.6-2, SINTEF, Univ. of Trondheim, Norway
-
-
Brataas, G.1
-
10
-
-
84976766949
-
-
, Mar. 1976.
-
P.P.-S. Chen, The Entity-Relationship Model-Toward a Unified View of Data, ACM Trans. Database Systems, vol. 1, no. 1, pp. 9-36, Mar. 1976.
-
The Entity-Relationship Model-Toward a Unified View of Data, ACM Trans. Database Systems, Vol. 1, No. 1, Pp. 9-36
-
-
Chen, P.P.-S.1
-
11
-
-
33749955626
-
-
, 1984.
-
[II] K.L. Chung, An Extended Taxis Compiler, masters thesis, Dept. of Computer Science, Univ. of Toronto, 1984.
-
An Extended Taxis Compiler, Masters Thesis, Dept. of Computer Science, Univ. of Toronto
-
-
Chung II, K.L.1
-
12
-
-
33749973889
-
-
, 1988.
-
K.L. Chung, D. Rios-Zertuche, B.A. Nixon, and J. Mylopoulos, Process Management and Assertion Enforcement for a Semantic Data Model, Proc. Int'l Conf. Extending Database Technology, EDBT '88, J.W. Schmidt, S. Ceri, and M. Missikof, eds., pp. 469487, 1988.
-
D. Rios-Zertuche, B.A. Nixon, and J. Mylopoulos, Process Management and Assertion Enforcement for a Semantic Data Model, Proc. Int'l Conf. Extending Database Technology, EDBT '88, J.W. Schmidt, S. Ceri, and M. Missikof, Eds., Pp. 469487
-
-
Chung, K.L.1
-
13
-
-
33749970519
-
-
, June 1993.
-
K.L. Chung, Representing and Using Non-Functional Requirements: A Process-Oriented Approach, doctoral thesis, Dept. of Computer Science, Univ. of Toronto, June 1993.
-
Representing and Using Non-Functional Requirements: a Process-Oriented Approach, Doctoral Thesis, Dept. of Computer Science, Univ. of Toronto
-
-
Chung, K.L.1
-
14
-
-
33749905405
-
-
, Oct. 1994.
-
L. Chung, B.A. Nixon, and E. Yu, Using Quality Requirements to Systematically Develop Quality Software, Proc. Fourth Int'l Conf. Software Quality, Oct. 1994.
-
B.A. Nixon, and E. Yu, Using Quality Requirements to Systematically Develop Quality Software, Proc. Fourth Int'l Conf. Software Quality
-
-
Chung, L.1
-
16
-
-
33749895257
-
-
, Apr. 1995.
-
L. Chung, B.A. Nixon, and E. Yu, Using Non-Functional Requirements to Systematically Select Among Alternatives in Architectural Design, Proc.Workshop Architectures for Software Systems, ICSE-17, Apr. 1995.
-
B.A. Nixon, and E. Yu, Using Non-Functional Requirements to Systematically Select among Alternatives in Architectural Design, Proc.Workshop Architectures for Software Systems, ICSE-17
-
-
Chung, L.1
-
18
-
-
0042056235
-
-
, 1996.
-
L. Chung, B.A. Nixon, and E. Yu, Dealing with Change: An Approach Using Non-Functional Requirements, Requirements Eng., vol. 1, no. 4, pp. 238-260, 1996.
-
B.A. Nixon, and E. Yu, Dealing with Change: An Approach Using Non-Functional Requirements, Requirements Eng., Vol. 1, No. 4, Pp. 238-260
-
-
Chung, L.1
-
19
-
-
33749962865
-
-
, 2000.
-
L. Chung, B.A. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering. Boston: Kluwer Academic, 2000.
-
B.A. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering. Boston: Kluwer Academic
-
-
Chung, L.1
-
21
-
-
0027574423
-
-
, 1993.
-
A. Dardenne, A. van Lamsweerde, and S. Fickas, Goal-Directed Requirements Acquisition, Science of Computer Programming, vol. 20, pp. 3-50, 1993.
-
A. Van Lamsweerde, and S. Fickas, Goal-Directed Requirements Acquisition, Science of Computer Programming, Vol. 20, Pp. 3-50
-
-
Dardenne, A.1
-
22
-
-
0022135024
-
-
, Nov. 1985.
-
S.F. Fickas, Automating the Transformational Development of Software, IEEE Trans. Software Eng., vol. 11, no. 11, pp. 1,268-1,277, Nov. 1985.
-
Automating the Transformational Development of Software, IEEE Trans. Software Eng., Vol. 11, No. 11, Pp. 1,268-1,277
-
-
Fickas, S.F.1
-
23
-
-
33749962864
-
-
, 1994.
-
S. Green, Goal-Driven Approaches to Requirements Engineer-ing, Technical Report 94/9, Dept. of Computing, Univ. of the West of England, Bristol, 1994.
-
Goal-Driven Approaches to Requirements Engineer-ing, Technical Report 94/9, Dept. of Computing, Univ. of the West of England, Bristol
-
-
Green, S.1
-
24
-
-
85050595861
-
-
, 1982.
-
S.J. Greenspan, J. Mylopoulos, and A. Borgida, Capturing More World Knowledge in the Requirements Specification, Proc. Sixth Int'l Conf. Software Eng., pp. 225-234, 1982.
-
J. Mylopoulos, and A. Borgida, Capturing More World Knowledge in the Requirements Specification, Proc. Sixth Int'l Conf. Software Eng., Pp. 225-234
-
-
Greenspan, S.J.1
-
25
-
-
84976826756
-
-
, Sept. 1987.
-
R. Hull and R. King, Semantic Database Modeling: Survey, Applications, and Research Issues, Computing Surveys, vol. 19, no. 3, pp. 201-260, Sept. 1987.
-
And R. King, Semantic Database Modeling: Survey, Applications, and Research Issues, Computing Surveys, Vol. 19, No. 3, Pp. 201-260
-
-
Hull, R.1
-
26
-
-
33749898199
-
-
, 1991.
-
W.F. Hyslop, Performance Prediction of Relational Database Management Systems, doctoral thesis, Dept. of Computer Science, Univ. of Toronto, 1991.
-
Performance Prediction of Relational Database Management Systems, Doctoral Thesis, Dept. of Computer Science, Univ. of Toronto
-
-
Hyslop, W.F.1
-
28
-
-
0026448404
-
-
, Jan. 1992.
-
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, pp. 1-50, Jan. 1992.
-
J. Mylopoulos, J.W. Schmidt, and Y. Vassiliou, DAIDA: An Environment for Evolving Information Systems, ACM Trans. Information Systems, Vol. 10, No. 1, Pp. 1-50
-
-
Jarke, M.1
-
30
-
-
84961347841
-
-
, June 1998.
-
I. Jurisica and B.A. Nixon, Building Quality into Case-Based Reasoning Systems, Proc. 10th Int'l Conf. Advanced Information Systems Eng., CAiSE '98, B. Pernici and C. Thanos, eds., pp. 363-380, June 1998.
-
And B.A. Nixon, Building Quality into Case-Based Reasoning Systems, Proc. 10th Int'l Conf. Advanced Information Systems Eng., CAiSE '98, B. Pernici and C. Thanos, Eds., Pp. 363-380
-
-
Jurisica, I.1
-
31
-
-
0019610425
-
-
, Sept. 1981.
-
E. Kant and D.R. Barstow, The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis, IEEE Trans. Software Eng., vol. 7, no. 5, pp. 458-471, Sept. 1981.
-
And D.R. Barstow, The Refinement Paradigm: the Interaction of Coding and Efficiency Knowledge in Program Synthesis, IEEE Trans. Software Eng., Vol. 7, No. 5, Pp. 458-471
-
-
Kant, E.1
-
32
-
-
33749952746
-
-
, 1990.
-
S.E. Keller, L.G. Kahn, and R.B. Panara, Specifying Software Quality Requirements with Metrics, Tutorial: System and Software Requirements Eng., R.H. Thayer and M. Dorfman, eds., pp. 145-163, 1990.
-
L.G. Kahn, and R.B. Panara, Specifying Software Quality Requirements with Metrics, Tutorial: System and Software Requirements Eng., R.H. Thayer and M. Dorfman, Eds., Pp. 145-163
-
-
Keller, S.E.1
-
33
-
-
33749896426
-
-
, 1989.
-
W. Kim, K.-C. Kim, and A. Dale, Indexing Techniques for ObjectOriented Databases, Object-Oriented Concepts, Databases, and Applications, W. Kim and F.H. Lochovsky, eds., pp. 371-394, 1989.
-
K.-C. Kim, and A. Dale, Indexing Techniques for ObjectOriented Databases, Object-Oriented Concepts, Databases, and Applications, W. Kim and F.H. Lochovsky, Eds., Pp. 371-394
-
-
Kim, W.1
-
34
-
-
33749896993
-
-
, 1984.
-
E.D. Lazowska, J. Zahorjan, G.S. Graham, and K.C. Sevcik, Quantitative System Performance. Englewood Cliffs, N.J.: Prentice Hall, 1984.
-
J. Zahorjan, G.S. Graham, and K.C. Sevcik, Quantitative System Performance. Englewood Cliffs, N.J.: Prentice Hall
-
-
Lazowska, E.D.1
-
37
-
-
0019022430
-
-
, 1980.
-
J. Mylopoulos, P.A. Bernstein, and H.K.T. Wong, A Language Facility for Designing Database-Intensive Applications, ACM Trans. Database Systems, vol. 5, no. 2, pp. 185-207, 1980.
-
P.A. Bernstein, and H.K.T. Wong, A Language Facility for Designing Database-Intensive Applications, ACM Trans. Database Systems, Vol. 5, No. 2, Pp. 185-207
-
-
Mylopoulos, J.1
-
38
-
-
0025498594
-
-
, Oct. 1990.
-
J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis, Telos: Representing Knowledge About Information Systems, ACM Trans. Information Systems, vol. 8, pp. 325-362, Oct. 1990.
-
A. Borgida, M. Jarke, and M. Koubarakis, Telos: Representing Knowledge about Information Systems, ACM Trans. Information Systems, Vol. 8, Pp. 325-362
-
-
Mylopoulos, J.1
-
39
-
-
0026883734
-
-
, June 1992.
-
J. Mylopoulos, L. Chung, and B. Nixon, Representing and Using Non-Functional Requirements: A Process-Oriented Approach, IEEE Trans. Software Eng., vol. 18, no. 6, pp. 483-497, June 1992.
-
L. Chung, and B. Nixon, Representing and Using Non-Functional Requirements: a Process-Oriented Approach, IEEE Trans. Software Eng., Vol. 18, No. 6, Pp. 483-497
-
-
Mylopoulos, J.1
-
41
-
-
33749914133
-
-
, 1983.
-
B.A. Nixon, A Taxis Compiler, master's thesis, Dept. of Computer Science, Univ. of Toronto, 1983.
-
A Taxis Compiler, Master's Thesis, Dept. of Computer Science, Univ. of Toronto
-
-
Nixon, B.A.1
-
42
-
-
84976732505
-
-
, May 1987.
-
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, Proc. ACM SIGMOD '87, U. Dayal and I. Traiger, eds., pp. 118-131, May 1987.
-
L. Chung, D. Lauzon, A. Borgida, J. Mylopoulos, and M. Stanley, Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis, Proc. ACM SIGMOD '87, U. Dayal and I. Traiger, Eds., Pp. 118-131
-
-
Nixon, B.1
-
43
-
-
33749975265
-
-
, 1989.
-
B.A. Nixon, K.L. Chung, D. Lauzon, A. Borgida, J. Mylopoulos, and M. Stanley, Design of a Compiler for a Semantic Data Model, Foundations of Knowledge Base Management, J.W. Schmidt and C. Thanos, eds., pp. 293-343, 1989.
-
K.L. Chung, D. Lauzon, A. Borgida, J. Mylopoulos, and M. Stanley, Design of a Compiler for a Semantic Data Model, Foundations of Knowledge Base Management, J.W. Schmidt and C. Thanos, Eds., Pp. 293-343
-
-
Nixon, B.A.1
-
44
-
-
33749973888
-
-
, 1990.
-
B. Nixon and J. Mylopoulos, Integration Issues in Implementing Semantic Data Models, Advances in Database Programming Languages, F. Bancilhon and P. Buneman, eds., 1990.
-
And J. Mylopoulos, Integration Issues in Implementing Semantic Data Models, Advances in Database Programming Languages, F. Bancilhon and P. Buneman, Eds.
-
-
Nixon, B.1
-
45
-
-
33749982708
-
-
, Aug. 1991.
-
B. Nixon, Implementation of Information System Design Specifications: A Performance Perspective, Proc. Third Int'l Workshop Database Programming Languages: Bulk Types and Persistent Data, P. Kanellakis and J.W. Schmidt, eds., pp. 149-168, Aug. 1991.
-
Implementation of Information System Design Specifications: a Performance Perspective, Proc. Third Int'l Workshop Database Programming Languages: Bulk Types and Persistent Data, P. Kanellakis and J.W. Schmidt, Eds., Pp. 149-168
-
-
Nixon, B.1
-
47
-
-
33845196546
-
-
, Mar. 1994.
-
B.A. Nixon, Representing and Using Performance Requirements during the Development of Information Systems, Proc. Fourth Int'l Conf. Extending Database Technology, EDBT '94, M. Jarke, J. Bubenko, and K. Jeffery, eds. pp. 187-200, Mar. 1994.
-
Representing and Using Performance Requirements during the Development of Information Systems, Proc. Fourth Int'l Conf. Extending Database Technology, EDBT '94, M. Jarke, J. Bubenko, and K. Jeffery, Eds. Pp. 187-200
-
-
Nixon, B.A.1
-
48
-
-
33749894713
-
-
, 1997.
-
B.A. Nixon, Performance Requirements for Information Systems, doctoral thesis, Dept. of Computer Science, Univ. of Toronto, 1997.
-
Performance Requirements for Information Systems, Doctoral Thesis, Dept. of Computer Science, Univ. of Toronto
-
-
Nixon, B.A.1
-
49
-
-
33749981026
-
-
, Jan. 1997.
-
B.A. Nixon, An Approach to Dealing with Performance Requirements during Information System Development, Proc. Doctoral Consortion, Third IEEE Int'l Symp. Requirements Eng. RE '97, pp. 73-88, Jan. 1997.
-
An Approach to Dealing with Performance Requirements during Information System Development, Proc. Doctoral Consortion, Third IEEE Int'l Symp. Requirements Eng. RE '97, Pp. 73-88
-
-
Nixon, B.A.1
-
50
-
-
1242285256
-
-
, Oct. 1998.
-
B.A. Nixon, Managing Performance Requirements for Information Systems, Proc. First Int'l Workshop Software and Performance, WOSP '98, pp. 131-144, Oct. 1998.
-
Managing Performance Requirements for Information Systems, Proc. First Int'l Workshop Software and Performance, WOSP '98, Pp. 131-144
-
-
Nixon, B.A.1
-
51
-
-
33749956338
-
-
, 1992.
-
A.L. Opdahl, Performance Engineering during Information System Development, doctoral thesis and Technical Report 1992:5, Information Systems Group, Faculty of Computer Science and Electrical Eng., Norwegian Inst. of Technology, Univ. of Trondheim, Norway, 1992.
-
Performance Engineering during Information System Development, Doctoral Thesis and Technical Report 1992:5, Information Systems Group, Faculty of Computer Science and Electrical Eng., Norwegian Inst. of Technology, Univ. of Trondheim, Norway
-
-
Opdahl, A.L.1
-
52
-
-
33749931587
-
-
, June 1994.
-
A.L. Opdahl, Requirements Engineering for Software Performance, Proc. First Int'l Workshop on Requirements Eng. Foundation of Software Quality, REFSQ '94, pp. 16-32, June 1994.
-
Requirements Engineering for Software Performance, Proc. First Int'l Workshop on Requirements Eng. Foundation of Software Quality, REFSQ '94, Pp. 16-32
-
-
Opdahl, A.L.1
-
53
-
-
0024071354
-
-
, Sept. 1988.
-
J. Peckham and F. Maryanski, Semantic Data Models, Computing Surveys, vol. 20, no. 3, pp. 153-189, Sept. 1988.
-
And F. Maryanski, Semantic Data Models, Computing Surveys, Vol. 20, No. 3, Pp. 153-189
-
-
Peckham, J.1
-
54
-
-
33749915833
-
-
, 1993.
-
S. Rozen, Automating Physical Database Design: An Extensible Approach, doctoral dissertation, Dept. of Computer Science, New York Univ., 1993.
-
Automating Physical Database Design: An Extensible Approach, Doctoral Dissertation, Dept. of Computer Science, New York Univ.
-
-
Rozen, S.1
-
55
-
-
0039745282
-
-
, 1994.
-
J.W. Schmidt and F. Matthes, The DBPL Project: Advances in Modular Database Programming, Information Systems, vol. 19, no. 2, pp. 121-140, 1994.
-
And F. Matthes, The DBPL Project: Advances in Modular Database Programming, Information Systems, Vol. 19, No. 2, Pp. 121-140
-
-
Schmidt, J.W.1
-
57
-
-
0022661054
-
-
, Feb. 1986.
-
C.U. Smith, Independent General Principles for Constructing Responsive Software Systems, ACM Trans. Computer Systems, vol. 4, no. 1, pp. 1-31, Feb. 1986.
-
Independent General Principles for Constructing Responsive Software Systems, ACM Trans. Computer Systems, Vol. 4, No. 1, Pp. 1-31
-
-
Smith, C.U.1
-
59
-
-
84976682945
-
-
, June 1977.
-
J.M. Smith and D.C.P. Smith, Database Abstractions: Aggregation and Generalization, ACM Trans. Database Systems, vol. 2, no. 2, pp. 105-133, June 1977.
-
And D.C.P. Smith, Database Abstractions: Aggregation and Generalization, ACM Trans. Database Systems, Vol. 2, No. 2, Pp. 105-133
-
-
Smith, J.M.1
-
62
-
-
33749916380
-
-
, 1999.
-
University of Toronto, Faculty of Arts and Science, St. George Campus, Registration Handbook & Timetable, 1999-2000 Fall/ Winter Session, 1999.
-
Of Toronto, Faculty of Arts and Science, St. George Campus, Registration Handbook & Timetable, 1999-2000 Fall/ Winter Session
-
-
University1
-
63
-
-
33749972222
-
-
, Dec. 1994.
-
E.S.K. Yu, Modelling Strategic Relationships for Process Reengineering, doctoral thesis, Dept. of Computer Science, Univ. of Toronto, Dec. 1994.
-
Modelling Strategic Relationships for Process Reengineering, Doctoral Thesis, Dept. of Computer Science, Univ. of Toronto
-
-
Yu, E.S.K.1
-
64
-
-
0031385980
-
-
, 1997.
-
P. Zave, Classification of Research Efforts in Requirements Engineering, Computing Surveys, vol. 29, no. 4, pp. 315-321, 1997.
-
Classification of Research Efforts in Requirements Engineering, Computing Surveys, Vol. 29, No. 4, Pp. 315-321
-
-
Zave, P.1
-
65
-
-
33749973341
-
-
, 1978.
-
M.D. Zisman, Use of Production Systems for Modeling Concurrent Processes, Pattern-Directed Inference Systems, D.A. Waterman and F. Hayes-Roth, eds., pp. 53-68, New York: Academic Press, 1978.
-
Use of Production Systems for Modeling Concurrent Processes, Pattern-Directed Inference Systems, D.A. Waterman and F. Hayes-Roth, Eds., Pp. 53-68, New York: Academic Press
-
-
Zisman, M.D.1
|