{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:19:44Z","timestamp":1737609584640,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_24","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:57Z","timestamp":1194991017000},"page":"345-359","source":"Crossref","is-referenced-by-count":3,"title":["An Easily Extensible Toolset for Tabular Mathematical Expressions"],"prefix":"10.1007","author":[{"given":"David Lorge","family":"Parnas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dennis K.","family":"Peters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"24_CR1","series-title":"CRL Report","volume-title":"Documenting complicated programs","author":"B. J. Bauer","year":"1995","unstructured":"Brian J. Bauer. Documenting complicated programs. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, December 1995. Also printed as CRL Report # 316, Telecommunications Institute of Ontario."},{"key":"24_CR2","unstructured":"Proc. Conf. Computer Assurance (COMPASS), Gaithersburg, MD, June 1995. National Institute of Standards and Technology."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Constance L. Heitmeyer, A. Bull, C. Gasarch, and Bruce G. Labaw. SCR*: A toolset for specifying and analyzing requirements. In COMPASS\u2019 95 [2], pages 109\u2013122.","DOI":"10.1109\/CMPASS.1995.521891"},{"key":"24_CR4","unstructured":"Katherine Heninger, David Lorge Parnas, John E. Shore, and J. Kallander. Software requirements for the A-7E aircraft. Technical Report MR 3876, Naval Research Laboratory, 1978."},{"issue":"8","key":"24_CR5","doi-asserted-by":"crossref","first-page":"1941","DOI":"10.1002\/j.1538-7305.1981.tb00304.x","volume":"60","author":"S. D. Hester","year":"1981","unstructured":"S. D. Hester, D. L. Parans, and D. F. Utter. Using documentation as a software design medium. Bell System Technical Journal, 60(8):1941\u20131977, October 1981.","journal-title":"Bell System Technical Journal"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Douglas N. Hoover and Z. Chen. Tablewise, a decision table tool. In COMPASS\u2019 95 [2], pages 97\u2013108.","DOI":"10.1109\/CMPASS.1995.521890"},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-7091-6510-2_12","volume-title":"Relational Methods in Computer Science\u2014Advances in Computing Science","author":"R. Janicki","year":"1997","unstructured":"Ryszard Janicki, David Lorge Parnas, and Jeffery Zucker. Tabular representations in relational documents. In C. Brink, W. Kahl, and G. Schmidt, editors, Relational Methods in Computer Science\u2014Advances in Computing Science, pages 184\u2013196. Springer Wien, New York, 1997."},{"key":"24_CR8","volume-title":"Checking table tool","author":"M. Jing","year":"1998","unstructured":"Min Jing. Checking table tool. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, to appear 1998."},{"key":"24_CR9","series-title":"CRL Report","volume-title":"Software reliability estimation tool","author":"C. Li","year":"1996","unstructured":"ChunMing Li. Software reliability estimation tool. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, December 1996. Also printed as CRL Report # 337, Telecommunications Institute of Ontario."},{"key":"24_CR10","series-title":"CRL Report","volume-title":"Table construction tool","author":"W. Li","year":"1996","unstructured":"Weimin Li. Table construction tool. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, July 1996. Also printed as CRL Report # 330, Telecommunications Institute of Ontario."},{"issue":"2","key":"24_CR11","first-page":"189","volume":"32","author":"D. L. Parnas","year":"1991","unstructured":"D. L. Parnas, G. J. K. Asmis, and J. Madey. Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 32(2):189\u2013198, April-June 1991.","journal-title":"Nuclear Safety"},{"key":"24_CR12","unstructured":"David L. Parnas. On a \u2018buzzword\u2019: Hierarchical structure. In Proc. IFIP Congress, pages 336\u2013339. North Holland, 1974."},{"key":"24_CR13","unstructured":"David L. Parnas and David M. Weiss. Active design reviews: Principles and practices. In Proc. Int\u2019l Conf. Software Eng. (ICSE), pages 132\u2013136, August 1985."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"David Lorge Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, pages 1053\u20131058, December 1972.","DOI":"10.1145\/361598.361623"},{"issue":"2","key":"24_CR15","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/TSE.1979.234169","volume":"5","author":"D. L. Parnas","year":"1979","unstructured":"David Lorge Parnas. Designing software for ease of extension and contraction. IEEE Transactions on Software Engineering, 5(2):128\u2013138, March 1979.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR16","unstructured":"David Lorge Parnas. Tabular representation of relations. CRL Report 260, Communications Research Laboratory, November 1992."},{"issue":"9","key":"24_CR17","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1109\/32.241769","volume":"19","author":"D. L. Parnas","year":"1993","unstructured":"David Lorge Parnas. Predicate logic for software engineering. IEEE Transactions on Software Engineering, 19(9):856\u2013862, September 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"24_CR18","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"D. L. Parnas","year":"1995","unstructured":"David Lorge Parnas and Jan Madey. Functional documentation for computer systems. Science of Computer Programming, 25(1):41\u201361, October 1995.","journal-title":"Science of Computer Programming"},{"key":"24_CR19","volume-title":"Generating a test oracle from program documentation","author":"D. K. Peters","year":"1995","unstructured":"Dennis K. Peters. Generating a test oracle from program documentation. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, April 1995."},{"key":"24_CR20","volume-title":"Deriving Real-Time Monitors from System Requirements Documentation","author":"D. K. Peters","year":"1999","unstructured":"Dennis K. Peters. Deriving Real-Time Monitors from System Requirements Documentation. PhD thesis, McMaster University, Hamilton ON, to appear 1999."},{"issue":"3","key":"24_CR21","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.667877","volume":"24","author":"D. K. Peters","year":"1998","unstructured":"Dennis K. Peters and David Lorge Parnas. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 24(3):161\u2013173, March 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"H. Shen, J. I. Zucker, and D. L. Parnas. Table transformation tools: Why and how. In Proc. Conf. Computer Assurance (COMPASS), pages 3\u201311, Gaithersburg, MD, June 1996. National Institute of Standards and Technology.","DOI":"10.1109\/CMPASS.1996.507870"},{"key":"24_CR23","series-title":"CRL Report","volume-title":"Implementation of table inversion algorithms","author":"H. Shen","year":"1995","unstructured":"Hong Shen. Implementation of table inversion algorithms. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, December 1995. Also printed as CRL Report # 315, Telecommunications Institute of Ontario."},{"key":"24_CR24","unstructured":"Software Engineering Research Group. Table tool system developer\u2019s guide. CRL Report 339, Communications Research Laboratory, January 1997."},{"key":"24_CR25","series-title":"CRL Report","volume-title":"Function composition tool","author":"A. H. Tyson","year":"1998","unstructured":"Albert H. Tyson. Function composition tool. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, August 1998. Also printed as CRL Report # 364, Telecommunications Institute of Ontario."},{"key":"24_CR26","series-title":"CRL Report","volume-title":"A template\/overlay approach to displaying and printing tables","author":"L. Zhang","year":"1994","unstructured":"Li Zhang. A template\/overlay approach to displaying and printing tables. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, June 1994. Also printed as CRL Report # 289, Telecommunications Institute of Ontario."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T08:33:48Z","timestamp":1737534828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}