{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T11:59:14Z","timestamp":1754481554536},"reference-count":27,"publisher":"Hindawi Limited","issue":"7","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7548,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1995]]},"DOI":"10.1002\/int.4550100704","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T23:18:32Z","timestamp":1183936712000},"page":"665-689","source":"Crossref","is-referenced-by-count":18,"title":["A requirements sublanguage for automated analysis"],"prefix":"10.1155","volume":"10","author":[{"given":"Walling","family":"Cyre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","reference":[{"key":"10.1002\/int.4550100704-BIB1","author":"Cyre","year":"1993","unstructured":"\u201cTextual\/graphical design capture for concept-level synthesis,\u201d Proc. IFIP Conf. on Hardware Description Languages (CHDL'93), Ottawa, Canada, Apr. 26-28, 1993."},{"key":"10.1002\/int.4550100704-BIB2","author":"Cyre","year":"1991","unstructured":"\u201cIntegrating specification requirements for automated interpretation,\u201d Proc. Second International IEEE Rapid Prototyping Workshop, Research Triangle Park, NC, June 11-13, 1991."},{"key":"10.1002\/int.4550100704-BIB3","author":"Rundensteiner","year":"1990","unstructured":"and , A Design Representation Model for High-Level Synthesis, Technical Report 90-27, Information and Computer Science, U. C., Irvine, CA, Sept. 1990."},{"key":"10.1002\/int.4550100704-BIB4","author":"Knapp","year":"1985","unstructured":"and , \u201cA unified representation for design information,\u201d Proc. Int'l Conf. Computer Hardware Description Languages and Their Applications, Tokyo, Japan, Aug., 1985, pp. 29\u201331."},{"key":"10.1002\/int.4550100704-BIB5","volume-title":"IEEE Standard VHDL Reference Manual","year":"1988","unstructured":"IEEE Standard VHDL Reference Manual, IEEE, New York, 1988."},{"key":"10.1002\/int.4550100704-BIB6","author":"Vahid","year":"1991","unstructured":", and , \u201cSpecCharts: a language for system level synthesis,\u201d In Proc. Computer Hardware Description Languages, 145\u2013154, 1991."},{"key":"10.1002\/int.4550100704-BIB7","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"Harel","year":"1988","journal-title":"Comm. ACM"},{"key":"10.1002\/int.4550100704-BIB8","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1147\/sj.132.0115","volume":"21","author":"Stevens","year":"1974","journal-title":"IBM Systems Journal"},{"key":"10.1002\/int.4550100704-BIB9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Trans. on Database Sys."},{"key":"10.1002\/int.4550100704-BIB10","volume-title":"Structured Analysis and System Specification","author":"DeMarco","year":"1978","unstructured":"Structured Analysis and System Specification. Yourdon Press, New York, 1978."},{"key":"10.1002\/int.4550100704-BIB11","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0164-1212(92)90052-L","volume":"19","author":"Delugach","year":"1992","journal-title":"J. Systems Software"},{"key":"10.1002\/int.4550100704-BIB12","author":"Roman","year":"1985","unstructured":"\u201cA taxonomy of current issues in requirements engineering,\u201d IEEE Computer, 14\u201323, April 1985."},{"key":"10.1002\/int.4550100704-BIB13","volume-title":"Structured Analysis and Design of Information Systems","author":"Aktas","year":"1987","unstructured":"Structured Analysis and Design of Information Systems, Prentice-Hall, Englewood Cliffs, NJ, 1987."},{"key":"10.1002\/int.4550100704-BIB14","author":"Granacki","year":"1987","unstructured":"and , \u201cPHRAN-SPAN: a natural language interface for system specifications,\u201d Proc. 24th Design Automation Conference, June, 1987."},{"key":"10.1002\/int.4550100704-BIB15","author":"Grinberg","year":"1980","unstructured":"\u201cA knowledge based system for digital electronics,\u201d Proc. Nat'l Conf. on Artificial intelligence, AAAI, Stanford, CA, August, 1980, pp. 283\u2013285."},{"key":"10.1002\/int.4550100704-BIB16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/TSE.1977.229902","volume":"SE-3","author":"Teichroew","year":"1977","journal-title":"IEEE T. Software Engineering"},{"key":"10.1002\/int.4550100704-BIB17","author":"Casey","year":"1981","unstructured":"and , \u201cWriting requirements in English: a natural alternative,\u201d Proc. IEEE Software Engr. Stds. Appl. Conf., San Francisco, CA, 95-101, 1981."},{"key":"10.1002\/int.4550100704-BIB18","doi-asserted-by":"crossref","first-page":"1257","DOI":"10.1109\/TSE.1985.231877","volume":"SE-11","author":"Balzer","year":"1985","journal-title":"IEEE Transactions Software Engineering"},{"key":"10.1002\/int.4550100704-BIB19","volume-title":"Webster's New Collegiate Dictionary","author":"Woolf","year":"1980","unstructured":"Ed., Webster's New Collegiate Dictionary, Merriam, Springfield, MA, 1980."},{"key":"10.1002\/int.4550100704-BIB20.1","volume-title":"Semantic Networks in Artificial Intelligence","author":"Lehmann","year":"1992","unstructured":"Ed., Semantic Networks in Artificial Intelligence, Pergamon Press, Oxford, 1992."},{"key":"10.1002\/int.4550100704-BIB20.2","volume":"23","journal-title":"Computers and Mathematics with Applications"},{"key":"10.1002\/int.4550100704-BIB21","volume-title":"Conceptual Structures","author":"Sowa","year":"1984","unstructured":"Conceptual Structures, Addison-Wesley, Reading, MA, 1984."},{"key":"10.1002\/int.4550100704-BIB22","first-page":"362","volume-title":"Lecture Notes in Computer Science","author":"Dennis","year":"1974","unstructured":"\u201cFirst version of a data flow procedure language,\u201d In Lecture Notes in Computer Science, Springer-Verlag, New York, 1974, pp. 362\u2013376."},{"key":"10.1002\/int.4550100704-BIB23","author":"Cyre","year":"1994","unstructured":"\u201cThe conceptual representation of waveforms for temporal reasoning,\u201d IEEE Trans. on Computers, 186\u2013200, Feb. (1994)."},{"key":"10.1002\/int.4550100704-BIB24","first-page":"124","volume":"23","author":"Alien","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550100704-BIB25","author":"Amsler","year":"1980","unstructured":"\u201cThe structure of the Merriam-Webster Pocket Dictionary,\u201d Technical Report TR-164, U. of Texas, Austin, 1980."},{"key":"10.1002\/int.4550100704-BIB26","first-page":"1","volume-title":"Universals in Linguistic Theory","author":"Fillmore","year":"1968","unstructured":"\u201cThe case for case,\u201d In Universals in Linguistic Theory, and , Eds., Holt, Reinhart, and Winston, Chicago, 1968, pp. 1\u201390."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550100704","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550100704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:34:44Z","timestamp":1675956884000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550100704"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":27,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1995]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550100704","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}