{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:59Z","timestamp":1725566699109},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540306443"},{"type":"electronic","value":"9783540316145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11591962_11","type":"book-chapter","created":{"date-parts":[[2005,11,18]],"date-time":"2005-11-18T22:46:12Z","timestamp":1132353972000},"page":"209-231","source":"Crossref","is-referenced-by-count":3,"title":["CoConES: An Approach for Components and Contracts in Embedded Systems"],"prefix":"10.1007","author":[{"given":"Yolande","family":"Berbers","sequence":"first","affiliation":[]},{"given":"Peter","family":"Rigole","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Vandewoude","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Van Baelen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Baldwin, P., Kohli, S., Lee, E.A., Liu, X., Zhao, Y.: Modeling of sensor nets in ptolemy ii. In: Proceedings of Information Processing in Sensor Networks (IPSN), Berkeley, CA, USA, April 26-27 (2004)","DOI":"10.1145\/984622.984675"},{"issue":"7","key":"11_CR2","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer\u00a032(7), 38-45 (1999)","journal-title":"Computer"},{"key":"11_CR3","unstructured":"Bluetooth. Bluetooth wireless protocol (2003), http:\/\/www.bluetooth.com\/ , http:\/\/www.bluetooth.com\/"},{"key":"11_CR4","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.-B.: Recursive and dynamic software composition with sharing. In: Proc. of the Seventh International Workshop on Component-Oriented Programming, Malaga, Spain (2002)"},{"key":"11_CR5","unstructured":"DESSteam. Definition of components and notation for components. Technical report (December 2001), http:\/\/www.dess-itea.org"},{"key":"11_CR6","unstructured":"DESSteam. Timing, memory and other resource constraints. Technical report (2001), http:\/\/www.dess-itea.org"},{"key":"11_CR7","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":"11_CR8","unstructured":"ITRS. International technology roadmap for semiconductors. Internet (2004), http:\/\/public.itrs.net"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O., Ar\u2019evalo, G., Ducasse, S., Wuyts, R., M\u00fcller, P., Zeidler, C., Genssler, T., van den Born, R.: A component model for field devices. In: proceedings of the IFIP\/ACMworking conference on Component Deployment, Berlin (2002)","DOI":"10.1007\/3-540-45440-3_14"},{"key":"11_CR10","unstructured":"Rigole, P., Berbers, Y., Holvoet, T.: Design and run-time bandwidth contracts for pervasive computing middleware. In: Urarahy, C., Sztajnberg, A., Cerqueira, R. (eds.) Proceedings of the first International Workshop on Middleware for Pervasive and Ad Hoc Computing (MPAC), Rio De Janeiro, Brazil, June 2003, pp. 5\u201312 (2003)"},{"key":"11_CR11","first-page":"1","volume-title":"Proceedings of the Thirty-Seventh Annual Hawaii International Conference on System Sciences","author":"P. Rigole","year":"2004","unstructured":"Rigole, P., Berbers, Y., Holvoet, T.: Bluetooth enabled interaction in a distributed camera surveillance system. In: Proceedings of the Thirty-Seventh Annual Hawaii International Conference on System Sciences, pp. 1-10. IEEE Computer Society, Los Alamitos (2004)"},{"key":"11_CR12","volume-title":"Real-Time Object Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-Time Object Oriented Modeling. Wiley, Chichester (1994) ISBN 0471599174"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-45449-7_27","volume-title":"Embedded Software","author":"J.A. Stankovic","year":"2001","unstructured":"Stankovic, J.A.: A toolset for constructing and analyzing component based embedded systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 390\u2013402. Springer, Heidelberg (2001)"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1142\/S0218194096000120","volume":"6","author":"D.B. Stewart","year":"1996","unstructured":"Stewart, D.B., Khosla, P.K.: The chimera methodology: Designing dynamically reconfigurable and reusable real-time software using port-based objects. International Journal of Software Engineering and Knowledge Engineering\u00a06(2), 249-277 (1996)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"12","key":"11_CR15","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1109\/32.637390","volume":"23","author":"D.B. Stewart","year":"1997","unstructured":"Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of dynamically reconfigurable real-time software using port-based objects. Software Engineering\u00a023(12), 759-776 (1997)","journal-title":"Software Engineering"},{"key":"11_CR16","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, November 2002. Addison-Wesley, Reading (2002)"},{"key":"11_CR17","first-page":"159","volume-title":"Proceedings of 40th International Conference on Technology of Object-Oriented Languages and Systems (Tools Pacific 2002)","author":"D. Urting","year":"2002","unstructured":"Urting, D., Baelen, S.V., Holvoet, T., Rigole, P., Vandewoude, Y., Berbers, Y.: A tool for component based design of embedded software. In: Noble, J., Potter, J. (eds.) Proceedings of 40th International Conference on Technology of Object-Oriented Languages and Systems (Tools Pacific 2002), February 2002, vol.\u00a010, pp. 159\u2013168. Australian Computer Society Inc., Sydney (2002)"},{"key":"11_CR18","unstructured":"Urting, D., Holvoet, T., Berbers, Y.: Embedded software development: Components and contracts. In: Gonzalez, T. (ed.) Proc. of the IASTED Conference on Parallel and Distributed Computing and Systems, pp. 685-690 (2001)"},{"key":"11_CR19","volume-title":"Building Reliable Component-Based Software Systems","author":"R. Ommering van","year":"2002","unstructured":"van Ommering, R.: The Koala Component Model. In: Building Reliable Component-Based Software Systems, July 2002, Artech House Publishers, Norwood (2002)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Winter, M., Genssler, T., Christoph, A., Nierstrasz, O., Ducasse, S., Wuyts, R., Ar\u00e9valo, G., M\u00fcller, P., Stich, C., Sch\u00f6nhage, B.: Components for embedded software - the pecos approach. In: Proceedings of the Second International Workshop on Composition Languages, Malaga, Spain (June 2002)","DOI":"10.1145\/581630.581634"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Development for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11591962_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:21:02Z","timestamp":1586568062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11591962_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540306443","9783540316145"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11591962_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}