-
1
-
-
0022043168
-
Knowledge Representation as the Basis for Requirements Specifications
-
A. Borgida, S. Greenspan, J. Mylopoulos, Knowledge Representation as the Basis for Requirements Specifications, IEEE Computer, April 1985, pp. 82-91.
-
(1985)
IEEE Computer
, pp. 82-91
-
-
Borgida, A.1
Greenspan, S.2
Mylopoulos, J.3
-
2
-
-
0019243320
-
Information Modeling in the Context of System Development
-
J. A. Bubenko, Information Modeling in the Context of System Development, Proc. IFIP, 1980, pp. 395-411.
-
(1980)
Proc. IFIP
, pp. 395-411
-
-
Bubenko, J.A.1
-
3
-
-
0142189822
-
Extending the Scope of Information Modeling
-
Lloret-Costa Brava, Catalonia, Sept. 20-22
-
J.A. Bubenko, Extending the Scope of Information Modeling, Proc. 4th Int. Workshop on the Deductive Approach to Information Systems and Databases, Lloret-Costa Brava, Catalonia, Sept. 20-22, 1993, pp: 73-98.
-
(1993)
Proc. 4Th Int. Workshop on the Deductive Approach to Information Systems and Databases
, pp. 73-98
-
-
Bubenko, J.A.1
-
4
-
-
84976766949
-
The Entity-Relationship Model - Toward a Unified View of Data
-
P. P. Chen, The Entity-Relationship Model - Toward a Unified View of Data, ACM Trans. Database Sys., vol. 1, no. 1, 1976, pp. 9-38.
-
(1976)
ACM Trans. Database Sys
, vol.1
, Issue.1
, pp. 9-38
-
-
Chen, P.P.1
-
6
-
-
0025403233
-
Intention is Choice with Commitment
-
P. R. Cohen and H. J. Levesque, Intention is Choice with Commitment, Artif. Intell., 42 (3), 1990.
-
(1990)
Artif. Intell.
, vol.42
, Issue.3
-
-
Cohen, P.R.1
Levesque, H.J.2
-
8
-
-
0027574423
-
Goal-Directed Requirements Acquisition
-
A. Dardenne, A. van Lamsweerde and S. Fickas, Goal-Directed Requirements Acquisition, Science of Computer Programming,20, 1993, pp. 3-50.
-
(1993)
Science of Computer Programming
, vol.20
, pp. 3-50
-
-
Dardenne, A.1
Van Lamsweerde, A.2
Fickas, S.3
-
10
-
-
0022790125
-
A Knowledge Representation Language for Requirements Engineering
-
Oct
-
E. Dubois, J. Hagelstein, E. Lahou, E Ponsaert and A. Rifaut, A Knowledge Representation Language for Requirements Engineering, Proc. IEEE, 74 (10), Oct. 1986, pp. 1431-1444.
-
(1986)
Proc. IEEE
, vol.74
, Issue.10
, pp. 1431-1444
-
-
Dubois, E.1
Hagelstein, J.2
Lahou, E.3
Ponsaert, E.4
Rifaut, A.5
-
11
-
-
0023326967
-
Language Support for the Specification and Development of Composite Systems
-
M. S. Feather, Language Support for the Specification and Development of Composite Systems, ACM Trans. Prog. Lang. and Sys. 9(2), April 1987, pp. 198-234.
-
(1987)
ACM Trans. Prog. Lang. and Sys
, vol.9
, Issue.2
, pp. 198-234
-
-
Feather, M.S.1
-
13
-
-
0028166444
-
On Formal Requirements Modeling Languages: RML Revisited, (invited plenary talk)
-
May 16-21, Sorrento, Italy
-
S. J. Greenspan, J. Mylopoulos, A. Borgida, On Formal Requirements Modeling Languages: RML Revisited, (invited plenary talk), Proc. 16thlnt. Conf. Software Engineering, May 16-21 1994, Sorrento, Italy, pp. 135-147.
-
(1994)
Proc. 16Thlnt. Conf. Software Engineering
, pp. 135-147
-
-
Greenspan, S.J.1
Mylopoulos, J.2
Borgida, A.3
-
16
-
-
0026448404
-
DAIDA: An Environment for Evolving Information Systems
-
Jan
-
M. Jarke, J. Mylopoulos, J. W. Schmidt, Y. Vassiliou, DAIDA: An Environment for Evolving Information Systems, ACM Trans. Information Systems, 10(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
-
17
-
-
85027973121
-
-
P. Loucopoulos, R. Zicari, eds., Wiley
-
M. Jarke, T. Rose, Specification Management with CAD Conceptual Modelling, Databases, and CASE, P. Loucopoulos, R. Zicari, eds., Wiley, 1992, pp. 489-505.
-
(1992)
Specification Management with CAD Conceptual Modelling, Databases, and CASE
, pp. 489-505
-
-
Jarke, M.1
Rose, T.2
-
19
-
-
84976787415
-
-
Ph.D. thesis, MIT
-
J. Lee, A Decision Rationale Management System: Capturing, Reusing, and Managing the Reasons for Decisions, Ph.D. thesis, MIT, 1992.
-
(1992)
A Decision Rationale Management System: Capturing, Reusing, and Managing the Reasons for Decisions
-
-
Lee, J.1
-
20
-
-
85038060679
-
Tools for Inventing Organizations: Toward a Handbook of Organizational Processes
-
IEEE Computer Society Press
-
T.W. Malone, K. Crowston, J. Lee, B. Pentland, Tools for Inventing Organizations: Toward a Handbook of Organizational Processes, Proc. 2nd Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society Press, 1993, pp. 72-82.
-
(1993)
Proc. 2Nd Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
, pp. 72-82
-
-
Malone, T.W.1
Crowston, K.2
Lee, J.3
Pentland, B.4
-
22
-
-
0025498594
-
Telos: Representing Knowledge about Information Systems
-
J. Mylopoulos, A. Borgida, M. Jarke, M. Koubarakis, Telos: Representing Knowledge about Information Systems, ACM Trans. Info. Sys., 8 (4), 1991.
-
(1991)
ACM Trans. Info. Sys
, vol.8
, Issue.4
-
-
Mylopoulos, J.1
Borgida, A.2
Jarke, M.3
Koubarakis, M.4
-
23
-
-
85027993362
-
Representing Knowledge About Information Systems
-
Niagara-on-the-Lake, Ontario, Canada, April 21-23
-
J. Mylopoulos, Representing Knowledge About Information Systems, Int. Workshop on Development of Intelligent Information Systems, Niagara-on-the-Lake, Ontario, Canada, April 21-23, 1991, pp. 94-96.
-
(1991)
Int. Workshop on Development of Intelligent Information Systems
, pp. 94-96
-
-
Mylopoulos, J.1
-
24
-
-
0026883734
-
Representing and Using Non-Functional Requirements: A Process-Oriented Approach
-
J. Mylopoulos, L. Chung, B. Nixon, Representing and Using Non-Functional Requirements: A Process-Oriented Approach, IEEE Trans. Soft. Eng., 18 (6), June 1992.
-
(1992)
IEEE Trans. Soft. Eng
, vol.18
, Issue.6
-
-
Mylopoulos, J.1
Chung, L.2
Nixon, B.3
-
26
-
-
33845196546
-
Representing and Using Performance Requirements During the Development of Information Systems
-
Cambridge, U.K., M. Jarke et al, eds., Springer-Verlag
-
B. A. Nixon, Representing and Using Performance Requirements During the Development of Information Systems, Proc. 4th Int. Conf. Extending Database Technology (EDBT 94), Cambridge, U.K., M. Jarke et al, eds., Springer-Verlag, 1994, pp. 187-200.
-
(1994)
Proc. 4Th Int. Conf. Extending Database Technology (EDBT 94)
, pp. 187-200
-
-
Nixon, B.A.1
-
27
-
-
0027311528
-
Expressing the Relationships Between Multiple Views in Requirements Specification
-
Baltimore
-
B. Nuseibeh, J. Kramer, A. Finkelstein, Expressing the Relationships Between Multiple Views in Requirements Specification, 15th Int. Conf. Soft. Eng., Baltimore, 1993, pp.187-196.
-
(1993)
15Th Int. Conf. Soft. Eng
, pp. 187-196
-
-
Nuseibeh, B.1
Kramer, J.2
Finkelstein, A.3
-
30
-
-
0003581232
-
-
2nd ed., Prentice Hall
-
W. R. Scott, Organizations: Rational, Natural, and Open Systems, 2nd ed., Prentice Hall, 1987.
-
(1987)
Organizations: Rational, Natural, and Open Systems
-
-
Scott, W.R.1
-
31
-
-
85027987780
-
-
P. Loucopoulos, R. Zicari, eds., Wiley
-
C. Theodoulidis, B. Wangler, P. Loucopoulos, The Entity-Relationship-Time Model, Conceptual Modelling, Databases, and CASE, P. Loucopoulos, R. Zicari, eds., Wiley, 1992, pp. 81-116.
-
(1992)
The Entity-Relationship-Time Model, Conceptual Modelling, Databases, and CASE
, pp. 81-116
-
-
Theodoulidis, C.1
Wangler, B.2
Loucopoulos, P.3
-
32
-
-
0026203478
-
Preliminary Thoughts on an Agent Description Language
-
B. Thomas, Y. Shoham, A. Schwartz, and S. Kraus, Preliminary Thoughts on an Agent Description Language, Int. J. lntell. Sys., Vol. 6, 1991, pp. 498-508.
-
(1991)
Int. J. Lntell. Sys
, vol.6
, pp. 498-508
-
-
Thomas, B.1
Shoham, Y.2
Schwartz, A.3
Kraus, S.4
-
33
-
-
85026689401
-
Modelling Organizations for Information Systems Requirements Engineering
-
San Diego, Calif
-
E. Yu, Modelling Organizations for Information Systems Requirements Engineering, Proc. 1st IEEE Int. Syrup. Requirements Engineering, San Diego, Calif., January 1993, pp. 34-41.
-
(1993)
Proc. 1St IEEE Int. Syrup. Requirements Engineering
, pp. 34-41
-
-
Yu, E.1
-
34
-
-
58849103284
-
An Organization Modelling Framework for Multi-Perspective Information System Design
-
J. Mylopoulos et al., eds., Tech. Rpt. DKBS-TR-93-2, Dept. Comp. Sci., Univ. of Toronto
-
E. Yu, An Organization Modelling Framework for Multi-Perspective Information System Design, Requirements Engineering 1993 - Selected Papers, J. Mylopoulos et al., eds., Tech. Rpt. DKBS-TR-93-2, Dept. Comp. Sci., Univ. of Toronto, July 1993, pp. 66-86.
-
(1993)
Requirements Engineering 1993 - Selected Papers
, pp. 66-86
-
-
Yu, E.1
-
35
-
-
0027830216
-
An Actor Dependency Model of Organizational Work - With Application to Business Process Reengineering
-
Milpitas, Calif., Nov. 1-4
-
E. Yu, J. Mylopoulos, An Actor Dependency Model of Organizational Work - With Application to Business Process Reengineering, Proc. Conf. Organizational Computing Systems (COOCS 93), Milpitas, Calif., Nov. 1-4, 1993, pp. 258-268.
-
(1993)
Proc. Conf. Organizational Computing Systems (COOCS 93)
, pp. 258-268
-
-
Yu, E.1
Mylopoulos, J.2
-
36
-
-
0027983421
-
Using Goals, Rules, and Methods To Support Reasoning in Business Process Reengineering
-
Maui, Hawaii, Jan. 4-7
-
E. Yu, J. Mylopoulos, Using Goals, Rules, and Methods To Support Reasoning in Business Process Reengineering, Proc. 27th Hawaii Int. Conf. System Sciences, Maui, Hawaii, Jan. 4-7, 1994, vol. 6, pp. 234-243.
-
(1994)
Proc. 27Th Hawaii Int. Conf. System Sciences
, vol.6
, pp. 234-243
-
-
Yu, E.1
Mylopoulos, J.2
-
37
-
-
0028166447
-
Understanding "Why" in Software Process Modelling, Analysis, and Design
-
May 16-21, Sorrento, Italy
-
E. Yu, J. Mylopoulos, Understanding "Why" in Software Process Modelling, Analysis, and Design, Proc. 16th Int. Conf. Software Engineering, May 16-21 1994, Sorrento, Italy, pp. 159-168.
-
(1994)
Proc. 16Th Int. Conf. Software Engineering
, pp. 159-168
-
-
Yu, E.1
Mylopoulos, J.2
|