{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T22:18:04Z","timestamp":1648765084944},"reference-count":13,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2018,7,1]]},"DOI":"10.1587\/transinf.2017kbp0010","type":"journal-article","created":{"date-parts":[[2018,6,30]],"date-time":"2018-06-30T22:28:59Z","timestamp":1530397739000},"page":"1725-1732","source":"Crossref","is-referenced-by-count":1,"title":["A Method of Verifying Time-Response Requirements"],"prefix":"10.1587","volume":"E101.D","author":[{"given":"Yuma","family":"MATSUMOTO","sequence":"first","affiliation":[{"name":"Department of Computer Science, Ritsumeikan University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takayuki","family":"OMORI","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Ritsumeikan University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroya","family":"ITOGA","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Ritsumeikan University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atsushi","family":"OHNISHI","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Ritsumeikan University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] B. Wei, B. Yin, Z. Jin, and D. Zowghi, \u201cr\u03a3: Automated reasoning tool for non-functional requirement goal models,\u201d Proc. 19th International Requirements Engineering Conference (RE2011), pp.337-338, 2011. 10.1109\/re.2011.6051664","DOI":"10.1109\/RE.2011.6051664"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] L. Chung, B.A. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering, Springer, 1999.","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] M.D. Cin, \u201cStructured language for specifications of quantitative requirements,\u201d Proc. 5th IEEE International Symposium on High Assurance Systems Engineering (HASE), pp.221-227, 2000. 10.1109\/hase.2000.895466","DOI":"10.1109\/HASE.2000.895466"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] L.M. Cysneiros and J.C.S. do Prado Leite, \u201cNonfunctional requirements: From elicitation to conceptual model,\u201d IEEE Trans. Softw. Eng., vol.30, no.5, pp.328-350, 2005. 10.1109\/tse.2004.10","DOI":"10.1109\/TSE.2004.10"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] A. Fatwanto and C. Boughton, \u201cAnalysis, specification and modeling of non-functional requirements for translative model-driven development,\u201d Proc. International Conference on Computational Intelligence and Security (CIS'08), pp.405-410, 2008. 10.1109\/cis.2008.215","DOI":"10.1109\/CIS.2008.215"},{"key":"6","unstructured":"[6] IEEE Standards Board: Section 4.3 \u201cCharacteristics of a good SRS,\u201d \u201cIEEE Recommended Practice for Software Requirements Specifications,\u201d IEEE830-1998, 1998."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] M. Irfan and H. Zhu, \u201cKey role of value-oriented requirements to develop real-time database systems,\u201d Proc. IEEE 2nd International Conference on Computing, Control and Industrial Engineering (CCIE), pp.405-408, 2011. 10.1109\/ccieng.2011.6008044","DOI":"10.1109\/CCIENG.2011.6008044"},{"key":"8","unstructured":"[8] ISO\/IEC\/IEEE: Systems and software engineering-Life cycle processes-Requirements engineering, International Standard, first edition, pp.10-11, 2011."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] H. Kaiya and A. Ohnishi, \u201cQuality requirements analysis using requirements frames,\u201d Proc. 11th International Conference on Quality Software (QSIC 2011), pp.198-207, 2011. 10.1109\/qsic.2011.21","DOI":"10.1109\/QSIC.2011.21"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] A. Ohnishi, \u201cSoftware requirements specification database based on requirements frame model,\u201d Proc. 2nd International Conference on Requirements Engineering (ICRE'96), pp.221-228, 1996. 10.1109\/icre.1996.491450","DOI":"10.1109\/ICRE.1996.491450"},{"key":"11","unstructured":"[11] Y. Saito, A. Monden, and K. Matsumoto, \u201cEvaluation of RFPs based on machine learning,\u201dIPSJ SIG Technical Report, vol.2013-SE-179, no.5, pp.1-7, 2013 (in Japanese)."},{"key":"12","unstructured":"[12] Y. Saito, \u201cQuantitative evaluation of non functional requirements in an early stage of software development,\u201d Doctoral Dissertation, NAIST, NAIST-IS-DD1061202, Feb. 2015 (in Japanese)."},{"key":"13","unstructured":"[13] R. Shank, \u201cRepresentation and understanding of text,\u201d Machine Intelligence, vol.8, pp.575-607, Ellis Horwood Ltd., Cambridge, 1977."}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E101.D\/7\/E101.D_2017KBP0010\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T06:28:21Z","timestamp":1571552901000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E101.D\/7\/E101.D_2017KBP0010\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,1]]},"references-count":13,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2018]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2017kbp0010","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,1]]}}}