-
2
-
-
0018682949
-
Core-A method for controlled requirements specification
-
London, The Institution of Eletrical Engineerss
-
G. P. Mullery, Core-A method for controlled requirements specification, in 4th International Conference on Software Engineering, London, The Institution of Eletrical Engineers, 1979, 126-135.
-
(1979)
4th International Conference on Software Engineering
, pp. 126-135
-
-
Mullery, G.P.1
-
5
-
-
0026399119
-
Requirements validation through viewpoint resolution
-
12
-
J. Leite P. A. Freeman 1991 Requirements validation through viewpoint resolution IEEE Trans. on Soft. Eng. 17 12 1253 1269
-
(1991)
IEEE Trans. on Soft. Eng.
, vol.17
, pp. 1253-1269
-
-
Leite, J.1
Freeman, P.A.2
-
6
-
-
0024866256
-
Integrating multiple specifications using domain goals
-
ACM Press USA, New York
-
W. N. Robinson, Integrating multiple specifications using domain goals, in Proceedings of the 5th International Workshop on Software Specification and Design, ACM Press, USA, New York, 1989, 219-226.
-
(1989)
Proceedings of the 5th International Workshop on Software Specification and Design
, pp. 219-226
-
-
Robinson, W.N.1
-
7
-
-
0038262681
-
Viewpoints: Meaningful relationships are difficult
-
IEEE CS Press
-
B. Nuseibeh, J. Kramer, and A. Finkelstein, Viewpoints: Meaningful relationships are difficult, in Proceedings of the 25th International Conference on Software Engineering, IEEE CS Press, 2003, 676-681.
-
(2003)
Proceedings of the 25th International Conference on Software Engineering
, pp. 676-681
-
-
Nuseibeh, B.1
Kramer, J.2
Finkelstein, A.3
-
8
-
-
0141509896
-
On the interplay between consistency, completeness, and correctness in requirements evolution
-
14
-
D. Zowghi V. Gervasi 2003 On the interplay between consistency, completeness, and correctness in requirements evolution Information and Software Technology 45 14 993 1009
-
(2003)
Information and Software Technology
, vol.45
, pp. 993-1009
-
-
Zowghi, D.1
Gervasi, V.2
-
9
-
-
0035020261
-
A framework for multi-valued reasoning over inconsistent viewpoints
-
(ICSE'01), Toronto, Canada
-
S. Easterbrook and M. Chechik, A framework for multi-valued reasoning over inconsistent viewpoints, in Proceedings of International Conference on Software Engineering (ICSE'01), Toronto, Canada, 2001, 411-420.
-
(2001)
Proceedings of International Conference on Software Engineering
, pp. 411-420
-
-
Easterbrook, S.1
Chechik, M.2
-
12
-
-
0034174018
-
Leveraging inconsistency in software development
-
4
-
B. Nuseibeh S. Easterbrook A. Russo 2000 Leveraging inconsistency in software development IEEE Computer 33 4 24 29
-
(2000)
IEEE Computer
, vol.33
, pp. 24-29
-
-
Nuseibeh, B.1
Easterbrook, S.2
Russo, A.3
-
14
-
-
0025172618
-
Negotiation behavior during requirements specification
-
W. N. Robinson, Negotiation behavior during requirements specification, in ICSE1990, 1990, 268-276.
-
(1990)
ICSE1990
, pp. 268-276
-
-
Robinson, W.N.1
-
16
-
-
0030107431
-
Identifying quality-requirement conflicts
-
2
-
B. Boehm H. In 1996 Identifying quality-requirement conflicts IEEE Software 13 2 25 35
-
(1996)
IEEE Software
, vol.13
, pp. 25-35
-
-
Boehm, B.1
In, H.2
-
17
-
-
23844474756
-
Requirements negotiation using multi-criteria preference analysis
-
4
-
H. In D. Olson 2004 Requirements negotiation using multi-criteria preference analysis Journal of Universal Computer Science 10 4 306 325
-
(2004)
Journal of Universal Computer Science
, vol.10
, pp. 306-325
-
-
In, H.1
Olson, D.2
-
18
-
-
0029191073
-
Software requirements negotiation and renegotiation aids: A theory-W based spiral approach
-
B. Boehm, P. Bose, E. Horowtiz, and M. Lee, Software requirements negotiation and renegotiation aids: A theory-W based spiral approach, in Proc. of ICSE, 1995, 243-253.
-
(1995)
Proc. of ICSE
, pp. 243-253
-
-
Boehm, B.1
Bose, P.2
Horowtiz, E.3
Lee, M.4
-
19
-
-
0011403160
-
First things first: Prioritizing requirements
-
9
-
K. Wiegers 1999 First things first: Prioritizing requirements Software Development 7 9 48 53
-
(1999)
Software Development
, vol.7
, pp. 48-53
-
-
Wiegers, K.1
-
22
-
-
0031234218
-
A cost-value approach for prioritizing requirements
-
5
-
J. Karlsson K. Ryan 1997 A cost-value approach for prioritizing requirements IEEE Software 14 5 67 74
-
(1997)
IEEE Software
, vol.14
, pp. 67-74
-
-
Karlsson, J.1
Ryan, K.2
-
24
-
-
26944498243
-
Measuring inconsistency in requirements specifications
-
(LNCS) (ed. by L. Godo), Springer-Verlag Berlin Heidelberg
-
K. Mu, Z. Jin, R. Lu, and W. Liu, Measuring inconsistency in requirements specifications, in Proceedings of 2005 European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (LNCS) (ed. by L. Godo), Springer-Verlag Berlin Heidelberg, 2005, Volume 3571, 440-451.
-
(2005)
Proceedings of 2005 European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
, vol.3571
, pp. 440-451
-
-
Mu, K.1
Jin, Z.2
Lu, R.3
Liu, W.4
-
25
-
-
0031191004
-
Negotiation and cooperation in multi-agent environments
-
1-2
-
S. Kraus 1997 Negotiation and cooperation in multi-agent environments Artificial Intelligence 94 1-2 79 98
-
(1997)
Artificial Intelligence
, vol.94
, pp. 79-98
-
-
Kraus, S.1
-
28
-
-
84961371345
-
A framework for argumentation-based negotiation
-
C. Sierra, N. Jennings, P. Noriega, and S. Parsons, A framework for argumentation-based negotiation, in Intelligent Agents IV (LNAI Volume 1365), 1998, 177-192.
-
(1998)
Intelligent Agents IV (LNAI Volume 1365)
, pp. 177-192
-
-
Sierra, C.1
Jennings, N.2
Noriega, P.3
Parsons, S.4
-
31
-
-
0031476952
-
Reconciling requirements: A method for managing interference, inconsistency and conflict
-
1
-
G. Spanoudakis A. Finkelstein 1997 Reconciling requirements: A method for managing interference, inconsistency and conflict Annals of Software Engineering 3 1 433 457
-
(1997)
Annals of Software Engineering
, vol.3
, pp. 433-457
-
-
Spanoudakis, G.1
Finkelstein, A.2
-
32
-
-
0013078222
-
Inconsistency management in software engineering: Survey and open research issues
-
(ed. by S. K. Chang), World Scientific Publishing Co
-
G. Spanoudakis and A. Zisman, Inconsistency management in software engineering: Survey and open research issues (ed. by S. K. Chang), in Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Co., 2001, 329-380.
-
(2001)
Handbook of Software Engineering and Knowledge Engineering
, pp. 329-380
-
-
Spanoudakis, G.1
Zisman, A.2
-
35
-
-
10444223013
-
2nd international workshop on living with inconsistency
-
6
-
S. Easterbrook M. Chechik 2001 2nd international workshop on living with inconsistency Software Engineering Notes 26 6 76 78
-
(2001)
Software Engineering Notes
, vol.26
, pp. 76-78
-
-
Easterbrook, S.1
Chechik, M.2
-
36
-
-
0347393289
-
Efficient multiple-valued model-checking using lattice representations
-
Aalborg, Denmark
-
M. Chechik, B. Devereux, and S. Easterbrook, Efficient multiple-valued model-checking using lattice representations, in Proceedings of the International Conference on Concurrency Theory, Aalborg, Denmark, 2001, 21-24.
-
(2001)
Proceedings of the International Conference on Concurrency Theory
, pp. 21-24
-
-
Chechik, M.1
Devereux, B.2
Easterbrook, S.3
-
38
-
-
38149110309
-
Identifying acceptable common proposals for handling inconsistent software requirements
-
K. Mu and Z. Jin, Identifying acceptable common proposals for handling inconsistent software requirements, in Proceedings of FORTE 2007: LNCS, Vol. 4574, 2007, 298-308.
-
(2007)
Proceedings of FORTE 2007: LNCS
, vol.4574
, pp. 298-308
-
-
Mu, K.1
Jin, Z.2
-
39
-
-
0031522515
-
Viewpoints: Principles, problems and a practical approach to requirements engineering
-
1
-
I. Sommerville P. Sawyer 1997 Viewpoints: Principles, problems and a practical approach to requirements engineering Ann. Software Eng. 3 1 101 130
-
(1997)
Ann. Software Eng.
, vol.3
, pp. 101-130
-
-
Sommerville, I.1
Sawyer, P.2
|