{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:57:08Z","timestamp":1725555428510},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642132728"},{"type":"electronic","value":"9783642132735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13273-5_5","type":"book-chapter","created":{"date-parts":[[2010,5,11]],"date-time":"2010-05-11T11:59:32Z","timestamp":1273579172000},"page":"69-85","source":"Crossref","is-referenced-by-count":0,"title":["Code Generation for Autonomic Systems with ASSL"],"prefix":"10.1007","author":[{"given":"Emil","family":"Vassev","sequence":"first","affiliation":[]}],"member":"297","reference":[{"volume-title":"Autonomic Computing: Concepts, Infrastructure and Applications","year":"2006","key":"5_CR1","unstructured":"Parashar, M., Hariri, S. (eds.): Autonomic Computing: Concepts, Infrastructure and Applications. CRC Press, Boca Raton (2006)"},{"key":"5_CR2","unstructured":"Murch, R.: Autonomic Computing: On Demand Series. IBM Press, Prentice Hall (2004)"},{"key":"5_CR3","unstructured":"Vassev, E.: Towards a Framework for Specification and Code Generation of Autonomic Systems, Ph.D. Thesis in the Department of Computer Science and Software Engineering. Concordia University, Montreal, Canada (2008)"},{"key":"5_CR4","unstructured":"IBM Corporation. An Architectural Blueprint for Autonomic Computing, White Paper, 4th edn. IBM Corporation (2006)"},{"key":"5_CR5","unstructured":"Hinchey, M., Rash, J., Rouff, C.: Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation, Technical Report TM-2005-212774. NASA Goddard Space Flight Center, Greenbelt, USA (2005)"},{"key":"5_CR6","unstructured":"IBM Tivoli. Autonomic Computing Policy Language, Tutorial. IBM Corporation (2005)"},{"key":"5_CR7","unstructured":"Agrawal, D., et al.: Autonomic Computing Expressing Language, Tutorial. IBM Corporation (2005)"},{"key":"5_CR8","volume-title":"Compiler Construction - Principles and Practice","author":"K.C. Louden","year":"1997","unstructured":"Louden, K.C.: Compiler Construction - Principles and Practice. PWS, Boston (1997)"},{"key":"5_CR9","unstructured":"Sun Microsystems. How to Write Doc Comments for the Javadoc Tool. SDN (Sun Developer Network) (2004), \n                  \n                    http:\/\/java.sun.com\/j2se\/javadoc\/writingdoccomments\/"},{"key":"5_CR10","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"5_CR11","volume-title":"Proceedings of International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2007)","author":"E. Vassev","year":"2007","unstructured":"Vassev, E., Paquet, J.: Towards an Autonomic Element Architecture for ASSL. In: Proceedings of International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2007). IEEE Computer Society, Los Alamitos (2007), doi:10.1109\/SEAMS.2007.21"},{"key":"5_CR12","volume-title":"Object-Oriented Modeling and Design with UML","author":"M. Blaha","year":"2005","unstructured":"Blaha, M., Rumbaugh, J.: Object-Oriented Modeling and Design with UML, 2nd edn. Pearson, Prentice Hall, New Jersey (2005)","edition":"2"},{"key":"5_CR13","volume-title":"Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008)","author":"E. Vassev","year":"2008","unstructured":"Vassev, E., Hinchey, M., Paquet, J.: Towards an ASSL Specification Model for NASA Swarm-Based Exploration Missions. In: Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008). ACM, New York (2008), doi:10.1145\/1363686.1364079"},{"key":"5_CR14","volume-title":"Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2009)","author":"E. Vassev","year":"2009","unstructured":"Vassev, E., Hinchey, M.: Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL. In: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2009). IEEE Computer Society, Los Alamitos (2009), doi:10.1109\/SMC-IT.2009.37"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13273-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:59:44Z","timestamp":1619769584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13273-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642132728","9783642132735"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13273-5_5","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}