{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:41:26Z","timestamp":1725518486933},"publisher-location":"Dordrecht","reference-count":11,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402088889"},{"type":"electronic","value":"9781402088896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-1-4020-8889-6_12","type":"book-chapter","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T12:40:42Z","timestamp":1221309642000},"page":"105-117","source":"Crossref","is-referenced-by-count":0,"title":["Specification Techniques (Not Only) for Autonomous Systems"],"prefix":"10.1007","author":[{"given":"Peter","family":"Pepper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1_12","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems, LNCS 736","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. HO. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, H. Rischel, and A. Ravn, editors, Hybrid Systems, LNCS 736, pages 209-229. Springer, New York, 1993."},{"key":"12_CR2_12","first-page":"121","volume-title":"Advances in Cybernetics and Systems Research","author":"J. A. Goguen","year":"1973","unstructured":"J. A. Goguen. Categorical foundations for general systems theory. In F. Pichler and R. Trappl, editors, Advances in Cybernetics and Systems Research, pages 121-130. Transcripta Books, London, 1973."},{"unstructured":"IBM, 2006. http:\/\/www-03.ibm.com\/autonomic\/pdfs\/AC Blueprint White Paper 4th.pdf .","key":"12_CR3_12"},{"unstructured":"J. Fiadeiro, A. Lopes, and M. Wermelinger. A mathematical semantics for architectural connectors. In FASE-03, LNCS 2793, pages 190-234, 2003.","key":"12_CR4_12"},{"unstructured":"Kestrel Institute. Specware System and Documentation, 2003. http:\/\/www.specware.org\/ .","key":"12_CR5_12"},{"unstructured":"NASA. http:\/\/ic.arc.nasa.gov\/projects\/mba\/ .","key":"12_CR6_12"},{"unstructured":"D. Patterson and A. Fox. http:\/\/roc.cs.berkeley.edu .","key":"12_CR7_12"},{"doi-asserted-by":"crossref","unstructured":"Dusko Pavlovic, Peter Pepper, and Douglas R. Smith. Colimits for concurrent collectors. In N. Dershowitz, editor, Verification: Theory and Practice: Festschrift for Zohar Manna, pages 568-597. LNCS 2772, 2003.","key":"12_CR8_12","DOI":"10.1007\/978-3-540-39910-0_25"},{"doi-asserted-by":"crossref","unstructured":"Dusko Pavlovic, Peter Pepper, and Douglas R. Smith. Evolving specification engineering. In Proceedings of AMAST 2008, 2008 (to appear).","key":"12_CR9_12","DOI":"10.1007\/978-3-540-79980-1_23"},{"doi-asserted-by":"crossref","unstructured":"Dusko Pavlovic and Douglas R. Smith. Composition and refinement of behavioral specifications. In Proceedings of Sixteenth International Conference on Automated Software Engineering, pages 157-165. IEEE Computer Society Press, 2001.","key":"12_CR10_12","DOI":"10.1109\/ASE.2001.989801"},{"doi-asserted-by":"crossref","unstructured":"Dusko Pavlovic and Douglas R. Smith. Guarded transitions in evolving specifications. In H. Kirchner and C. Ringeissen, editors, Proceedings of AMAST 2002, volume 2422 of Lecture Notes in Computer Science, pages 411-425. Springer, 2002. ftp:\/\/ftp.kestrel.edu\/ pub\/papers\/pavlovic\/GTES.ps .","key":"12_CR11_12","DOI":"10.1007\/3-540-45719-4_28"}],"container-title":["Autonomous Systems \u2013 Self-Organization, Management, and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8889-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T17:24:25Z","timestamp":1605633865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8889-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9781402088889","9781402088896"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8889-6_12","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}