{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:07:08Z","timestamp":1725898028942},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410904"},{"type":"electronic","value":"9783540399537"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39953-4_9","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:44:46Z","timestamp":1194972286000},"page":"102-113","source":"Crossref","is-referenced-by-count":3,"title":["A Data Abstraction Alternative to Data Structure\/Algorithm Modularization"],"prefix":"10.1007","author":[{"given":"Murali","family":"Sitaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce W.","family":"Weide","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy J.","family":"Long","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William F.","family":"Ogden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"9_CR1","volume-title":"Software Components With Ada","author":"G. Booch","year":"1987","unstructured":"Booch, G.: Software Components With Ada. Benjamin\/Cummings, Menlo Park, CA (1987)."},{"key":"9_CR2","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge, MA (1990)."},{"key":"9_CR3","unstructured":"Flamig, B.: Practical Algorithms in C++. Coriolis Group Book (1995)."},{"key":"9_CR4","series-title":"Technical Report","volume-title":"Mathematical Foundations and Notation of RESOLVE","author":"W.D. Heym","year":"1994","unstructured":"Heym, W.D., Long, T.J., Ogden, W.F., Weide, B.W.: Mathematical Foundations and Notation of RESOLVE, Technical Report OSU-CISRC-8\/94-TR45, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, Aug 1994."},{"key":"9_CR5","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. 2nd edn. Prentice Hall PTR, Upper Saddle River, New Jersey (1997).","edition":"2nd edn."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/204865.204889","volume":"38","author":"K. Mehlhorn","year":"1995","unstructured":"Mehlhorn, K., Naher, S.: \u201cLEDA: A Library of Efficient Data Structures and Algorithms\u201d Communications of the ACM 38, No. 1, January 1995, 96\u2013102.","journal-title":"Communications of the ACM"},{"key":"9_CR7","unstructured":"Musser, D. R., Saini, A.: STLT utorial and Reference Guide. Addison-Wesley Publishing Company (1995)."},{"issue":"12","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: \u201cOn the criteria to be used in decomposing systems into modules.\u201d Communications of the ACM 15, No. 12, December 1972, 1053\u20131058.","journal-title":"Communications of the ACM"},{"issue":"9","key":"9_CR9","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/32.713327","volume":"24","author":"J. Rushby","year":"1998","unstructured":"Rushby, J., Owre, S., and Shankar, N.: \u201cSubtypes for Specification: Predicate Subtyping in PVS,\u201d IEEE Transactions on Software Engineering 24, No. 9, September 1998, 709\u2013720.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Sitaraman, M., Weide, B.W. (eds.): \u201cSpecial Feature: Component-Based Software Using RESOLVE.\u201d ACM SIGSOFT Software Engineering Notes 19, No. 4, October 1994, 21\u201367.","DOI":"10.1145\/190679.199221"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1007\/BF01213496","volume":"8","author":"M. Sitaraman","year":"1996","unstructured":"Sitaraman, M: \u201cImpact of Performance Considerations on Formal Specification Design,\u201d Formal Aspects of Computing 8, 1996, 716\u2013736.","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/32.585503","volume":"23","author":"M. Sitaraman","year":"1997","unstructured":"Sitaraman, M., Weide, B.W., Ogden, W.F.: \u201cOn the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations,\u201d IEEE Transactions on Software Engineering 23, No. 3, March 1997, 157\u2013170.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"9_CR13","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/52.311066","volume":"11","author":"B.W. Weide","year":"1994","unstructured":"Weide, B.W., Ogden, W.F., Sitaraman, M.: \u201cRecasting Algorithms to Encourage Reuse,\u201d IEEE Software 11, No. 5, September 1994, 80\u201389.","journal-title":"IEEE Software"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Weihe, K.: \u201cReuse of Algorithms: Still A Challenge to Object-Oriented Programming,\u201d ACM SIGPLAN OOPSLA Proceedings, 1997, 34\u201346.","DOI":"10.1145\/263698.263704"}],"container-title":["Lecture Notes in Computer Science","Generic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39953-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T10:09:03Z","timestamp":1556964543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39953-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410904","9783540399537"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-39953-4_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}