{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:00:41Z","timestamp":1725516041139},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540799795"},{"type":"electronic","value":"9783540799801"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79980-1_17","type":"book-chapter","created":{"date-parts":[[2008,7,28]],"date-time":"2008-07-28T15:55:42Z","timestamp":1217260542000},"page":"216-231","source":"Crossref","is-referenced-by-count":4,"title":["An Algebraic Semantics for Contract-Based Software Components"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bidoit","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-72952-5_2","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"W. Ahrendt","year":"2007","unstructured":"Ahrendt, W., Beckert, B., H\u00e4hnle, R., Schmitt, P.H.: KeY: A formal method for object-oriented systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 32\u201343. Springer, Heidelberg (2007)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# Programming System: An Overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"17_CR3","first-page":"189","volume-title":"Foundations of Component-Based Systems","author":"K. Berger","year":"2000","unstructured":"Berger, K., Rausch, A., Sihling, M., Vilbig, A., Broy, M.: A Formal Model for Componentware. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 189\u2013210. Cambridge Univ. Press, Cambridge (2000)"},{"key":"17_CR4","volume-title":"Proc. SEFM 2004","author":"M. Bidoit","year":"2004","unstructured":"Bidoit, M., Hennicker, R., Knapp, A., Baumeister, H.: Glass-box and black-box views on object-oriented specifications. In: Proc. SEFM 2004, Beijing, China. IEEE Comp. Society Press, Los Alamitos (2004)"},{"key":"17_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"17_CR6","volume-title":"UML Components","author":"J. Cheesman","year":"2000","unstructured":"Cheesman, J., Daniels, J.: UML Components. Addison Wesley, Boston (2000)"},{"key":"17_CR7","first-page":"231","volume-title":"Foundations of Component-Based Systems","author":"J.A. Goguen","year":"2000","unstructured":"Goguen, J.A., Tracz, W.: An Implementation-Oriented Semantics for Module Composition. In: Foundations of Component-Based Systems, pp. 231\u2013263. Cambridge Univ. Press, Cambridge (2000)"},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-1-4615-5229-1_12","volume-title":"Behavioral Specifications of Businesses and Systems","author":"G.T. Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: A Notation for Detailed Design. In: Behavioral Specifications of Businesses and Systems, ch.\u00a012, pp. 175\u2013188. Kluwer, Dordrecht (1999)"},{"key":"17_CR9","first-page":"113","volume-title":"Foundations of Component-Based Systems","author":"G.T. Leavens","year":"2000","unstructured":"Leavens, G.T., Dhara, K.K.: Concepts of Behavioral Subtyping and a Sketch of Their Extension to Component-Based Systems. In: Foundations of Component-Based Systems, pp. 113\u2013136. Cambridge Univ. Press, Cambridge (2000)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-73589-2_11","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"Y. Lu","year":"2007","unstructured":"Lu, Y., Potter, J., Xue, J.: Validity invariants and effects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 202\u2013226. Springer, Heidelberg (2007)"},{"key":"17_CR11","unstructured":"Poetzsch-Heffter, A.: Specification and Verification of Object-Oriented Programs. Habilitationsschrift, Technische Universit\u00e4t M\u00fcnchen (1997)"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/11804192_15","volume-title":"Formal Methods for Components and Objects","author":"A. Poetzsch-Heffter","year":"2006","unstructured":"Poetzsch-Heffter, A., Sch\u00e4fer, J.: Modular Specification of Encapsulated Object-Oriented Components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 313\u2013341. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79980-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:35:22Z","timestamp":1619523322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79980-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540799795","9783540799801"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79980-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}