{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:28:44Z","timestamp":1743067724981,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319312194"},{"type":"electronic","value":"9783319312200"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31220-0_3","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T08:59:52Z","timestamp":1457773192000},"page":"29-43","source":"Crossref","is-referenced-by-count":0,"title":["The Interchange Format of Tabular Expressions Using XML"],"prefix":"10.1007","author":[{"given":"Mao","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yihai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ridha","family":"Khedri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Heninger, K.L., Kallander, J., Parnas, D.L., Shore, J.E.: Software requirements for the A-7E aircraft. NRL Memorandum Report 3876, United States Naval Research Laboratory, Washington, DC, November 1978","key":"3_CR1"},{"unstructured":"Parnas, D.L.: Tabular representation of relations. CRL Report 260, Telecomunications Research Institute of Ontario (TRIO), McMaster University, Hamilton (1992)","key":"3_CR2"},{"doi-asserted-by":"crossref","unstructured":"Janicki, R.: Towards a formal semantics of Parnas tables. In: Proceedings of the 17th International Conference on Software Engineering, pp. 231\u2013240. ACM Press, April 1995","key":"3_CR3","DOI":"10.1145\/225014.225036"},{"unstructured":"Abraham, R.F.: Evaluating generalized tabular expressions in software documentation. Master\u2019s thesis, McMaster University, Hamilton (1997)","key":"3_CR4"},{"unstructured":"Kahl, W.: Compositional syntax and semantics of tables. SQRL Report 15, McMaster University, Hamilton (2003)","key":"3_CR5"},{"issue":"11","key":"3_CR6","doi-asserted-by":"publisher","first-page":"980","DOI":"10.1016\/j.scico.2009.12.009","volume":"75","author":"Y Jin","year":"2010","unstructured":"Jin, Y., Parnas, D.L.: Defining the meaning of tabular mathematical expressions. Sci. Comput. Program. 75(11), 980\u20131000 (2010)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"Peters, D.K., Lawford, M., Widemann, B.T.: An IDE for software development using tabular expressions. In: Proceedings of the 2007 Conference of the Centre for Advanced Studies on Collaborative Research, Richmond Hill, IBM, pp. 248\u2013251, October 2007","key":"3_CR7","DOI":"10.1145\/1321211.1321238"},{"key":"3_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11826095","volume-title":"OMDoc - An Open Markup Format for Mathematical Documents","author":"M Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents. LNAI, vol. 4180. Springer, Heidelberg (2006)"},{"unstructured":"Wu, R.: A tool for consistency verification and for integration of formal relational requirements scenarios. Master\u2019s thesis, School of Graduate Studies, McMaster University, Hamilton, November 2001","key":"3_CR9"},{"unstructured":"Khedri, R., Wu, R., Sanga, B.: Scenator: a prototype tool for requirements inconsistency detection. In: Farn, W., Insup, L. (eds.) Proceedings of the 1st International Workshop on Automated Technology for Verification and Analysis, pp. 75\u201386. National Taiwan University, Taiwan, December 2003","key":"3_CR10"},{"unstructured":"von Mohrenschildt, M.: Communicating software specifications using XML: OpenSpec. CRL Report 373, Department of Computing and Software, McMaster University (1999)","key":"3_CR11"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31220-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:34:57Z","timestamp":1559399697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31220-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319312194","9783319312200"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31220-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}