{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:14:13Z","timestamp":1725484453779},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_16","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T23:15:07Z","timestamp":1179270907000},"page":"132-143","source":"Crossref","is-referenced-by-count":5,"title":["Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications"],"prefix":"10.1007","author":[{"given":"David R.","family":"Musser","sequence":"first","affiliation":[]},{"given":"Zhiqing","family":"Shao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"16_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"sl Recent Trends in Data Type Specification","author":"M. Bidoit","year":"1988","unstructured":"M. Bidoit. The stratified loose approach, a generalization of initial and loose semantics. In sl Recent Trends in Data Type Specification, LNCS 332, 1\u201322, Springer-Verlag, 1988."},{"key":"16_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/3-540-45910-3_5","volume-title":"Proc. 1988 European Conf. on Object Oriented Programming","author":"S. Clerici","year":"1988","unstructured":"S. Clerici and F. Orejas. GSBL: an algebraic specification language based on inheritance. Proc. 1988 European Conf. on Object Oriented Programming, Oslo. LNCS 322, 78\u201392, Springer-Verlag, 1988."},{"key":"16_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-54496-8_3","volume-title":"Recent Trends in Data Type Specification","author":"S. Clerici","year":"1991","unstructured":"S. Clerici and F. Orejas. The specification language GSBL. In Recent Trends in Data Type Specification, LNCS 534, 31\u201351, Springer-Verlag, April 1991."},{"key":"16_CR4","unstructured":"CoFI Language Design Task Group. CASL\u2014The CoFI Algebraic Specification Language\u2014Summary, March 2001. \n                    \n                      http:\/\/www.brics.dk\/Projects\/CoFI\/Documents\/CASL\/Summary\/"},{"issue":"9","key":"16_CR5","doi-asserted-by":"publisher","first-page":"1044","DOI":"10.1109\/32.58789","volume":"16","author":"S. J. Garland","year":"1990","unstructured":"S. J. Garland, J. V. Guttag, and J. J. Horning. Debugging Larch Shared Language Specifications. IEEE Trans. Software Engineering, 16(9):1990, 1044\u20131057.","journal-title":"IEEE Trans. Software Engineering"},{"key":"16_CR6","unstructured":"J. A. Goguen, T. Winker, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. In J. A. Goguen, D. Coleman, and R. Gallimore (eds). Applications of Algebraic Specification using OBJ, Cambridge University Press, 1992."},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(86)90021-3","volume":"6","author":"J. V. Guttag","year":"1986","unstructured":"J. V. Guttag and J. J. Horning. Report on the Larch Shared Language. Sci. Comput. Program., 6(2):103\u2013134, 1986.","journal-title":"Sci. Comput. Program"},{"key":"16_CR8","unstructured":"D. Kapur and D. R. Musser. Tecton: a framework for specifying and verifying generic system components. Technical Report TR-92-20, Computer Science Department, Rensselaer Polytechnic Institute, July 1992."},{"key":"16_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of Program Specification Workshop","author":"D. Kapur","year":"1981","unstructured":"D. Kapur, D. R. Musser, and A. A. Stepanov. Tecton: a language for manipulating generic objects. In Proc. of Program Specification Workshop, University of Aarhus, Denmark, August 1981, LNCS 134, Springer-Verlag, 1982."},{"key":"16_CR10","unstructured":"D. R. Musser, The Tecton concept description language, September 1998. \n                    \n                      http:\/\/www.cs.rpi.edu\/~musser\/gp\/"},{"key":"16_CR11","unstructured":"D. R. Musser, Tecton description of STL container and iterator concepts, November 1998. \n                    \n                      http:\/\/www.cs.rpi.edu\/~musser\/gp\/"},{"key":"16_CR12","unstructured":"D. R. Musser, G. J. Derge, and A. Saini. STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library, Second Edition. Addison-Wesley, 2001."},{"key":"16_CR13","unstructured":"D. R. Musser, S. Schupp, C. Schwarzweller, and R. Loos. The Tecton Concept Library. Technical Report WSI-99-02, Wilhelm-Schickard-Institute for Computer Science, Universit\u00e4t T\u00fcbingen, September 1999."},{"key":"16_CR14","unstructured":"D. R. Musser and Z. Shao, The Tecton concept description language (revised version), Technical Report TR-02-03, Computer Science Department, Rensselaer Polytechnic Institute, 2002."},{"key":"16_CR15","unstructured":"S. Schupp, D. Gregor, and D. R. Musser. Algebraic Concepts Represented in C++. Technical Report TR-00-8, Computer Science Department, Rensselaer Polytechnic Institute, 2000."},{"key":"16_CR16","unstructured":"J. G. Siek, L.-Q. Lee, and A. Lumsdaine. The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley, 2002."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"J. G. Siek and A. Lumsdaine. The Matrix Template Library: A generic programming approach to high performance numerical linear algebra. In International Symposium on Computing in Object-Oriented Parallel Environments, 1998.","DOI":"10.1007\/3-540-49372-7_6"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T13:40:26Z","timestamp":1550324426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}