{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T19:25:47Z","timestamp":1751052347079},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199274"},{"type":"electronic","value":"9781447130161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3016-1_2","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T07:11:27Z","timestamp":1321427487000},"page":"25-35","source":"Crossref","is-referenced-by-count":2,"title":["Problems, Descriptions, and Objects"],"prefix":"10.1007","author":[{"given":"Michael","family":"Jackson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"The Timeless Way of Building","author":"C Alexander","year":"1979","unstructured":"Christopher Alexander; The Timeless Way of Building; Oxford University Press, 1979."},{"key":"2_CR2","volume-title":"JSP & JSD: The Jackson Approach to Software Development","author":"JR Cameron","year":"1989","unstructured":"J R Cameron; JSP & JSD: The Jackson Approach to Software Development; IEEE Computer Society Press, 2nd Edition 1989.","edition":"2"},{"key":"2_CR3","first-page":"22","volume-title":"The Core Method for Real-Time Requirements","author":"S Faulk","year":"1992","unstructured":"Stuart Faulk, John Brackett, Paul Ward, and James Kirby, Jr; The Core Method for Real-Time Requirements; IEEE Software Volume 9 Number 5 pages 22\u201333, September 1992."},{"key":"2_CR4","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1994","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides; Design Patterns: Elements of Reusable Object-Oriented Software; Addison-Wesley 1994."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"John V Guttag, James J Horning, and Jeannette M Wing; The Larch Family of Specification Languages; IEEE Software Volume 2 Number 5 pages 24\u201336, September 1985.","DOI":"10.1109\/MS.1985.231756"},{"key":"2_CR6","first-page":"98","volume-title":"Enhancement for Multiple Inheritance","author":"J Hendler","year":"1986","unstructured":"James Hendler; Enhancement for Multiple Inheritance; SIGPLAN Notices Volume 21 Number 10 pages 98\u2013106, October 1986."},{"key":"2_CR7","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"CAR Hoare; Communicating Sequential Processes; Prentice-Hall International, 1985."},{"key":"2_CR8","first-page":"240","volume-title":"On the Purpose of Object-Oriented Analysis","author":"GM H\u00f8ydalsvik","year":"1993","unstructured":"Geir Magne H\u00f8ydalsvik and Guttorm Sindre; On the Purpose of Object-Oriented Analysis; with a discussion by Dave Thomas, Adele Goldberg, James Coplien, Peter Coad and Geir Magne H\u00f8ydalsvik; in Proceedings of OOPSLA \u201993, ACM Sigplan Notices Volume 28 Number 10 pages 240\u2013258, October 1993."},{"key":"2_CR9","volume-title":"System Development","author":"MA Jackson","year":"1983","unstructured":"M A Jackson; System Development; Prentice-Hall International, 1983."},{"key":"2_CR10","first-page":"50","volume-title":"Why a Conference on Pattern Languages","author":"RE Johnson","year":"1994","unstructured":"Ralph E Johnson; Why a Conference on Pattern Languages? ACM SE Notes, Volume 19 Number 1, pages 50\u201352, January 1994."},{"key":"2_CR11","volume-title":"Systematic Software Development Using VDM","author":"C Jones","year":"1990","unstructured":"Cliff Jones; Systematic Software Development Using VDM; Prentice-Hall International, 2nd Edition 1990.","edition":"2"},{"key":"2_CR12","first-page":"417","volume-title":"Boolean Classes; in OOPSLA \u201986","author":"D McAllester","year":"1986","unstructured":"David McAllester and Ramin Zabih; Boolean Classes; in OOPSLA \u201986 Conference Proceedings: SIGPLAN Notices Volume 21 Number 11 pages 417\u2013423, November 1986."},{"key":"2_CR13","volume-title":"Functional Documentation for Computer Systems Engineering (Version 2)","author":"DL Parnas","year":"1991","unstructured":"D L Parnas and J Madey; Functional Documentation for Computer Systems Engineering (Version 2); CRL Report 237, McMaster University, Hamilton Ontario, Canada, 1991."},{"key":"2_CR14","volume-title":"How To Solve It","author":"G Polya","year":"1957","unstructured":"G Polya; How To Solve It; Princeton University Press, 2nd Edition 1957.","edition":"2"},{"key":"2_CR15","volume-title":"Software Development with Z: A Practical Approach to Formal Methods in Software Engineering","author":"JB Wordsworth","year":"1992","unstructured":"J B Wordsworth; Software Development with Z: A Practical Approach to Formal Methods in Software Engineering; Addison-Wesley, 1992."}],"container-title":["OOIS\u201994"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3016-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T20:23:50Z","timestamp":1619814230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3016-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199274","9781447130161"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3016-1_2","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}