Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	S. Abramsky , T. S. E. Maibaum, Handbook of logic in computer science (vol. 1): background: mathematical structures, Oxford University Press, Inc., New York, NY, 1993
	2	V. Ambriola , V. Gervasi, Processing natural language requirements, Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE), p.36, November 02-05, 1997
	3	Antoniou, G. (1998). The role of nonmonotonic representations in requirements engineering. International Journal of Software Engineering and Knowledge Engineering, 8(3): 385-399.
	4	Keith H. Bennett , Václav T. Rajlich, Software maintenance and evolution: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.73-87, June 04-11, 2000, Limerick, Ireland  [doi>10.1145/336512.336534]
	5	Bruce I. Blum, Beyond programming: to a new era of design, Oxford University Press, Inc., New York, NY, 1996
	6	Barry W. Boehm, Software Risk Management: Principles and Practices, IEEE Software, v.8 n.1, p.32-41, January 1991  [doi>10.1109/52.62930]
	7	Barry Boehm , Prasanta Bose , Ellis Horowitz , Ming June Lee, Software requirements negotiation and renegotiation aids, Proceedings of the 17th international conference on Software engineering, p.243-253, April 24-28, 1995, Seattle, Washington, United States  [doi>10.1145/225014.225037]
	8	Barry W. Boehm, Software Engineering Economics, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	9	Robert S. Arnold, Software Change Impact Analysis, IEEE Computer Society Press, Los Alamitos, CA, 1996
	10	Brinkkemper, S. & Joosten, S. (1996). Editorial: Method Engineering and Meta-modelling. Information and Software Technology, 38(4): 259.
	11	Burg, J. F. M. (1997). Linguistic Instruments in Requirements Engineering. Amsterdam: lOS Press.
	12	Carter, R., Martin, J., Mayblin, B. & Munday, M. (1984). Systems, Management and Change: A Graphic Guide. London: Paul Chapman Publishing/Harper and Row.
	13	Lawrence Chung, Dealing with Security Requirements During the Development of Information Systems, Proceedings of Advanced Information Systems Engineering, p.234-251, June 08-11, 1993
	14	Chung, L, Nixon, B., Yu, E. & Mylopoulos, J. (2000). Non- Functional Requirements in Software Engineering. Boston: Kluwer Academic Publishers.
	15	Anne Dardenne , Axel van Lamsweerde , Stephen Fickas, Goal-directed requirements acquisition, Science of Computer Programming, v.20 n.1-2, p.3-50, April 1993
	16	Darke, P. & Shanks, G. (1996). Stakeholder Viewpoints in Requirements Definition: A Framework for Understanding Viewpoint Development Approaches. Requirements Engineering, 1(2): 88-105.
	17	Alan M. Davis, Operational Prototyping: A New Development Approach, IEEE Software, v.9 n.5, p.70-78, September 1992  [doi>10.1109/52.156899]
	18	Alan M. Davis, Software requirements: objects, functions, and states, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	19	Diego Del Gobbo , Marcello Napolitano , John Callahan , Bojan Cukic, Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification Scheme, The 3rd IEEE International Symposium on High-Assurance Systems Engineering, p.209, November 13-14, 1998
	20	S. Easterbrook, Handling conflict between domain descriptions with computer-supported negotiation, Knowledge Acquisition, v.3 n.3, p.255-289, Sept. 1991  [doi>10.1016/1042-8143(91)90007-A]
	21	S. Easterbrook , B. Nuseibeh, Managing inconsistencies in an evolving specification, Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.48, March 27-29, 1995
	22	Jacky Estublier, Software configuration management: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.279-289, June 04-11, 2000, Limerick, Ireland  [doi>10.1145/336512.336576]
	23	Stephen Fickas , P. Nagarajan, Critiquing Software Specifications, IEEE Software, v.5 n.6, p.37-47, November 1988  [doi>10.1109/52.10002]
	24	Finkelstein, A. (1993). Requirements Engineering: an overview. 2nd Asia-Pacific Software Engineering Conference (APSEC'93), Tokyo, Japan, 1993.
	25	Anthony Finkelstein , George Spanoudakis , Mark Ryan, Software Package Requirements and Procurement, Proceedings of the 8th International Workshop on Software Specification and Design, p.141, March 22-23, 1996
	26	Finkelstein, A. & Sommerville, I. (1996). The Viewpoints FAQ: Editorial - Viewpoints in Requirements Engineering. Software Engineering Journal, 11(1): 2-4.
	27	David Garlan, Software architecture: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.91-101, June 04-11, 2000, Limerick, Ireland  [doi>10.1145/336512.336537]
	28	IEEE Transactions on Software Engineering staff, Guest Editorial: Introduction to the Special Section, IEEE Transactions on Software Engineering, v.24 n.11, p.906-907, November 1998
	29	Marina Jirotka , Joseph A. Goguen, Requirements engineering: social and technical issues, Academic Press Professional, Inc., San Diego, CA, 1994
	30	Goguen, J. & Linde, C. (1993). Techniques for Requirements Elicitation. 1st IEEE International Symposium on Requirements Engineering (RE'93), San Diego, USA, 4-6th January 1993, pp. 152- 164.
	31	Gotel, O. & Finkelstein, A. (1994). An Analysis of the Requirements Traceability Problem. 1st International Conference on Requirements Engineering (ICRE'94), Colorado Springs, April 1994, pp. 94-101.
	32	Gravell, A. & Henderson, P. (1996). Executing Formal Specifications Need Not Be Harmful. lEE Software Engineering Journal, 11(2): 104-110.
	33	Greenspan, S. & Feblowitz, M. (1993). Requirements Engineering Using the SOS Paradigm. 1st International Symposium on Requirements Engineering (RE'93), San Diego, USA, 4-6 January 1993, pp. 260-263.
	34	Hauser, J. R. & Clausing, D. (1988). The House of Quality. The Harvard Business Review(3): 63-73.
	35	Constance L. Heitmeyer , Ralph D. Jeffords , Bruce G. Labaw, Automated consistency checking of requirements specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.3, p.231-261, July 1996  [doi>10.1145/234426.234431]
	36	Karen Holtzblatt , Hugh R. Beyer, Requirements gathering: the human factor, Communications of the ACM, v.38 n.5, p.31-32, May 1995  [doi>10.1145/203356.203361]
	37	Gerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, v.23 n.5, p.279-295, May 1997  [doi>10.1109/32.588521]
	38	Anthony Hunter , Bashar Nuseibeh, Managing inconsistent specifications: reasoning, analysis, and action, ACM Transactions on Software Engineering and Methodology (TOSEM), v.7 n.4, p.335-367, Oct. 1998  [doi>10.1145/292182.292187]
	39	Michael Jackson, Software requirements & specifications: a lexicon of practice, principles and prejudices, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1995
	40	Jackson, M. & Zave, P. (1993). Domain Descriptions. 1st International Symposium on Requirements Engineering (RE'93), San Diego, USA, 4-6 January 1993, pp. 56-64.
	41	IEEE Transactions on Software Engineering staff, 1998 Index, IEEE Transactions on Software Engineering Vol. 24, IEEE Transactions on Software Engineering, v.24 n.12, p.1197-1205, December 1998
	42	Johnson, P. (1992). Human-Computer Interaction: psychology, tusk analysis and software engineering. McGraw-Hill.
	43	Joachim Karlsson , Kevin Ryan, A Cost-Value Approach for Prioritizing Requirements, IEEE Software, v.14 n.5, p.67-74, September 1997  [doi>10.1109/52.605933]
	44	Benjamin L. Kovitz, Practical software requirements: a manual of content and style, Manning Publications Co., Greenwich, CT, 1998
	45	Kuhn, T. S. (1962). The Structure of Scientific Revolutions. Urbana: University of Chicago Press.
	46	Lehman, M. M. (1980). Programs, Life Cycles, and Laws of Software Evolution. Proceedings of the IEEE, 68(9): 1060-1076.
	47	Loucopoulos, P. & Kavakli, E. (1995). Enterprise Modelling and the Teleological Approach to Requirements Engineering. International Journal of Intelligent and Cooperative Information Systems, 4(1): 45 -79.
	48	Leucopoulos, P. & Potts, C. (Ed.). (1996). Requirements Engineering Journal. Springer Verlag.
	49	Robyn R. Lutz , Guy G. Helmer , Michelle M. Moseman , David E. Statezni , Stephen R. Tockey, Safety Analysis of Requirements for a Product Family, Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice, p.24, April 06-10, 1998
	50	Tom Maibaum, Mathematical foundations of software engineering: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.161-172, June 04-11, 2000, Limerick, Ireland  [doi>10.1145/336512.336548]
	51	N. A. M. Maiden, CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements, Automated Software Engineering, v.5 n.4, p.419-446, October 1998  [doi>10.1023/A:1008605412971]
	52	Maiden, N. & Rugg, G. (1996). ACRE: Selecting Methods For Requirements Acquisition. Software Engineering Journal, 11(3): 183-192.
	53	Neil A. Maiden , Cornelius Ncube, Acquiring COTS Software Selection Requirements, IEEE Software, v.15 n.2, p.46-56, March 1998  [doi>10.1109/52.663784]
	54	Neil Maiden , Alistair Sutcliffe, Exploiting reusable specifications through analogy, Communications of the ACM, v.35 n.4, p.55-64, April 1992  [doi>10.1145/129852.129857]
	55	Francesmary Modugno , Nancy G. Leveson , Jon D. Reese , Kurt Partridge , Sean D. Sandys, Integrated Safety Analysis of Requirements Specifications, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.148, January 05-08, 1997
	56	Takeshi Nakajo , Hitoshi Kume, A case history analysis of software error cause-effect relationships, IEEE Transactions on Software Engineering, v.17 n.8, p.830-838, August 1991  [doi>10.1109/32.83917]
	57	Norman, D. A. (1993). Cognition in the Head and in the World: An Introduction to the Special Issue on Situated Action. Cognitive Science, 17(1): 1-6.
	58	Bashar Nuseibeh, Ariane 5: Who Dunnit?, IEEE Software, v.14 n.3, p.15-16, May 1997  [doi>10.1109/MS.1997.589224]
	59	Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein, A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification, IEEE Transactions on Software Engineering, v.20 n.10, p.760-773, October 1994  [doi>10.1109/32.328995]
	60	Pamas, D. (2000). When to formalise. Personal Communication (Email), 17 February 2000.
	61	Popper, K. R. (1963). Conjectures and Refutations: The Growth of Scientific Knowledge. New York: Basic Books.
	62	Michael I. Posner, Foundations of cognitive neuroscience, MIT Press, Cambridge, MA, 1993
	63	C. Potts, Requirements Models in Context, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.102, January 05-08, 1997
	64	Colin Potts , Kenji Takahashi , Annie I. Antón, Inquiry-Based Requirements Analysis, IEEE Software, v.11 n.2, p.21-32, March 1994  [doi>10.1109/52.268952]
	65	Quality Systems and Software (1999). DOORS <http://www.qss.co.uk/>
	66	Rational Corporation (1999). Requisite Pro <http://www.rational.com>
	67	Howard B. Reubenstein , Richard C. Waters, The Requirements Apprentice: Automated Assistance for Requirements Acquisition, IEEE Transactions on Software Engineering, v.17 n.3, p.226-240, March 1991  [doi>10.1109/32.75413]
	68	James Robertson , Suzanne Robertson, Complete systems analysis (vol. 1), Dorset House Publishing Co., Inc., New York, NY, 1994
	69	Suzanne Robertson , James Robertson, Mastering the requirements process, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1999
	70	William N. Robinson , Vecheslav Volkov, Supporting the negotiation life cycle, Communications of the ACM, v.41 n.5, p.95-102, May 1998  [doi>10.1145/274946.274962]
	71	Mark Saaltink, The Z/EVES System, Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation, p.72-85, April 03-04, 1997
	72	Geri Schneider , Jason P. Winters, Applying use cases: a practical guide, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
	73	Helen Sharp , Anthony Finkelstein , Galal Galal, Stakeholder Identification in the Requirements Engineering Process, Proceedings of the 10th International Workshop on Database & Expert Systems Applications, p.387, September 01-03, 1999
	74	Mary Shaw, Prospects for an Engineering Discipline of Software, IEEE Software, v.7 n.6, p.15-24, November 1990  [doi>10.1109/52.60586]
	75	Shaw, M. & Gaines, B. (1996). Requirements Acquisition. Software Engineering Journal, 11(3): 149-165.
	76	Stevens, R., Brook, P., Jackson, K. & Arnold, S. (1998). Systems Engineering: Coping with Complexity. Prentice Hall Europe.
	77	Structured Software Systems Ltd (1999). CRADLE <http://www.threesl.com/>
	78	Richard H. Thayer , Sidney C. Bailin , M. Dorfman, Software Requirements Engineerings, 2nd Edition, IEEE Computer Society Press, Los Alamitos, CA, 1997
	79	Axel van Lamsweerde , Emmanual Letier , Robert Darimont, Managing Conflicts in Goal-Driven Requirements Engineering, IEEE Transactions on Software Engineering, v.24 n.11, p.908-926, November 1998  [doi>10.1109/32.730542]
	80	Stephen Viller , Ian Sommerville, Social Analysis in the Requirements Engineering Process: From Ethnography to Method, Proceedings of the 4th IEEE International Symposium on Requirements Engineering, p.6-13, June 07-11, 1999
	81	R. J. Wieringa, Requirements engineering: frameworks for understanding, John Wiley & Sons, Inc., New York, NY, 1996
	82	Eric S. K. Yu, Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.226, January 05-08, 1997
	83	Pamela Zave, Classification of research efforts in requirements engineering, ACM Computing Surveys (CSUR), v.29 n.4, p.315-321, Dec. 1997  [doi>10.1145/267580.267581]
	84	Pamela Zave , Michael Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.1, p.1-30, Jan. 1997  [doi>10.1145/237432.237434]

• Augmenting shared personal calendars Proceedings of the 15th annual ACM symposium on User interface software and technology
  Joe Tullio ,  Jeremy Goecks ,  Elizabeth D. Mynatt ,  David H. Nguyen
  
  
• Polymer simulation on the hypercube Proceedings of the third conference on Hypercube concurrent computers and applications
  H-Q. Ding
  
  
• Web application security assessment by fault injection and behavior monitoring Proceedings of the 12th international conference on World Wide Web
  Yao-Wen Huang ,  Shih-Kun Huang ,  Tsung-Po Lin ,  Chung-Hung Tsai
  
  
• Inferring constraints from multiple snapshots ACM Transactions on Graphics (TOG)   12, 4
  David Kurlander ,  Steven Feiner
  
  
• Data structures for quadtree approximation and compression Communications of the ACM   28, 9
  Hanan Samet