{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:07Z","timestamp":1725564547377},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_13","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:32:45Z","timestamp":1283671965000},"page":"198-203","source":"Crossref","is-referenced-by-count":3,"title":["Module Dependences in Software Design"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Jackson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Eppinger, S.D.: Innovation at the Speed of Innovation. Harvard Business Review (January 2001)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Flatt, M., Felleisen, M.: Units: Cool modules for HOT languages. In: Proc. Sigplan 1998 Conference on Programming Language Design and Implementation, pp. 236\u2013248 (1998)","DOI":"10.1145\/277650.277730"},{"key":"13_CR3","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1994)"},{"key":"13_CR4","volume-title":"Programming Methodology","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Object Models as Heap Invariants. In: Morgan, C., McIver, A. (eds.) Programming Methodology, Springer, Heidelberg (2002)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Jackson, D., Waingold, A.: Lightweight Extraction of Object Models from Bytecode. IEEE Transactions on Software Engineering (February 2001)","DOI":"10.1109\/32.908960"},{"key":"13_CR6","volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","author":"B. Liskov","year":"2001","unstructured":"Liskov, B., Guttag, J.: Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison Wesley, Reading (2001)"},{"key":"13_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997)(Revised)"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1979.234169","volume":"SE-5","author":"D.L. Parnas","year":"1979","unstructured":"Parnas, D.L.: Designing software for ease of extension and contraction. IEEE Transactions on Software Eng.\u00a0SE-5, 2 (1979)","journal-title":"IEEE Transactions on Software Eng."},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-540-39878-3_18","volume-title":"Computer Safety, Reliability, and Security","author":"A. Rae","year":"2003","unstructured":"Rae, A., Ramanan, P., Jackson, D., Flanz, J.: Critical Feature Analysis of a Radiotherapy Machine. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 221\u2013234. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T21:24:03Z","timestamp":1553030643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}