{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:56:48Z","timestamp":1725656208379},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,18]]},"DOI":"10.1145\/1167253.1167312","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"256-261","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Local and global analysis"],"prefix":"10.1145","author":[{"given":"Lester O.","family":"Lobo","sequence":"first","affiliation":[{"name":"Virginia Tech, Blacksburg, Virginia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James D.","family":"Arthur","sequence":"additional","affiliation":[{"name":"Virginia Tech, Blacksburg, Virginia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"286","volume-title":"Proceedings of the Pacific Northwest Software Quality Conference, Portland OR","author":"Arthur J. D.","year":"1999","unstructured":"Arthur , J. D. and Markus K . Groener, 1999, An Operational Model Supporting the Generation of Requirements that Capture Customer Intent , Proceedings of the Pacific Northwest Software Quality Conference, Portland OR , October 1999 , pp. 286 -- 302 . Arthur, J. D. and Markus K. Groener, 1999, An Operational Model Supporting the Generation of Requirements that Capture Customer Intent, Proceedings of the Pacific Northwest Software Quality Conference, Portland OR, October 1999, pp. 286--302."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.6191"},{"key":"e_1_3_2_1_3_1","first-page":"74","volume-title":"Proceedings of ICRE","author":"Boehm B. W.","year":"1994","unstructured":"Boehm , B. W. , Bose , P. , Horowitz , E. , Lee , M. J. \" Software Requirements As Negotiated Win Conditions\" , Proceedings of ICRE , April 1994 , pp. 74 -- 83 . Boehm, B. W., Bose, P., Horowitz, E., Lee, M. J. \"Software Requirements As Negotiated Win Conditions\", Proceedings of ICRE, April 1994, pp.74--83."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/590564.590583"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1185216"},{"key":"e_1_3_2_1_6_1","volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","year":"1976","unstructured":"Dijkstra E. W. A Discipline of Programming . Prentice-Hall ( 1976 ). Dijkstra E. W. A Discipline of Programming. Prentice-Hall (1976)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/850945.853209"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257754"},{"volume-title":"Proceedings of the 12th International Conference on Industrial and Engineering Applications of AI and Expert Systems, IEA\/AIE'99","author":"Herlea D. E.","key":"e_1_3_2_1_9_1","unstructured":"Herlea , D. E. , Jonker , C. M. , Treur , J. , and Wijngaards , N. J. E. , 1999, A Formal Knowledge Level Process Model of Requirements Engineering , In Proceedings of the 12th International Conference on Industrial and Engineering Applications of AI and Expert Systems, IEA\/AIE'99 . Herlea, D. E., Jonker, C. M., Treur, J., and Wijngaards, N. J. E., 1999, A Formal Knowledge Level Process Model of Requirements Engineering, In Proceedings of the 12th International Conference on Industrial and Engineering Applications of AI and Expert Systems, IEA\/AIE'99."},{"key":"e_1_3_2_1_10_1","volume-title":"Software Process Quality: Requirements for Improvement from Industry In Rome Air Development Centre Software Quality Workshop","author":"Jeffery D. R.","year":"1992","unstructured":"Jeffery , D. R. , Software Process Quality: Requirements for Improvement from Industry In Rome Air Development Centre Software Quality Workshop , New York , 1992 . Jeffery, D. R., Software Process Quality: Requirements for Improvement from Industry In Rome Air Development Centre Software Quality Workshop, New York, 1992."},{"key":"e_1_3_2_1_11_1","volume-title":"Antwerp","author":"Kasser J. E.","year":"1998","unstructured":"Kasser , J. E. , Williams , V. R. , \" What Do You Mean You Can't Tell Me if My Project is in Trouble?\" First European Conference on Software Metrics , Antwerp , Belgium , 1998 . Kasser, J. E., Williams, V. R., \"What Do You Mean You Can't Tell Me if My Project is in Trouble?\" First European Conference on Software Metrics, Antwerp, Belgium, 1998."},{"key":"e_1_3_2_1_12_1","volume-title":"What's In It for You and Your Clients.\" In 26 Oct. Vermont B. Journal 1","author":"Michael Palmer","year":"2000","unstructured":"Michael Palmer , \"Problem-Solving Negotiation : What's In It for You and Your Clients.\" In 26 Oct. Vermont B. Journal 1 , 2000 Michael Palmer, \"Problem-Solving Negotiation: What's In It for You and Your Clients.\" In 26 Oct. Vermont B. Journal 1, 2000"},{"key":"e_1_3_2_1_13_1","volume-title":"Software Requirements Engineering","author":"Richard Thayer","year":"1997","unstructured":"Richard Thayer , Merlin Dorfman , Software Requirements Engineering , 2 nd edition, IEEE Computer Society , 1997 . Richard Thayer, Merlin Dorfman, Software Requirements Engineering, 2nd edition, IEEE Computer Society, 1997.","edition":"2"},{"key":"e_1_3_2_1_14_1","volume-title":"Technical Report CMU\/SEI-96-TR-012","author":"Software Risk Taxonomy","year":"1996","unstructured":"SEI Software Risk Taxonomy , Technical Report CMU\/SEI-96-TR-012 , June 1996 . SEI Software Risk Taxonomy, Technical Report CMU\/SEI-96-TR-012, June 1996."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.1201\/9781482269826","volume-title":"TQM Engineering Handbook","author":"Stamatis D. H.","year":"1997","unstructured":"Stamatis , D. H. TQM Engineering Handbook . New York : Marcel Decker, Inc ., 1997 Stamatis, D. H. TQM Engineering Handbook. New York: Marcel Decker, Inc., 1997"},{"key":"e_1_3_2_1_16_1","volume-title":"Found at www.standishgroup.com","author":"Standish Group","year":"2001","unstructured":"Standish Group , Extreme CHAOS , Found at www.standishgroup.com , 2001 . Standish Group, Extreme CHAOS, Found at www.standishgroup.com, 2001."},{"key":"e_1_3_2_1_17_1","volume-title":"The Analytic Hierarchy Process","author":"Saaty","year":"1980","unstructured":"T. L. Saaty , The Analytic Hierarchy Process , McGraw-Hill, Inc. ( 1980 ). T. L. Saaty, The Analytic Hierarchy Process, McGraw-Hill, Inc. (1980)."},{"key":"e_1_3_2_1_18_1","volume-title":"Construction Law Handbook","author":"Wickwire M.","year":"1999","unstructured":"Wickwire , Jon M. , Warner , Tony, and Berry , Mark R. ( 1999 ). \" Chapter 17---Construction Scheduling \", Construction Law Handbook edited by Cushman, Robert F. and Myers, James J., Aspen Law & Business , Gaithersburg, NY . Wickwire, Jon M., Warner, Tony, and Berry, Mark R. (1999). \"Chapter 17---Construction Scheduling\", Construction Law Handbook edited by Cushman, Robert F. and Myers, James J., Aspen Law & Business, Gaithersburg, NY."}],"event":{"name":"ACM SE05: ACM Southeast Regional Conference 2005","sponsor":["ACM Association for Computing Machinery"],"location":"Kennesaw Georgia","acronym":"ACM SE05"},"container-title":["Proceedings of the 43rd annual Southeast regional conference - Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1167253.1167312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T00:58:53Z","timestamp":1673312333000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1167253.1167312"}},"subtitle":["complementary activities for increasing the effectiveness of requirements verification and validation"],"short-title":[],"issued":{"date-parts":[[2005,3,18]]},"references-count":18,"alternative-id":["10.1145\/1167253.1167312","10.1145\/1167253"],"URL":"https:\/\/doi.org\/10.1145\/1167253.1167312","relation":{},"subject":[],"published":{"date-parts":[[2005,3,18]]},"assertion":[{"value":"2005-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}