{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T17:09:46Z","timestamp":1648573786667},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1007\/bf01976202","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T17:02:34Z","timestamp":1122829354000},"page":"157-177","source":"Crossref","is-referenced-by-count":3,"title":["An intelligent assistant for requirements validation"],"prefix":"10.1007","volume":"5","author":[{"given":"Balasubramaniam","family":"Ramesh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Luqi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01976202_CR1","unstructured":"Working Group 1. Discussion notes. Report, 1989 November. In proceedings of the Requirements Engineering and Rapid Prototyping Workshop, Eatontown, NJ."},{"key":"BF01976202_CR2","unstructured":"S. Badr and Luqi, 1989. \u201cAutomation support for concurrent software engineering,\u201d inProceedings of the 6th International Conference on Software Engineering and Knowledge Engineering, June 1994, pp. 46\u201353."},{"key":"BF01976202_CR3","unstructured":"W. R. Beam,Command, Control and Communications Engineering. McGraw-Hill, 1989."},{"key":"BF01976202_CR4","unstructured":"V. Berzins, 1994.Software Slicing and Merging. Tutorial. IEEE Computer Society Press, December 1994."},{"key":"BF01976202_CR5","unstructured":"A Berztiss, \u201cThe specification and prototyping language sf.\u201d Technical Report 78, Systems Development and Artificial Intelligence Laboratory, Department of Computer and Systems Science, Stockholm University, 1990."},{"key":"BF01976202_CR6","unstructured":"B. H. Boar, 1984.Application Prototyping: A Requirements Definition Strategy for the 80's. John Wiley and Sons. 1984."},{"issue":"3","key":"BF01976202_CR7","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/TSE.1984.5010238","volume":"10","author":"B. Boehm","year":"1984","unstructured":"B. Boehm et al., \u201cPrototyping vs specifying: a multiproject experiment.\u201dIEEE Transactions on Software Engineering 10(3), pp. 290\u2013303, May 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF01976202_CR8","unstructured":"J. Boyes and S. Andriole, 1987.Principles of Command and Control. AFCEA International Press, 1987."},{"key":"BF01976202_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-18753-7","volume-title":"CO-OP: A Group Decision Support System for Cooperative Multiple Criteria Group Decision Making","author":"T. Bui","year":"1987","unstructured":"T. Bui, 1987.CO-OP: A Group Decision Support System for Cooperative Multiple Criteria Group Decision Making. Lecture Notes in Computer Science. Springer-Verlag: Berlin, 1987."},{"issue":"4","key":"BF01976202_CR10","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/58566.59297","volume":"6","author":"Jeff Conklin","year":"1988","unstructured":"Jeff Conklin and M. L. Begeman, \u201cgibis: A hypertext tool for exploratory policy discussion.\u201dACM Transactions on Office Information Systems 6(4), pp. 303\u2013331, October 1988.","journal-title":"ACM Transactions on Office Information Systems"},{"key":"BF01976202_CR11","volume-title":"Software Requirements: Analysis and Specification","author":"A. Davis","year":"1990","unstructured":"A. Davis, 1990.Software Requirements: Analysis and Specification. Prentice Hall: Englewood Cliffs, New Jersey, 1990."},{"key":"BF01976202_CR12","unstructured":"J. Goguen, \u201cRequirements engineering as a reconciliation of social and technical issues.\u201d In J. Gougen and M. Jirotka, editors,Requirements Engineering: Social and Technical Issues, pages 165\u2013199. Academic, 1994."},{"key":"BF01976202_CR13","series-title":"IEEE\/ANSI Standard 830-1984","volume-title":"IEEE Guide to Software Requirements Specifications","author":"IEEE, 1984","year":"1984","unstructured":"IEEE, 1984.IEEE Guide to Software Requirements Specifications. IEEE\/ANSI Standard 830-1984. Institute of Electrical and Electronics Engineers: New York, 1984."},{"key":"BF01976202_CR14","first-page":"106","volume-title":"Artificial Intelligence at MIT: Expanding Frontiers","author":"Jintae Lee","year":"1990","unstructured":"Jintae Lee, \u201cSibyl: a qualitative decision management system.\u201d In P. Winston and S. Shellard, editors,Artificial Intelligence at MIT: Expanding Frontiers, chapter 5, pages 106\u2013133. MIT Press: Cambridge, MA., 1990."},{"key":"BF01976202_CR15","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0020-7373(85)80027-4","volume":"23","author":"D. G. Lowe","year":"1985","unstructured":"D. G. Lowe, \u201cCo-operative structuring of information: the representation of reasoning and debate.\u201dInternational Journal of Man-Machine Studies 23, pp. 97\u2013111, August 1985.","journal-title":"International Journal of Man-Machine Studies"},{"key":"BF01976202_CR16","doi-asserted-by":"crossref","unstructured":"Mitchell D. Lubars, \u201cRepresenting design dependencies in an issue-based style.\u201dIEEE Software, pages 81\u201389, July 1991.","DOI":"10.1109\/52.300042"},{"key":"BF01976202_CR17","doi-asserted-by":"crossref","unstructured":"Luqi, \u201cSoftware evolution through rapid prototyping.\u201dIEEE Computer, May 1989.","DOI":"10.1109\/2.27953"},{"key":"BF01976202_CR18","doi-asserted-by":"crossref","unstructured":"Luqi and M. Ketabchi, \u201cA computer aided prototyping system.\u201dIEEE Software, pages 66\u201372, March 1988.","DOI":"10.1109\/52.2013"},{"key":"BF01976202_CR19","doi-asserted-by":"crossref","unstructured":"Luqi, R. Steigerwald, G. Hughes, and V. Berzins, \u201cCaps as a requirements engineering tool.\u201d inProceedings of the Tri-Ada Conference, 1991.","DOI":"10.1145\/126551.126559"},{"key":"BF01976202_CR20","first-page":"163","volume-title":"Proceedings of the International Symposium on Current Issues of Requirements","author":"R. T. Mittermeir","year":"1982","unstructured":"R. T. Mittermeir et al., \u201cAlternatives to overcome the communication problem of formal requirements analysis.\u201d In Y. Ohno, editor.Proceedings of the International Symposium on Current Issues of Requirements, pages 163\u2013169. North Holland: Amsterdam, 1982."},{"key":"BF01976202_CR21","unstructured":"A. Mok, \u201cA graph based computational model for real-time systems,\u201d inProceedings of the IEEE International Conference on Parallel Processing, Pennsylvania State University 1985."},{"issue":"4","key":"BF01976202_CR22","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis, \u201cTelos: representing knowledge about information systems.ACM Transactions on Information Systems 8(4), pp. 325\u2013362, October 1990.","journal-title":"ACM Transactions on Information Systems"},{"key":"BF01976202_CR23","unstructured":"P. Ng and R. Yeh, 1990.Modern Software Engineering Foundations and Current Perspectives Van Nostrand Reinhold, 1990."},{"key":"BF01976202_CR24","doi-asserted-by":"crossref","unstructured":"C. Potts and G. Bruns, \u201cRecording reasons for design decisions,\u201d inProceedings of the 10th International Conference on Software Engineering, Singapore, April 1988, pp. 418\u2013426.","DOI":"10.1109\/ICSE.1988.93722"},{"key":"BF01976202_CR25","doi-asserted-by":"crossref","unstructured":"B. Ramesh and V. Dhar, \u201cSupporting systems development using knowledge captured during requirements engineering\u201dIEEE Transactions on Software Engineering, June 1992.","DOI":"10.1109\/32.142872"},{"key":"BF01976202_CR26","doi-asserted-by":"crossref","unstructured":"B. Ramesh and K. Sengupta, \u201cManaging cognitive and mixed-motive conflicts in concurrent engineering.\u201dConcurrent Engineering: Research and Applications, II(3), 1995.","DOI":"10.1177\/1063293X9400200308"},{"issue":"9","key":"BF01976202_CR27","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"Douglas R. Smith","year":"1990","unstructured":"Douglas R. Smith. \u201cKids: a semiautomatic program development system.\u201dIEEE Transactions on Software Engineering 16(9), pp. 1024\u20131043, September 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF01976202_CR28","unstructured":"J. Stankovik and K. Ramamritham, 1988.Hard Real-Time Systems Tutorial. Computer Society Press, 1988."},{"issue":"5","key":"BF01976202_CR29","first-page":"9","volume":"22","author":"M. Tanik","year":"1989","unstructured":"M. Tanik and R. Yeh, \u201cThe role of rapid prototyping in software development.\u201dIEEE Computer, 22(5), pp. 9\u201310, May 1989.","journal-title":"IEEE Computer"},{"key":"BF01976202_CR30","unstructured":"R. H. Thayer and M. Dorfman,System and Software Requirements Engineering. IEEE Computer Society Press, 1990."},{"key":"BF01976202_CR31","first-page":"605","volume-title":"System and Software Requirements Engineering","author":"R. H. Thayer","year":"1990","unstructured":"R. H. Thayer, and M. C. Thayer, \u201cGlossary.\u201d In R. H. Thayer and M. Dorfman, editors,System and Software Requirements Engineering, pages 605\u2013676. IEEE Computer Society Press: Los Almitos, CA, 1990."},{"key":"BF01976202_CR32","doi-asserted-by":"crossref","unstructured":"K. C. Burgess Yakemovic and E. Jeffrey Conklin, \u201cReport on a development project use of an issue-based information system.\u201d inProceedings of the Conference on Computer Supported Cooperative Work, October 1990, pp. 105\u2013118.","DOI":"10.1145\/99332.99347"},{"key":"BF01976202_CR33","unstructured":"E. Yourdon,Modern Structured Analysis, Yourdon Press, 1989."}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01976202.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01976202\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01976202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T13:53:08Z","timestamp":1586353988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01976202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["BF01976202"],"URL":"https:\/\/doi.org\/10.1007\/bf01976202","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"value":"0925-4676","type":"print"},{"value":"1573-8787","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}