{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:35:52Z","timestamp":1725550552637},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304920"},{"type":"electronic","value":"9783540322405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_1","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T13:38:16Z","timestamp":1130333896000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["A Family of Mathematical Methods for Professional Software Documentation"],"prefix":"10.1007","author":[{"given":"David Lorge","family":"Parnas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Heninger, K., Kallander, J., Parnas, D.L., Shore, J.: Software Requirements for the A-7E Aircraft. NRL Report 3876, 523 pgs (November 1978)"},{"issue":"9","key":"1_CR2","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1109\/32.241769","volume":"19","author":"D.L. Parnas","year":"1993","unstructured":"Parnas, D.L.: Predicate Logic for Software Engineering. IEEE Transactions on Software Engineering\u00a019(9), 856\u2013862 (1993); Reprinted as Chapter 3 in [6]","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"D.L. Parnas","year":"1995","unstructured":"Parnas, D.L., Madey, J.: Functional Documentation for Computer Systems Engineering. Science of Computer Programming\u00a025(1), 41\u201361 (1995)","journal-title":"Science of Computer Programming"},{"key":"1_CR4","unstructured":"Parnas, D.L.: Inspection of Safety Critical Software using Function Tables. In: Proceedings of IFIP World Congress 1994, August 1994, vol.\u00a0III, pp. 270\u2013277 (1994), Also Ch. 19 in [6]"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-7091-6510-2_12","volume-title":"Relational Methods in Computer Science","author":"R. Janicki","year":"1997","unstructured":"Janicki, R., Parnas, D.L., Zucker, J.: Tabular Representations in Relational Documents. In: Brink, C., Schmidt, G. (eds.) Relational Methods in Computer Science, \u00a0Ch. 12, pp. 184\u2013196. Springer, Heidelberg (1997), ISBN 3-211-82971-7. Reprinted as Chapter 4 in [6]"},{"key":"1_CR6","first-page":"664","volume-title":"Software Fundamentals: Collected Papers by David L. Parnas","year":"2001","unstructured":"Hoffman, D.M., Weiss, D.M. (eds.): Software Fundamentals: Collected Papers by David L. Parnas, p. 664. Addison-Wesley, Reading (2001), ISBN 0-201-70369-6"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T06:33:47Z","timestamp":1552458827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/11589976_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}