{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:40:38Z","timestamp":1742982038634,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642168352"},{"type":"electronic","value":"9783642168369"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16836-9_8","type":"book-chapter","created":{"date-parts":[[2010,10,18]],"date-time":"2010-10-18T02:41:14Z","timestamp":1287369674000},"page":"87-99","source":"Crossref","is-referenced-by-count":0,"title":["An Introduction to Network Stack Design Using Software Design Patterns"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Phelan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zohra","family":"Boudjemil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel Ponce","family":"de Leon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"van der Meer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns, vol.\u00a01. Wiley, New York (1996)"},{"key":"8_CR2","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Boston (2002)"},{"key":"8_CR3","unstructured":"TMF: NGOSS Technological Neutral Architecture. TM Forum: TMF053, Ed. NGOSS Release 6.0, TNA Release 6.0, Version 5.6 (October 2005)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bracciali, A., Brogi, A., Canal, C.: Dynamically Adapting the Behavior of Software Components. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 88\u201395. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-46000-4_10"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: On the Criteria to Be Used in Decomposing Systems into Modules. Communications of the ACM\u00a015(12), 1053\u20131058","DOI":"10.1145\/361598.361623"},{"key":"8_CR6","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., et al.: Component-Based Software Architectures: A Framework Based on Inheritance of Behavior. Science of Computer Programming\u00a042(2-3), 129\u2013171","DOI":"10.1016\/S0167-6423(01)00005-3"},{"key":"8_CR8","unstructured":"Fr\u00f8lund, S., Koistinen, J.: Quality-of-Service Specification in Distributed Object Systems. Technical Report HPL-98-159. Hewlett Packard, Software Technology Laboratory"},{"key":"8_CR9","unstructured":"Service Modeling Language, Version 1.1, http:\/\/www.w3.org\/TR\/sml\/"},{"key":"8_CR10","unstructured":"van der Meer, S., Fleck II, J.: Traceability Maps: a Tool for Managing Software Artifacts. In: Proc. of 15th Workshop of the HP Software University Association, Marrakech, Morocco, June 22-25 (2008)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Mecella, M., Pernici, B.: Designing Wrapper Components for e-Services in Integrating Heterogeneous Systems. VLDB Journal\u00a010(1), 2\u201315","DOI":"10.1007\/s007780100044"},{"key":"8_CR12","unstructured":"TMF: NGOSS Architecture Technology Neutral Specification - Contract Description: Business and System Views. TMF053B, Ed. TNA Release 6.3, Version 5.1 (November 2006)"},{"key":"8_CR13","unstructured":"van der Meer, S., et al.: Manageability of Autonomic Software Artifacts using Contracts and Traceability. In: Proc. of 2nd IEEE International Workshop on Modelling Autonomic Communications Environments (MACE 2007), San Jos\u00e9, USA, October 29-30 (2007)"},{"key":"8_CR14","unstructured":"Strassner, J.: Policy Based Network Management. Morgan Kaufmann, San Francisco, ISBN 1-55860-859-1"},{"key":"8_CR15","unstructured":"Day, J.: Patterns in Network Architecture. Prentice Hall, Englewood Cliffs, ISBN 0-132-25242-2"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Applying Design by Contract. IEEE Computer (1992)","DOI":"10.1109\/2.161279"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Gupta, A., Raj, A.: Strengthening Method Contracts for Objects. In: APSEC (2006)","DOI":"10.1109\/APSEC.2006.54"},{"key":"8_CR18","unstructured":"Ramkarthik, S., Zhang, C.: Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z. In: ICIS COMSAR (2006)"},{"key":"8_CR19","unstructured":"Giese, H.: Contract \u2013 based Component System Design. In: ICSS (2000)"},{"key":"8_CR20","unstructured":"Baudry, B., le Traon, Y., J\u00e9z\u00e9quel, J.-M.:Robustness and Diagnosability of OO Systems Designed by Contracts. In: METRICS (2001)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"le Traon, Y., Baudry, B., J\u00e9z\u00e9quel, J.-M.: Design by Contract to Improve Software Vigilance. IEEE Transactions on Software Engineering\u00a032(8) (2006)","DOI":"10.1109\/TSE.2006.79"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Enselme, D., Florin, G., Legond-Aubry, F.: Design by contracts Analysis of hidden dependencies in component based applications. Journal of Object Technology\u00a03, 4 (2004)","DOI":"10.5381\/jot.2004.3.4.a2"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Liu, X., et al.: Specification of Non-functional Requirements for Contract Specification in the NGOSS Framework for Quality Management and Product Evaluation. In: IEEE Fifth International Workshop on Software Quality, WoSQ 2007 (2007)","DOI":"10.1109\/WOSQ.2007.12"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Carroll, R., Lehtihet, E., Fahy, C., van der Meer, S., Georgalas, N., Cleary, D.: Applying the P2P paradigm to management of large-scale distributed networks using a Model Driven Approach. In: 10th IEEE\/IFIP NOMS 2006, Vancouver, Canada, April 3-7 (2006)","DOI":"10.1109\/NOMS.2006.1687605"},{"key":"8_CR25","unstructured":"Lohmann, M., Sauer, S., Engels, G.: Executable_Visual_Contracts. In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC (2005)"},{"key":"8_CR26","unstructured":"Burgess, M.: An Approach to Understanding Policy Based on Autonomy and Voluntary Cooperation. In: 16th IFIP\/IEEE Distributed Systems: Operations and Management Barcelona, Spain, October 24-26 (2005)"},{"key":"8_CR27","unstructured":"cfengine, \n                    \n                      http:\/\/www.cfengine.org\/"},{"key":"8_CR28","unstructured":"Bergstra, J., Burgess, M.: A static theory of promises (2010), http:\/\/project.iu.hio.no\/papers\/origin2.pdf (last accessed August 25, 2010)"}],"container-title":["Lecture Notes in Computer Science","Modelling Autonomic Communication Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16836-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T17:18:49Z","timestamp":1580318329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16836-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642168352","9783642168369"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16836-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}