Requirements Interaction Management

ACM Computing Surveys

Volumn 35, Issue 2, 2003, Pages 132-190

  Robinson, William N ^a   Pawlowski, Suzanne D ^a   Volkov, Vecheslav ^a  

^a GEORGIA STATE UNIVERSITY   (United States)

Author keywords

Analysis and design; Composite system; Deficiency driven design; Dependency analysis; Distributed intentionality; Interaction analysis; KAOS; KATE; Oz; Requirements engineering; System architecture; System specification; Telos; Viewpoints; WinWin

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED SOFTWARE ENGINEERING; COST EFFECTIVENESS; DATABASE SYSTEMS; INFORMATION THEORY; QUALITY ASSURANCE; RELIABILITY; RESEARCH; SYSTEMS ANALYSIS;

DEFICIENCY DRIVEN DESIGN; DEPENDENCY ANALYSIS; DISTRIBUTED INTENTIONALITY; REQUIREMENTS INTERACTION MANAGEMENT (RIM); SOFTWARE COST REDUCTION (SCR); SYSTEM SPECIFICATION;

REQUIREMENTS ENGINEERING;

EID: 0345530000     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/857076.857079     Document Type: Review

References (277)

1. AAAI. 1994. Proceedings of the Workshop on Models of Conflict Management in Cooperative Problem Solving. (Seattle, WA, Aug. (4). American Association for Artificial Intelligence, Menlo Park, CA.
2. ABRIAL, J. R. 1996. The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge, U.K.
3. ADLER, M. R., DAVIS, A. B., WEIHMAYER, R., AND WORREST, R. W. 1989. Conflict-Resolution Strategies for Nonhierarchical Distributed Agents. Morgan Kaufmann, San Francisco, CA.
4. AINSWORTH, M., RIDDLE, S., AND WALLIS, P. J. L. 1996. Formal validation of viewpoint specifications. Softw. Eng. J. pp. 58-66.
5. ATLEE, J. M. 1993. State-based model checking of event-driven system requirements. IEEE Trans. Softw. Eng. 19, 24-40.
6. AVISON, D. E. AND WOOD-HARPER, A. T. 1990. Multiview: An Exploration in Information Systems Development. Blackwell Scientific Publications, Cambridge, MA.
7. BARBACCI, M., KLEIN, M. H., AND WEINSTOCK, C. B. 1995, Principles for evaluating quality attributes of software architecture. Tech. Rep. CMU/SEI-95-TR-021. Software Engineering Institute, Pittsburgh, PA.
8. BARBACCI, M., LONGSTAFF, T. H., KLEIN, M. H., AND WEINSTOCK, C. B. 1997. Quality Attributes. Tech. Rep. CMU/SEI-96-TR-036. Software Engineering Institute, Pittsburgh, PA.
9. BARKI, H. AND HARTWICK, J. 1989. Rethinking the concept of user involvement. MIS Quart. 13, 1, 53-61.
10. BATINI, C., LENZERINI, M., AND NAVATHE, S. B. 1986. A comparative analysis of methodologies for database schema integration. ACM. Comput. Surv. 18, 4, 323-364.
11. BENDIFALLAH, S. AND SCACCHI, W. 1989. Work structures and shifts: An empirical analysis of software specification teamwork. In 11th International Conference on Software Engineering. IEEE Press, Los Alamitos, CA, 260-270.
12. BENSALEM, S., LAKHNECH, Y., AND SAÏDI, H. 1996. Powerful techniques for the automatic generation of invariants. In CAV'96 - 8th International Conference on Computer-Aided Verification. Lecture Notes in Computer Science, vol. 1102 Springer-Verlag, Berlin, Germany, pp. 323-335.
13. BERNOT, G., GAUDEL, M. C., AND MARRE, B. 1991. Software testing based on formal specifications: A theory and a tool. Softw. Eng. J. 9, 6, 387-405.
14. BHARADWAJ, R. AND HEITMEYER, C. L. 1997. Model checking complete requirements specifications using abstraction. NRL Mem. Rep. NRL/MR/5540 - 97-7999. Naval Research Laboratory, Washington, DC.
15. BOEHM, B. 1981. Software Engineering Economics. Prentice-Hall, Englewood Cliffs, NJ.
16. BOEHM, B. AND EGYED, A. 1998. WinWin requirements negotiation processes: A multi-project analysis. In Proceedings of the 5th International Conference on Software Processes.
17. BOEHM, B., AND IN, H. 1996. Identifying quality-requirement conflicts. IEEE Softw. 13, 2 (March), 25-36.
18. BOEHM, B. W. 1988. A spiral model of software development and enhancement. Comput. 21, 61-72.
19. BOEHM, B. W. 1998. Seven basic principles of software engineering. J. Syst. Softw. 3, 1 (March), 3-24.
20. BOEHM, B. W., BROWN, J. R., KASPAR, H., LIPOW, M., MACLEOD, G. J., AND MERRITT, M. J. 1978. Characteristics of Software Quality. North-Holland, New York, NY.
21. BOEHM, B. W. AND Ross, R. 1989. Theory W software project management: Principles and examples. IEEE Trans. Softw. Eng. 15, July, 902-916.
22. BOEHM, P. B., HOROWITZ, E., AND LEE, M. J. 1994. Software requirements as negotiated Win conditions. In Proceedings of the First International Conference on Requirements Engineering. IEEE. Press, Los Alamitos, CA.
23. BOTTEN, N., KUSIAK, A., AND RAZ, T. 1989. Knowledge bases: Integration, verification, and partitioning. Eur. J. Operat. Res. 42, 111-128.
24. BROOKS, F. P. 1987. No silver bullet: Essence and accidents of software engineering. Comput. 20, 10-19.
25. BUCHANAN, B. G. AND SHORTLIFFE, E. H. 1984. Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading, MA.
26. CHECKLAND, P. 1981. Systems Thinking, Systems Practice. John Wiley & Sons, New York, NY.
27. CHEN H. L. K. J. 1992. Automatic construction of networks of concepts characterizing document databases. IEEE Trans. Syst., Man Cybernet. 22, 885-902.
28. CHEN H. L. K. J., BASU, K., AND NG, T. 1993. Generating, integrating, and activating thesauri for concept-based document retrieval. IEEE Expert (Special Series on Artificial Intelligence in Text-Based Information Systems) 8, 25-34.
29. CHEN, M. AND NUNAMAKER, J. 1991. The architecture and design of a collaborative environment for systems definition. Data Base, 22, 1/2 (Winter/Spring), 22-28.
30. CHIKOFSKY, E. J. AND RUBENSTEIN, B. L. 1993. CASE: Reliability engineering for information systems, in Computer Aided Software Engineering (CASE). IEEE Expert (Special Series on Artificial Intelligence in Text-Based Information Systems) 8, 11-16.
31. CHRISTEL, M. G., WOOD, D. P., AND STEVENS, S. M. 1993. AMORE: The Advanced Multimedia Organizer for Requirements Elicitation. Tech. Rep. Software Engineering Institute, Pittsburgh, PA. CMU/SEI-93-TR-12.
32. CHUNG, L., NIXON, B., AND YU, E. 1994. Using quality requirements to systematically develop quality software. Fourth Conference on Software Quality (McLean, VA).
33. CHUNG, L., NIXON, B., AND YU, E. 1995. Using non-functional requirements to systematically support change. In Proceedings of the Second International Symposium on Requirements Engineering. IEEE Press, Los Alamitos, CA. 132-139.
34. CHUNG, L., NIXON, B., AND YU, E. 1996. Dealing with change: An approach using non-functional requirements. Requirements Eng. J. 1, 4, 238-260.
35. CHUNG, L., NIXON, B. A., YU, E., AND MYLOPOULOS, J. 1999. Non-Functional Requirements in Software Engineering. Kluwer, Boston, MA.
36. CLARKE, E. M., AND EMERSON, E. A. 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 244-263.
37. CLARKE, E. M., GRUMBERG, O., AND PELED, D. 1999. Model Checking. MIT Press, Cambridge, MA.
38. CONRY, S. E., KUWABARA, K., LESSER, V. R., AND MEYER, R. A. 1991. Multistage negotiation for distributed satisfaction. Trans. syst. man, Cybernet. 21, 1462-1477.
39. CONRY, S. E., MEYER, R. A., AND LESSER, V. R. 1988. Multistage negotiation in distributed planning. In Readings in Distributed Artificial Intelligence, L. G. A. H. Bond, Ed. Morgan Kaufmann, San Meteo, CA, 367-384.
40. CORNFORD, S. L., FEATHER, M. S., KELLY, J. C., LARSON, T. W., SIGAL, B., AND KIPER, J. 2000. Design and development assessment. In Proceedings of the 10th International Workshop on Software Specification and Design. IEEE Computer Society Press, Los Alamitos, CA, 106-114.
41. CROW, J., OWRE, S., RUSHBY, J., SHANKAR, N., AND SRIVAS, M. 1995. A tutorial introduction to PVS. In Proceedings of WIFT95 - Workshop on Industrial-Strength Formal Specification Techniques (Boca Raton, FL).
42. CUGOLA, G., DI NITTO, E., GUGGETTA, A., AND GHEZZI, C. 1996. A framework for formalizing inconsistencies and deviations in human-centered systems. ACM Trans. Softw. Eng. Meth. 5, 191-230.
43. DARDENNE, A., VAN LAMSWEERDE, A., AND FICKAS, S. 1993. Goal-directed requirements acquisition. Sci. Comput. Programm. 20, 3-50.
44. DARIMONT, R., DELOR, E., MASSONET, P., AND VAN LAMSWEERDE, A. 1998. GRAIL/KAOS: an environment for goal-driven requirements engineering. In Proceedings of the 20th International Conference on Software Engineering (Kyoto) vol. 2, 58-62.
45. DARIMONT, R. AND VAN LAMSWEERDE, A. 1996. Formal refinement patterns for goal-driven requirements elaboration. In Proceedings of the Fourth ACM SIGSOFT Symposium on the foundations of Software Engineering (FSE'4, San Francisco, CA). ACM Press, New York, NY, 179-190.
46. DAVIS, A. 1993. Software Requirements: Objects, Functions, and States. Prentice Hall, Englewood Cliffs, NJ.
47. DELUGACH, H. S. 1992. Specifying multiple-viewed software requirements with conceptual graphs. J. Syst. Softw. 19, 207-224.
48. DELUGACH, H. S. 1996. An approach to conceptual feedback in multiple viewed software requirements modeling. In Proceedings of Viewpoints 96: International Workshop on Multiple Perspectives in Software Development (San Francisco, CA).
49. DOUGLAS, J. AND KEMMERER, R. A. 1994. Aslantest: A symbolic execution tool for testing ASIAN formal specifications. In Proceedings of ISTSTA '94 - International Symposium on Software Testing and Analysis. ACM. Press, New York, NY, 15-27.
50. DOWNING, K., AND FICKAS, S. 1991. A Qualitative Modeling Tool far Specification Criticism, Conceptual Modelling, Databases, and CASE: An Integrated View of Information Systems Development. Ablex, Norwood, NJ.
51. DRUCKER, P. F. 1954. The Practice of Management. Harper & Row, New York, NY.
52. DUBOIS, E., BOIS, P. D., AND PETIT, M. 1993. Object-oriented requirements analysis: An agent perspective. In ECOOP'93 - 7th European Conference on Object-Oriented Programming. Lecture Notes in Computer Science, vol. 707. Springer-Verlag, Berlin, Germany, 458-481.
53. DURFEE, B. H. 1988. Coordination of Distributed Problem Solvers. Kluwer Academic Publishers, Boston, MA.
54. EASTERBROOK, S. 1993. Domain modeling with hierarchies of alternative viewpoints. In Proceedings of the International Symposium on Requirement Engineering (San Diego, CA) IEEE Press, Los Alamitos, CA, 65-72.
55. EASTERBROOK, S. 1994. Co-ordinating distributed ViewPoints: The anatomy of a consistency check. Concur. Eng.: Res. Appl. 2, 209-222.
56. EASTERBROOK, S. AND NUSEIBEH, B. 1996. Using ViewPoints for inconsistency management. Softw. Eng. J. 11, 31-43.
57. EGYED, A. AND BOEHM, B. 1996. Analysis of software requirements negotiation behavior patterns. Tech. Rep., USC-CSE-96-504. University of Southern California, Los Angeles, CA.
58. EGYED, A. AND BOEHM, B. 1998. A comparison study in software requirements negotiation. Proceedings of the 8th Annual International Symposium on Systems Engineering (INCOSE'98).
59. EMMERICH, W., FINKELSTEIN, A., MONTANGERO, C., AND STEVENS, R. 1997. Standards compliant software development. In Proceedings of the International Conference on Software Engineering Workshop on Living with Inconsistency. IEEE Computer Societies Press, Los Alamitos, CA.
60. FEATHER, M. S. 1987. Language support for the specification and development of composite systems. Trans. Program. Lang. Syst. 9, 198-234.
61. FEATHER, M. S. 1989. Constructing specifications by combining parallel elaborations. IEEE Trans. Softw. Eng. 15, 198-208.
62. FEATHER, M. S., FICKAS, S., FINKELSTEIN, A., AND VAN LAMSWEERDE, A. 1997. Requirements and specification exemplars. Automat. Softw. Eng. 4, 4, 419-438.
63. FEATHER, M. S., FICKAS, S., VAN LAMSWEERDE, A., AND PONSARD, C. 1998. Reconciling system requirements and runtime behavior. In Proceedings of the International Workshop on Software Specification and Design (IWSSD'98). IEEE Computer Society Press, Los Alamitos, CA.
64. FESTINGER, L. 1964. Conflict, Decision, and Dissonance. Tavistock Publications, London, U.K.
65. FIADEIRO, J. L. AND MAIBAUM, T. 1995. Interconnecting formalisms: Supporting modularity, reuse and incrementality. In Proceedings of the 3rd Symposium on the Foundations of Software Engineering. ACM Press, New York, NY, 72-80.
66. FICKAS, S. 1985. A knowledge-based approach to specification acquisition and construction. Tech. Rep. CIS-TR-85-13. University of Oregon, Eugene, OR.
67. FICKAS, S. AND ANDERSON, J. 1989. A proposed perspective shift: Viewing specification design as a planning problem. In. Proceedings of the Fifth International Workshop on Software Specification and Design. IEEE Computer Society Press, Los Alamitos, CA, 177-184.
68. FICKAS, S. AND FEATHER, M. S. 1995. Requirements monitoring in dynamic environments. In Proceedings of the 2nd International Symposium on Requirements Engineering (York, England). IEEE Computer Society Press, Los Alamitos, CA, 140-147.
69. FICKAS, S. AND HELM, R. 1992. Knowledge representation and reasoning in the design of composite systems. IEEE Trans. Softw. Eng. 18, 6 (June), 470-482.
70. FICKAS, S. AND NAGABAJAN, P. 1988. Being suspicious: Critiquing problem specifications. In Proceedings of the 7th National Conference on Artificial Intelligence. Morgan Kaufmann, San Mateo, CA, 19-24.
71. FINKELSTEIN, A. AND FUKS, H. 1989. Multi-party specification. In Proceedings of the 5th International Workshop on Software Specification and Design. IEEE Computer Society Press, Los Alamitos, CA, 185-195.
72. FINKELSTEIN, A., GABBAY, D., HUNTER, A., KRAMER, J., AND NUSEIBEH, B. 1994a. Inconsistency handling in multi-perspective specifications. IEEE Trans. Softw. Eng. 20, 569-578.
73. FINKELSTEIN, A., KRAMER, J., AND NUSEIBEH, B., EDS. 1994b. Software Process Modelling and Technology. Research Studies Press Ltd. (Wiley), A theory of action for multiagent planning. Somerset, U.K.
74. FINKELSTEIN, A., KRAMER, J., NUSEIBEH, B., FINKELSTEIN, L., AND GOEDICKE, M. 1992. Viewpoints: A framework for multiple perspectives in system development. Int. J. Softw. Eng. Knowl. Eng. (Special Issue on Trends and Future Research Directions in SEE) 2, 31-57.
75. FINKELSTIEN, A. E. 1996. Viewpoints 96: An international workshop on multiple perspectives in software development. ACM. In Proceedings of the Symposium on the Foundations of Software Engineering (San Francisco, CA), A. Finkelstien, Ed. ACM Press, New York, NY.
76. FISHER, R. AND WILLIAM, U. 1991. Getting to Yes: Negotiating Agreement Without Giving In. Penguin Books, New York, NY.
77. Fox, M. S., BARBUCEANU, M., AND GRUNINGER, M. 1996. An organisation ontology for enterprise modelling: Preliminary concepts for linking structure and behaviour. Comput. Industry 29, 123-134.
78. FRANCALANCI, C. AND FUGGETTA, A. 1997. Integrating conflicting requirements in process modeling: A survey and research directions. Inform. Softw. Tech. 39, 205-216.
79. GASSER, L. AND HUHNS, M. N. 1989. Distributed Artificial Intelligence. Morgan Kaufmann, San Mateo, CA.
80. GEORGEFF, M. P. 1984. A theory of action for multiagent planning. In. Proceedings of 1984 Conference of the AAAI. Morgan Kaufmann, San Mateo, CA, 121-125.
81. GILB, T. 1977. Software Metrics. Winthrop Publishers, Cambridge, MA.
82. GILB, T. 1988. Principles of Software Engineering Management. Addison-Wesley, Reading, MA.
83. GIRGENSOHN, A., REDMILES, D., AND SHIPMAN, F. 1994. Agent-based support for communication between developers and users in software design. In Proceedings of the 9th Knowledge-Based Software Engineering Conference. (KBSE'94, Monterey, CA). IEEE Computer Society Press, Los Alamitos, CA, 22-29.
84. GORDON, M. AND MELHAM, T. P. 1993. Introduction to HOL. Cambridge University Press, Cambridge, U.K.
85. GOTEL, O. AND FINKELSTEIN, A. 1995. Contribution structures. In Proceedings of the 2nd International Symposium on Requirements Engineering (RE'95). IEEE Computer Society Press, Los Alamitos, CA, 100-107.
86. GRAF, D. K. AND MISIC, M. M. 1994. The changing roles of the systems analyst. Inform. Resources Man. J. 7, 15-23.
87. GREENSPAN, S., MYLOPOULOS, J., AND BORGIDA, A. 1994. On formal requirements modeling languages: RML revisited. In Proceedings of the Sixteenth International Conference on Software Engineering (Sorrento, Italy). 135-148.
88. GRUNINGER, M. AND Fox, M. S. 1995. Methodology for the design and evaluation of ontologies. In Proceedings of the Workshop on Basic Ontological Issues in Knowledge Sharing (IJCAI'95, Montreal, P.Q., Canada).
89. GUSTAS, R. 1995. On related pragmatic categories and dependencies within enterprise modelling. In Proceedings of the Second Scandinavian Research Seminar on Information and Decision Networks (Vaxjo University, Sweden).
90. HAHN, U., JARKE, M., AND ROSE, T. 1991. Teamwork support in a knowledge-based information systems environment. IEEE Trans. Softw. Eng. 17, 467-482.
91. HALL, R. J. 1995. Systematic incremental validation of reactive systems via sound scenario generalization. Automat. Softw. Eng. 2, 131-166.
92. HALL, R. J. 1998. Explanation-based scenario generation for reactive system models. In Proceedings of the Automated Software Engineering (ASE'98). IEEE Computer Society Press, Los Alamitos, CA.
93. HAMMER, W. 1980. Product Safety Management and Engineering. Prentice-Hall, Englewood Cliffs, NJ.
94. HAREL, D., LACHOVER, H., NAAMAD, A., PNUELI, A., POLITI, M., SHERMAN, R., SHTULL-TRAURING, A., AND TRAKHTENBROT, M. 1990. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16, 403-414.
95. HAUSER, J. R. C. D. 1988. The house of quality. Harvard Bus. Rev. 66, 3, 63-73.
96. HEARST, M. 1998. Information integration, IEEE Intell. Syst. 13, 12-24.
97. HEIMDAHL, M. P. AND LEVESON, N. G. 1996. Completeness and consistency in hierarchical state-based requirements. IEEE Trans. Softw. Eng. 22, 363-377.
98. HEIMDAHL, M. P. E. AND WHALEN, M. W. 1997. Reduction and slicing of hierarchical state machines. ACM SIGSOFT Softw. Eng. Notes 22, 450-467.
99. HEITMEYER, C., KIRBY, J., AND LABAW, B. 1998a. Applying the SCR requirements method to a weapons control panel: An experience report. In Proceedings of the Formal Methods in Software Practice'98 (Clearwater Beach, FL).
100. HEITMEYER, C. AND MANDRIOLI, D. 1996. Formal methods for real-time computing: An overview. In Formal Methods for Real-time Computing, C. Heitmeyer and D. Mandrioli, Eds. J. Wiley, Chichester, U.K., 1-32.
101. HEITMEYER, C. L., JEFFORDS, R. D., AND LABAW, B. G. 1996. Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Method. 5, 231-261.
102. HEITMEYER, C. L., KIRBY, J., JR., LABAW, B., ARCHER, M., AND BHARADWAJ, R. 1998b. Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Trans. Softw. Eng. 24, 927-948.
103. HEKMATPOUR, S. AND INCE, D. 1988. Software Prototyping, Formal Methods, and VDM. Addison-Wesley, Reading, MA.
104. HENINGER, K., PARNAS, D. L., SHORE, J. E., AND KALLANDER, J. W. 1978. Software requirements for the A-7E aircraft. Res. Rep., Naval Research Laboratory, Washington, DC.
105. HENINGER, K. L. 1980. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. Softw. Eng. 6, 2-13.
106. HEYM, M. AND H. OSTERLE. 1993. Computer-aided methodology engineering. Inform. Softw. Tech. 35, 345-353.
107. HOLZMAN, G. 1991. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, NJ.
108. HOLZMANN, G. J. 1997. The model checker SPIN. IEEE Trans. Softw. Eng. 23, 279-295.
109. HORWITZ, S., PRINS, J., AND REPS, T. 1989. Integrating non-interfering versions of programs. ACM Trans. Program. Lang. Syst. 11, 345-387.
110. HUNTER, A. AND NUSEIBEH, B. 1998. Managing inconsistent specifications: Reasoning, analysis and action. ACM Trans. Softw. Eng. Method. 7, 4, 335-367.
111. JACKSON, D. AND DAMON, C. A. 1996. Elements of style: Analyzing a software design feature with a counterexample detector. IEEE Trans. Softw. Eng. 22, 484-495.
112. JACKSON, M. J. 1995. Software Requirements and Specifications: A Lexicon of Practice, Principles, and Prejudices. ACM Press and Addison-Wesley, New York, NY, Wokingham, England, Reading, MA.
113. JACOBS, S. AND KETHERS, S. 1994. Improving communication and decision making within quality function deployment. In Proceedings of the First International Conference on Concurrent Engineering, Research, and Application (Pittsburgh, PA).
114. JANIS, I. L. AND MANN, L. 1979. Decision Making: A Psychological Analysis of Conflict, Choice, and Commitment. The Free Press, New York, NY.
115. JARKE, M., BUBENKO, J., ROLLAND, C., SUTCLIFFE, A., AND VASSILIOU, Y. 1993. Theories underlying requirements engineering: An overview of NATURE at Genesis. In Proceedings of the First International Symposium on Requirements Engineering. (San Diego, CA), 19-31.
116. JARKE, M., GALLERSDORFER, R., JEUSFELD, M. A., STAUDT, M., AND EHERER, S. 1995. ConceptBase - a deductive object manager for meta data management. J. Intell. Inform. Syst. 4, 167-192.
117. JARKE, M. AND POHL, K. 1994. Requirements Engineering in 2001: (Virtually) Managing a Changing Reality. Software Engineering Institute, Pittsburgh, PA, 257-266.
118. JARKE, M., POHL, K., DŠMGES, R., JACOBS, S., AND NISSEN, H. W. 1994. Requirements information management: The NATURE approach. Ingenerie des Systemes d'Informations (Special Issue on Requirements Engineering) 2, 6, 609-636.
119. JEFFORDS, R. AND HEITMEYEH, C. 1998. Automatic generation of state invariants from requirements specifications. In Proceedings of the 6th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. (FSE'6), Lake Buena Vista, FL. ACM Press, New York, NY, 56-69.
120. JELASSI, M. T. AND FOROUGHI, A. 1989. Negotiation support systems: An overview of design issues and existing software. Decision Support Syst. 5, 2, 167-181.
121. JEUSFELD, M. A. AND JOHNEN, U. A. 1994. An executable meta model for re-engineering of database schemas. In. Proceedings of the 13th International Conference on Conceptual Modeling (ER'94, Manchester, U.K.).
122. JOHANNESSON, P. AND JAMIL, M. H. 1994. Semantic interoperability - context, issues, and research directions. In Proceedings of the Second International Conference on Cooperating Information Systems. (Toronto, Ont. Canada).
123. JONES, C. 1995. Software challenges. Comput. industry 28, 10, 102-103.
124. JONES, C. 1996. Patterns of Software Systems Failure and Success. International Thomson Computer Press, London, U.K.
125. KANNAPAN, S. M. AND MABSKEK, K. M. 1993. An approach to parametric machine design and negotiation in concurrent engineering. In Intelligent Design and Manufacturing, A. N. Kusiak, Ed. John Wiley and Sons, New York, NY, 509-534.
126. KANT, E. AND BARSTOW, D. 1981. The refinement paradigm: The interaction of coding and efficiency knowledge in program synthesis. Trans. Softw. Eng. SE-7, 5, 458-471.
127. KARLSSON, J. AND RYAN, K. 1997. A cost-value approach for prioritizing requirements. IEEE Softw. 14, 5, 67-74.
128. KATZ, S., RICHTER, C. A., AND THE, K. S. 1987. PARIS: A system for reusing partially interpreted schemas. In Proceedings of the 9th International Conference on Software Engineering. (ICSE'87, Monterey, CA). 377-385.
129. KAZMAN, R., KLEIN, M. M. B., LONGSTAFF, T., LIPSON, H., AND CARRIERE, J. 1998. The architecture tradeoff analysis method. In Proceedings of the Fourth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS, Monterrey, CA). 68-78.
130. KECK, D. O. AND KÜHN, P. J. 1998. The feature and service interaction problem in telecommunications systems: a survey. IEEE Trans. Softw. Eng. 24, 779-796.
131. KERSTEN, G. E. AND SZPAKOWICZ, S. 1994. Negotiation in distributed artificial intelligence: Drawing from human experience. In Proceedings of the 27th Annual Hawaii International Conference on Systems Sciences. IEEE Press, Los Alamitos, 258-270.
132. KIM, E. AND LEE, J. 1986. An exploratory contingency model of user participation and MIS use. Inform. Manage. 11, pp. 87-97.
133. KLEIN, M. 1991. Supporting conflict resolution in cooperative design systems. Trans. Syst. Man Cybernet. 21, 1379-1390.
134. KLEIN, M. 2000. Towards a systematic repository of knowledge about managing collaborative design conflicts. In Proceedings of the International Conference on AI in Design (Boston, MA).
135. KOTONYA, G. AND SOMMERVILLE, I. 1996. Requirements engineering with viewpoints. BCS/IEE Software Eng. J. 11, 5-18.
136. KOYMANS, R. 1992. Specifying Message Passing and Time-Critical Systems with Temporal Logic. Lecture Notes in Computer Science, vol. 651. Springer-Verlag, Berlin, Germany.
137. KRAUS, S. AND WILKENFELD, J. 1990. The function of time in cooperative negotiations. In Proceedings of the Ninth National Conference on Artificial Intelligence. American Association for Artificial Intelligence, Mento Park, CA, vol. 1, 179-184.
138. KUIPERS, B. 1986. Qualitative simulation. Art. Intell. 29, 289-338.
139. KUMAR, K. AND WELKE, R. J. 1992. Methodology engineering: A proposal for situation-specific methodology construction. In Challenges and Strategies for Research in Systems Development, W. W. C. and J. A. Senn, Eds. John Wiley & Sons, London, U.K., 257-269.
140. KUSIAK, A. 1993. Concurrent Engineering: Automation, Tools, and Techniques. John Wiley & Sons, London, U.K.
141. KWA, J. B. 1988. Tolerant planning and negotiation in generating coordinated movement plans in an automated factory. In Proceedings of the First International Conference on Industrial and Engineering Applications of Artificial Intelligence.
142. LADKIN, P. 1995a. In The Risks Digest (online ACM moderated digest) 15.
143. LADKIN, P. 1995b. In The Risks Digest, Neumann, Ed. ACM SIGSOFT Softw. Eng. Notes 15.
144. LAMSWEERDE, A. V. 2000. Formal specification: A roadmap, FOSE 00. In The Future of Software Engineering, A. Finkelstein, Ed. ACM Press, New York, NY, 147-159.
145. LAMSWEERDE, A. V. AND SINTZOFF, M. 1979. Formal derivation of strongly correct concurrent programs. Acta Inform. 12, 1-31.
146. LANDER, S. AND LESSER, V. R. 1989. A framework for the integration of cooperative knowledge-based systems. In Workshop on Integrated Architectures for Manufacturing (Detroit, MI).
147. LANDER, S. E. AND LESSER, V. R. 1993. Understanding the role of negotiation in distributed search among heterogeneous agents. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (Chambéry, France). 438-444.
148. LEMPP, P. AND RUDOLF, L. 1993. What productivity increases to expect from a CASE environment: Results of a user survey. In Computer Aided Software Engineering (CASE), E. J. Chikofsky, Ed. IEEE Computer Society Press, Los Alamitos, CA, 147-153.
149. LEVENTHAL, N. 1995. Using groupware to automate joint application development. J. Syst. Manage. 45, 16-22.
150. LEVESON, N. 1995. Safeware, System Safety and Computers. Addison-Wesley, Reading, MA.
151. LEVESON, N. G., HEIMDAHL, M. P., AND HILDTRETH, H. 1994. Requirements specification for process-control systems. IEEE Trans. Softw. Eng. 20, 684-706.
152. LIM, L. AND BENBASAT, I. 1992-1993. A theoretical perspective of negotiation support systems. J. Manage. Inform. Syst. 9, 27-44.
153. LIOU, Y. I. AND CHEN, M. 1993-1994. Using group support systems and joint application development for requirements specification. J. Manage. Inform. Syst. 10, 25-41.
154. LIU, F. X. AND YEN, J. 1996. An analytic framework for specifying and analyzing imprecise requirements. In Proceedings of the 18th International Conference on Software Engineering (ICSE'18, Berlin, Germany). 60-69.
155. LUBARS, M., POTTS, C., AND RICHTER, C. 1993. A review of the state of practice in requirements modeling. In First International Symposium on Requirements Engineering. IEEE Press, Los Alamitos, CA.
156. LYYTINEN, K. AND HIRSCHHEIM, R. 1987. Information systems failures - a survey and classification of the emperical literature. In Oxford Surv. Inform. Tech. 4, 257-309.
157. MAGAL, S. AND SNEAD, K. 1993. The role of causal attributions in explaining the link between user participation and information system success. Inform. Resources Manage. J. 6, 19-29.
158. MAIDEN, N., MINOCHA, S., RYAN, M., HUTCHINGS, K., AND MANNING, K. 1997. A co-operative scenario-based approach to the acquisition and validation of systems requirements. In Proceedings of Human Error and Systems Development (Glasgow University, Scotland).
159. MAIDEN, N. A. M. 1998. CREWS-SAVRE: scenarios for acquiring and validating requirements. J. Automat. Softw. Eng. 5, 4, 419-446.
160. MAIDEN, N. A. M. AND SUTCLIPFE, A. G. 1994. Requirements critiquing using domain abstractions. In Proceedings of the International Conference on Requirements Engineering (Colorado Springs, CO).
161. MALONE, T. W. AND CROWSTON, K. G. 1994. The interdisciplinary study of coordination. ACM Comput. Surv. 26, 87-119.
162. MANDRIOLI, D., MORASCA, S., AND MORZENTI, A. 1995. Generating test cases for real-time systems from logic specifications. ACM Trans. Comput. Syst. 13, 365-398.
163. MANNA, Z. AND GROUP, T. S. 1996. STeP: Deductive-algorithmic verification of reactive and real-time systems. In CAV'96 - 8th International Conference on Computer-Aided Verification. Lecture Notes in Computer Science, vol. 1102. Springer-Verlag, Berlin, Germany, 415-418.
164. MARKUS, L. AND KEIL, M. 1994. If we build it, they will come: Designing information systems that people want to use. Sloan Management Review 35, 4, 11-25.
165. MASSONET, P. AND VAN LAMSWEERDE, A. 1997. Analogical reuse of requirements frameworks. In Proceedings of the 3rd International Symposium on Requirements Engineering (RE).
166. MATWIN, S., SZPAKOWICZ, S., KOPERCZAK, Z., KERSTEN, G. E., AND MICHALOWSKI, W. 1989. Negoplan: An expert system shell for negotiation support. IEEE Expert 4, 50-62.
167. MAZER, M. S. 1989. A knowledge-theoretic account of negotiated commitment. Tech. Rep. CSRI-237. University of Toronto, Toronto, Ont., Canada.
168. MAZZA, C., FAIROLOUGH, J., MELTON, B., DE PABLO, D., SCHEFFER, A., AND STEVENS, R. 1994. Software Engineering Standards. Prentice Hall, Englewood Cliffs, NJ.
169. McKEEN, J. AND GUIMARAES, T. 1997. Successful strategies for user Participation in systems development. J. MIS 14, 133-150.
170. McMILLAN, K. L. 1992. Symbolic model checking an approach to the state explosion problem. Tech. Rep. Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA.
171. McMILLAN, K. L. 1993. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer, Boston, MA.
172. MI, P. AND SCACCHI, W. 1992. Process integration for CASE environments,. IEEE Softw. 9, 45-53.
173. MILLER, J., PALANISWAMI, D., SHETH, A., KOCHUT, K., AND SINGH, H. 1997. WebWork: METEOR'S web-based workflow management system. Tech. Rep. Department of Computer Science, University of Georgia, Athens, GA.
174. MOFFETT, J. D. A. A. J. V. 2000. Behavioural conflicts in a causal specification. Automat. Softw. Eng. 7, 215-238.
175. MORGAN, C. 1990. Programming from Specifications. Prentice Hall, Englewood Cliffs, NJ.
176. MOSTOW, J. AND VOIGT, K. 1987. Explicit integration of goals in heuristic algorithm design. In IJCAI'87.
177. MOTSCHNIG-PITRIG, R., NISSEN, H. W., AND JARKE, M. 1997. View-directed requirements engineering: A framework and metamodel. In Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering (SEKE'97, Madrid, Spain).
178. MULLERY, G. 1979. CORE - a method for controlled requirements expression. Proceedings of the Fourth International Conference on Software Engineering. In IEEE Computer Society Press, Los Alamitos, CA, 126-135.
179. MUMFORD, E. AND WEIR, M. 1979. Computer systems in work design - the ETHICS method. Associated Business Press, London, U.K.
180. MYLOPOULOS, J., BORGIDA, A., AND YU, E. 1997. Representing software engineering knowledge. Automat. Softw. Eng. 4, 291-317.
181. MYLOPOULOS, J., CHUNG, L., AND NIXON, B. 1992. Representing and using non-functional requirements: A process-oriented approach. IEEE Trans. Softw. Eng. 18, 483-497.
182. MYLOPOULOS, J., CHUNG, L., AND YU, E. 1999. From object-oriented to goal-oriented requirements analysis. Commun. ACM, 42, 31-37.
183. NECHES, R., SWARTOUT, W., AND MOORE, J. D. 1985. Enhanced maintenance and explanation of expert systems through explicit models of their development. Trans. Softw. Eng. SE-11, 1337-1351.
184. NEUMANN, P. G. 1995. Computer Related Risks. Addison-Wesley, Reading, MA.
185. NISKIER, C., MAIBAUM, T., AND SCHWABE, D. 1989. A pluralistic knowledge-based approach to software specification. In Proceedings of the ESEC'89 - 2nd European Software Engineering Conference. Lecture Notes in Computer Science, vol. 387. Springer-Verlag, Berlin, Germany, 411-423.
186. NISSEN, H., JEUSFELD, A., JARKE, M., ZEMANEK, G., AND HUBER, H. 1996. Technology to manage multiple requirements perspectives. IEEE Softw. 13, 2, 37-48.
187. NISSEN, H. W. AND JARKE, M. 1999. Repository support for multi-perspective requirements engineering. Inform. Syst. (Special Issue on Meta Modeling and Method Engineering) 24, 131-158.
188. NORMAN, R. J. AND NUNAMAKER, J. F., JR. 1989. CASE productivity perceptions of software engineering professionals. Commun. ACM 32, 1102-1108.
189. NUSEIBEH, B. 1996. To be and not to be: On managing inconsistency in software development. In Proceedings of the 8th International Workshop on Software Specification and Design (IWSSD'8, Schloss Velen, Germany). IEEE Computer Society Press, Los Alamitos, CA, 164-169.
190. NUSEIBEH, B. AND FINKELSTEIN, A. 1992. View-Points: A vehicle for method and tool integration. In Proceedings of the 5th International Workshop on Computer-Aided Software Engineering (CASE'92), Montreal, P.Q., Canada). IEEE Computer Society Press, Los Alamitos, CA, 50-60.
191. NUSEIBEH, B., KRAMER, J., AND FINKELSTEIN, A. 1994. A framework for expressing the relationship between multiple views in requirements specification. IEEE Trans. Softw. Eng. 20, 10, 760-773.
192. OLIVER, J. R. 1996. On artificial agents for negotiation in electronic commerce. In Proceedings of the 29th Annual Hawaii International Conference on Systems Sciences. IEEE Computer Society Press, Los Alamitos, CA, 337-346.
193. OLSEN, G. R., CUTKOSKY, M., TENENBAUM, J. M., AND GRUBER, T. R. 1994. Collaborative engineering based on knowledge sharing agreements. In Proceedings of the 1994 ASME Database Symposium (Minneapolis, MN).
194. OSTERWEIL, L. AND BUTTON, S. 1996. Using software technology to define workflow processes. In Proceedings of the NSF Workshop on Workflow & Process Automation (Athens, GA).
195. OSTERWEIL, L. J. 1987. Software processes are software too. In Proceedings of the Ninth International Conference on Software Engineering. (Monterey CA, March). 2-13.
196. OWRE, S., RUSHBY, J., AND SHANKAR, N. 1995. Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Trans. Softw. Eng. 21, 107-125.
197. PARK, D. Y., SKAKKEBAEK, J., AND DILL, D. L. 1998. Static analysis to identify invariants in RSML specifications. In Proceedings of FTRTFT98 - Formal Techniques for Real Time or Fault Tolerance.
198. PARNAS, D. L. AND MADEY, J. 1995. Functional documentation for computer systems engineering. Sci. Comput. Program. 25, 41-61.
199. PERROW, C. 1984. Normal Accidents: Living with High-Risk Technology. Basic Books, New York, NY.
200. PERRY, D. E. AND WOLF., A. L. 1992. Foundations for the study of software architecture. ACM SIG-SOFT Softw. Eng. Notes, 17, 40-52.
201. POHL, K. 1997. Requirements engineering: An overview. In Encyclopedia of Computer Science and Technology. A. Kent, and J. Williams, Eds. Marcel Dekker, New York, NY, vol. 36, suppl. 21.
202. POTTS, C. 1994. Requirements Completeness, Enterprise Goals, and Scenarios. Georgia Institute of Technology, College of Computing, Atlanta, GA.
203. POTTS, C. 1995. Using schematic scenarios to understand user needs. In Proceedings of DIS'95 - ACM Symposium on Designing Interactive Systems: Processes, Practices and Techniques (University of Michigan, Ann Arbor, MI).
204. POTTS, C. AND BRUNS, G. 1988, Recording the reasons for design decision. In Proceedings of the Seventh International Workshop on Software Specification and Design (Singapore) 418-427.
205. POTTS, C., TAKAHASHI, K., AND ANTON, A. 1994. Inquiry-based requirements analysis. IEEE Softw. 11, 2, 21-32.
206. PRUITT, D. G. 1981. Negotiation Behavior. Academic Press, New York, NY.
207. QUEILLE, J. AND SIFAKIS, J. 1982. Specification and verification of concurrent systems in CAESAR. In The Fifth International Symposium on Programming. Lecture Notes in Computer Science, Vol. 137. Springer-Verlag, Berlin, Germany.
208. RAIFFA, H. 1968. Decision Analysis. Addison-Wesley, Reading, MA.
209. RAIFFA, H. 1982. The Art and Science of Negotiation. Harvard University Press, Cambridge, MA.
210. RAM, S. AND RAMESH, V. 1995. A Blackboard-based cooperative system for schema integration. IEEE Expert/Intell. Syst. Appl. 10, 56-62.
211. RAMESH, B. AND DHAR, V. 1992. Supporting systems development by capturing deliberations during requirements engineering, IEEE Trans. Softw. Eng. 18, 6, 498-510.
212. RANGASWAMY, A., ELIASHBERG, J., BURKE, R. R., AND WIND, J. 1989. Developing marketing expert systems: An application to international negotiations. J. Market. 53, 24-39.
213. REUBENSTEIN, H. B. AND WATERS, R. C. 1991. The requirements apprentice: automated assistance for requirements acquisition. IEEE Trans. Softw. Eng. 17, 226-240.
214. RICHARDSON, D. J., AHA, S. L., AND O'MALLEY, T. O. 1992. Specification-based test oracles for reactive systems. In Proceedings of the International Conference on Software Engineering. (Melbourne, Australia). ACM Press, New York, NY. 105-118.
215. ROBBINS, S. P. 1983. Organizational Behavior: Concepts, Controversies, and Applications. Prentice Hall, Englewood Cliffe, NJ.
216. ROBEY, D., FARROW, D. L., AND FRANZ, C. R. 1989. Group process and conflict in systems development. Manage. Sci. 35, 1172-1191.
217. ROBINSON, W. N. 1989. Integrating multiple specifications using domain goals. In Proceedings of the 5th International Workshop on Software Specification and Design. IEEE Computer Society Press, Los Alamitos, CA, 219-226. (Also available as Tech. Rep. CIS-TR-89-03, University of Oregon, Eugene, OR.).
218. ROBINSON, W. N. 1990. Negotiation behavior during requirement specification. In Proceedings of the 12th International Conference on Software Engineering (Nice, France). IEEE Computer Society Press, Los Alamitos, CA, 268-276. (Also available as Tech. Rep. CIS-TR-89-13, University of Oregon, Eugene, OR.).
219. ROBINSON, W. N. 1993. Automated negotiated design integration: Formal representations and algorithms for collaborative design. Tech. Rep., University of Oregon, Eugene, OR.
220. ROBINSON, W. N. 1994. Interactive decision support for requirements negotiation. Concur. Eng.: Res. Appl. (Special Issue on Conflict Management in Concurrent Engineering) 2, 237-252.
221. ROBINSON, W. N. 1997. Electronic brokering for assisted contracting of software applets. In Proceedings of the 30th Annual Hawaii International Conference on Systems Sciences. IEEE Computer Society Press, Los Alamitos, CA, 449-458.
222. ROBINSON, W. N. 2002. Monitoring software requirements using instrumented code. In Proceedings of the 35th Annual Hawaii International Conference on Systems Sciences. IEEE Computer Society Press, Los Alamitos, CA.
223. ROBINSON, W. N. AND PAWLOWSKI, S. 1997. Surfacing root requirements interactions from inquiry cycle requirements. Tech. Rep. Georgia State University, Atlanta, GA.
224. ROBINSON, W. N. AND PAWLOWSKI, S. 1998. Surfacing root requirements interactions from inquiry cycle requirements. In Proceedings of the Third IEEE International Conference on Requirements Engineering (ICRE'98, Colorado Springs, CO). IEEE Computer Society Press, Los Alamitos, CA. 82-89.
225. ROBINSON, W. N. AND PAWLOWSKI, S. D. 1999. Managing requirements inconsistency with development goal monitors. IEEE Trans. Softw. Eng. 25, 816-835.
226. ROBINSON, W. N. AND VOLKOV, S. 1996. Conflict-oriented requirements restructuring. Tech. Rep. Georgia State University, Atlanta, GA.
227. ROBINSON, W. N. AND VOLKOV, S. 1997. A metamodel for restructuring stakeholder requirements. In Proceedings of ICSE19 - 19th International Conference on Software Engineering (Boston, MA). IEEE Computer Society Press, Los Alamitos, CA, 140-149.
228. ROBINSON, W. N. AND VOLKOV, S. 1998. Supporting the negotiation life-cycle. Commun. ACM, 41, 5, 95-102.
229. ROONG-KO, D. AND FRANKL, P. G. 1994. The AS-TOOT approach to testing object-oriented programs. ACM Trans. Softw. Eng. Method. 3, 101-130.
230. SANDHOLM, T. AND LESSER, V. 1995. Issues in automated negotiation and electronic commerce: Extending the contract net framework. In Proceedings of the First International Conference on Multiagent Systems (ICMAS'95, San Francisco, CA). 328-33.
231. SATHI, A., MORTON, T. E., AND ROTH, S. F. 1986. Callisto: An intelligent project management system, AI Mag. 7, 5, 34-52.
232. SCHNEIDER, F., EASTERBROOK, S. M., CALLAHAN, J. R., AND HOLZMANN, G. J. 1998. Validating requirements for fault tolerant systems using model checking. In Proceedings of the Third IEEE Conference on Requirements Engineering (Colorado Springs, CO). IEEE Press, Los Alamitos, CA.
233. SCHULER, D. AND NAMIOKA, A. 1993. Participatory Design. Lawrence Erlbaum Assoc., Hillsdale, NJ.
234. SHAKUN, M. F. 1991. Airline buyout: Evolutionary systems design and problem restructuring in group decision and negotiation. Manage. Sci. 37, 1291-1303.
235. SHAW, M. AND GAINES, B. 1989. Comparing conceptual structures: Consensus, conflict, correspondence and contrast. Knowl. Acquis. 1, 341-363.
236. SHAW, M. L. G. AND GAINES, B. R. 1988. A methodology for recognizing consensus, correspondence, conflict and contrast in a knowledge acquisition system. In Proceedings of the Workshop on Knowledge Acquisition for Knowledge-Based Systems. (Banff, Alta., Canada).
237. SHETH, A., ED. 1996. In Proceedings of the Workshop on Workflow & Process Automation (Athens, GA.). National Science Foundation, Washington, DC.
238. SMITH, R. G. 1980. The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Trans. Comput. C29, 1104-1113.
239. SOMMERVILLE, I. AND SAWYER, P. 1997. Viewpoints: Principles, problems and a practical approach to requirements engineering. Ann. Softw. Eng. 3, 21, 101-130.
240. SOMMERVILLE, I., SAWYER, P., AND VILLER, S. 1997. Viewpoints for requirements elicitation: A practical approach. Tech. Rep. CSEG/16/97. Lancaster University, Computing Department, Bailrigg, Larcs. U.K.
241. SPACAPPIETRA, S. AND PARENT, C. 1994. View integration: A step forward in solving structural conflicts. IEEE Trans. Knowl. Data Eng. 6, 258-274.
242. SPANOUDAKIS, G. AND CONSTANTOPOULOS, P. 1996. Analogical reuse of requirements specifications: A computational model. Appl. Art. Intell.: An Internat. J. 10, 281-306.
243. SPANOUDAKIS, G. AND FINKELSTEIN, A. 1995. Integrating specifications: A similarity reasoning approach. Automat. Softw. Eng. J. 2, 311-342.
244. SPANOUDAKIS, G. AND FINKELSTEIN, A. 1997. Reconciling requirements: A method for managing interference, inconsistency and conflict. Ann. Softw. Eng. 3, 21, 433-457.
245. STOREY, V. C., GOLDSTEIN, R. C., CHIANG, R. H. L., DEY, D., AND SUNDARESAN, S. 1997. Database design with common sense business reasoning and learning. ACM Trans. Database Syst. 22, 471-512.
246. SUTCLIFFE, A. G., MAIDEN, N. A. M., MINOCHA, S., AND MANUEL, D. 1998. Supporting scenario-based requirements engineering. IEEE Trans. Softw. Eng. (Special Issue on Scenario Management) 24, 12, 1072-1088.
247. SYCARA, K. 1988. Resolving goal conflicts via negotiation. In Proceedings of the AAAI'88. American Association for Artificial Intelligence, Menlo Park, CA, 245-250.
248. SYCARA, K. 1991. Problem restructuring in negotiation. Manage. Sci. 37, 1248-1267.
249. SYCARA, K., DECKER, K., PANNU, A., WILLIAMSON, M., AND ZENG, D. 1996. Distributed intelligent agents. IEEE Expert/Intell. Syst. Appl. 11, 36-46.
250. THOMPSON, J. M., HEIMDAHL, M. B., AND MILLER, S. P. 1999. Specification-based prototyping for embedded systems. In ESEC/FSE'99 (Toulouse, France). Lecture Notes in Computer Science, vol. 1687. Springer-Verlag, Berlin, Germany, 163-179.
251. VAN LAMSWEERDE, A., DARDENNE, A., DELCOURT, B., AND DUBISY, F. 1991. The KAOS project: Knowledge acquisition in automated specification of software. In Proceedings of the AAAI Spring Symposium Series (Stanford University, Stanford, CA). American Association for Artificial Intelligence, Menlo Park, CA, 59-62.
252. VAN LAMSWEERDE, A., DARIMONT, R., AND LETIER, E. 1998. Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Trans. Softw. Eng. 24, 908-926.
253. VAN LAMSWEERDE, A., DARIMONT, R., AND MASSONET, P. 1993. The meeting scheduler system-preliminary definition. Internal Rep., University of Louvain, Louvain, Belgium.
254. VAN LAMSWEERDE, A., DARIMONT, R., AND MASSONET, P. 1995. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt. In Proceedings of the Second International Symposium on Requirements Engineering. IEEE Computer Science Press, Los Alamitos, CA, 194-203.
255. VAN LAMSWEERDE, A. AND LETIER, E. 2000. Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Softw. Eng. 26, 978-1005.
256. VAN LAMSWEERDE, A. AND WILLEMET, L. 1998. Inferring declarative requirements specifications from operational scenarios. IEEE Trans. Softw. Eng. (Special Issue on Scenario Management) 24, 12, 1089-1114.
257. VELTHUIJSEN, H. 1993. Distributed artificial intelligence for runtime feature-interaction resolution. Comput. 26, 48-55.
258. VESSEY, I. AND SRAVANAPUDI, A. P. 1995. CASE tools as collaborative support technologies. Commun. ACM, 38, 83-95.
259. VON MARTIAL, F. 1992. Coordinating Plans of Autonomous Agents. Springer-Verlag, Berlin, Germany.
260. WALDINGER, W. 1977. Achieving several goals semultaneously. In Machine Intelligence, E. Elcock and D. Michie, Eds. Ellis Horwood, Chichester, U.K., vol. 8, pp. 94-136.
261. WEINBERG, B. M. AND SCHULMAN, E. L. 1974. Goals and performance in computer programming. Hum. Fact. 16, 70-77.
262. WERKMAN, K. J. 1990a. Knowledge-based model of negotiationusing shareable perspectives. In Proceedings of the 10th International Workshop on Distributed Artificial Intelligence (Bandera, TX). American Association for Artificial Intelligence, Menlo Park, CA.
263. WERKMAN, K. J. 1990b. Knowledge-based model of using shareable perspectives. In Proceedings of the Tenth International Conference on Distributed Artificial Intelligence (Bandera, TX), American Association for Artificial Intelligence, Menlo Park, CA. 1-23.
264. WEYUKER, E., GORADIA, T., AND SINGH, A. 1994. Automatically generating test data from a Boolean specification. IEEE Trans. Softw. Eng. 20, 353-363.
265. WILBUR-HAM, M. C. 1985. Numerical Petri Nets - A Guide. Telecom Australia, Victoria, Australia.
266. WING, J. 1990. A specifier's introduction to formal methods. IEEE Softw. 23, 8-26.
267. WINOGRAD, T. AND FLORES, F. 1987. Understanding Computers and Cognition. Addison-Wesley, Reading, MA.
268. YAKEMOVIC, K. AND CONKLIN, J. 1990. Experience with the gIBIS model in a corporate setting. In Proceedings of CSCW '90 (Los Angeles, CA).
269. YANG, W., HORWITZ, S., AND REPS 1992. A program integration algorithm that accommodates semantics-preserving transformations. ACM Trans. Softw. Eng. Method. 1, 310-354.
270. YEN, J., LEE, H. G., AND BUI, T. 1996. Intelligent clearinghouse: Electronic marketplace with computer-mediated negotiation supports. In Proceedings of the 29th Annual Hawaii International Conference on Systems Sciences. IEEE Computer Society Press, Los Alamitos, CA, 219-227.
271. YEN, J. AND TIAO, W. 1997. A systematic tradeoff analysis for conflicting imprecise requirements. In Proceedings of the Third IEEE International Symposium on Requirements Engineering (RE'97). IEEE Computer Science Press, Los Alamitos, CA.
272. YU, E. S. K. AND MYLOPOULOS, J. 1993. An actor dependency model of organizational work - with application to business process reengineering. In Proceedings of Conference on Organizational Computing Systems (COOCS'93, Milpitas, CA).
273. ZAREMSKI, A. M. AND WING, J. 1997. Specification matching of software components. ACM Trans. Softw. Eng. Method. 6, 333-369.
274. ZAVE, P. AND JACKSON, M. 1993. Conjunction as composition. ACM Trans. Softw. Eng. Method. 2, 4, 379-411.
275. ZAVE, P. AND JACKSON, M. 1996. Where do operations come from? A multiparadigm specification technique. IEEE Trans. Softw. Eng. XXII, 508-528.
276. ZAVE, P. AND JACKSON, M. 1997. Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Method. 6, 1-30.
277. ZELENY, M. 1982. Multiple Criteria Decision Making. McGraw-Hill, New York, NY.