{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:42Z","timestamp":1750306722125,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2642937.2642945","type":"proceedings-article","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T14:22:41Z","timestamp":1410963761000},"page":"779-784","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Formalisation of the integration of behavior trees"],"prefix":"10.1145","author":[{"given":"Kushal","family":"Ahmed","sequence":"first","affiliation":[{"name":"Institute for Integrated and Intelligent Systems, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.A. Hakim","family":"Newton","sequence":"additional","affiliation":[{"name":"Institute for Integrated and Intelligent Systems, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lian","family":"Wen","sequence":"additional","affiliation":[{"name":"Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[{"name":"Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Raytheon Australia. www.raytheon.com.au  Raytheon Australia. www.raytheon.com.au"},{"key":"e_1_3_2_1_2_1","volume-title":"Sattar","author":"Ahmed K.","year":"2013","unstructured":"Ahmed , K. , Myers , T. , Wen , L. , Sattar , A. : Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering. JSCSE, Advanced Academic Publisher 3(3), 187--198 ( 2013 ) Ahmed, K., Myers, T., Wen, L., Sattar, A.: Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering. JSCSE, Advanced Academic Publisher 3(3), 187--198 (2013)"},{"volume-title":"2nd World Conference on Complex Systems (Nov 2014)","author":"Ahmed K.","key":"e_1_3_2_1_3_1","unstructured":"Ahmed , K. , Wen , L. , Sattar , A. : iRE: A Semantic Network based Interactive RE Framework . In: 2nd World Conference on Complex Systems (Nov 2014) Ahmed, K., Wen, L., Sattar, A.: iRE: A Semantic Network based Interactive RE Framework. In: 2nd World Conference on Complex Systems (Nov 2014)"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.11.007"},{"key":"e_1_3_2_1_5_1","first-page":"156","volume-title":": Formalizing the Transition from Requirements to Design. Mathematical Frameworks for Component Software-Models for Analysis and Synthesis","author":"Dromey R.G.","year":"2006","unstructured":"Dromey , R.G. : Formalizing the Transition from Requirements to Design. Mathematical Frameworks for Component Software-Models for Analysis and Synthesis pp. 156 -- 187 ( 2006 ) Dromey, R.G.: Formalizing the Transition from Requirements to Design. Mathematical Frameworks for Component Software-Models for Analysis and Synthesis pp. 156--187 (2006)"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857078"},{"key":"e_1_3_2_1_7_1","volume-title":"Westfechtel","author":"Fortsch S.","year":"2007","unstructured":"Fortsch , S. , Westfechtel , B. : Differencing and Merging of Software Diagrams - State of the Art and Challenges. ICSOFT ( 2007 ) Fortsch, S., Westfechtel, B.: Differencing and Merging of Software Diagrams - State of the Art and Challenges. ICSOFT (2007)"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1039"},{"key":"e_1_3_2_1_9_1","series-title":"Series in Computer Science (1985)","volume-title":": Communicating Sequential Processes","author":"Hoare C.A.R.","unstructured":"Hoare , C.A.R. : Communicating Sequential Processes . Series in Computer Science (1985) Hoare, C.A.R.: Communicating Sequential Processes. Series in Computer Science (1985)"},{"key":"e_1_3_2_1_10_1","first-page":"61","volume-title":"19th ASWEC 2008","author":"Lee P.","year":"2008","unstructured":"Lee , P. , Tran , T. , Phillips , V. , Papacostantinou , P. , Aitken , A. , Rosbotham , S. : Implementing a behavior tree analysis tool using eclipse development frameworks . In: 19th ASWEC 2008 . p. 61 ( 2008 ) Lee, P., Tran, T., Phillips, V., Papacostantinou, P., Aitken, A., Rosbotham, S.: Implementing a behavior tree analysis tool using eclipse development frameworks. In: 19th ASWEC 2008. p. 61 (2008)"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0181-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.23"},{"key":"e_1_3_2_1_13_1","volume-title":"Communication and concurrency","author":"Milner R.","year":"1989","unstructured":"Milner , R. : Communication and concurrency . Prentice-Hall, Inc. , NJ , USA ( 1989 ) Milner, R.: Communication and concurrency. Prentice-Hall, Inc., NJ, USA (1989)"},{"key":"e_1_3_2_1_14_1","volume-title":"T.: TextBE: A Textual Editor for Behavior Engineering. 3rd Improving Systems and Software Engineering Conference (ISSEC) (2-5","author":"Myers","year":"2011","unstructured":"Myers , T.: TextBE: A Textual Editor for Behavior Engineering. 3rd Improving Systems and Software Engineering Conference (ISSEC) (2-5 August 2011 ) Myers, T.: TextBE: A Textual Editor for Behavior Engineering. 3rd Improving Systems and Software Engineering Conference (ISSEC) (2-5 August 2011)"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.270"},{"key":"e_1_3_2_1_17_1","volume-title":"Poore","author":"Prowell S.J.","year":"1999","unstructured":"Prowell , S.J. , Trammell , C.J. , Linger , R.C. , Poore , J.H. : Cleanroom Software Engineering: Technology and Process. Addison-Wesley , MA, USA ( 1999 ) Prowell, S.J., Trammell, C.J., Linger, R.C., Poore, J.H.: Cleanroom Software Engineering: Technology and Process. Addison-Wesley, MA, USA (1999)"},{"key":"e_1_3_2_1_18_1","volume-title":"Visser","author":"Rest O.","year":"2013","unstructured":"Rest , O. , Wachsmuth , G. , Steel , J. , Sub , J. , Visser , E. : Robust real-time synchronization between textual and graphical editors. In : Theory and Practice of Model Transformations, LNCS , vol. 7909 ( 2013 ) Rest, O., Wachsmuth, G., Steel, J., Sub, J., Visser, E.: Robust real-time synchronization between textual and graphical editors. In: Theory and Practice of Model Transformations, LNCS, vol. 7909 (2013)"},{"key":"e_1_3_2_1_19_1","series-title":"Series in Computer Science (1998)","volume-title":": The Theory and Practice of Concurrency","author":"Roscoe A.W.","unstructured":"Roscoe , A.W. : The Theory and Practice of Concurrency . Series in Computer Science (1998) Roscoe, A.W.: The Theory and Practice of Concurrency. Series in Computer Science (1998)"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.10"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041685.1029904"},{"key":"e_1_3_2_1_22_1","volume-title":"Kelter","author":"Welle D.","year":"2004","unstructured":"Welle , D. , Kelter , U. : Merging UML Documents. Internal Report, University of Siegen ( 2004 ) Welle, D., Kelter, U.: Merging UML Documents. Internal Report, University of Siegen (2004)"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1776926.1776940"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.13"},{"key":"e_1_3_2_1_25_1","first-page":"125","volume-title":"Zafar","author":"Yatapanage N.","year":"2010","unstructured":"Yatapanage , N. , Winter , K. , Zafar , S. : Slicing BT Models for Verification. In : Theoretical Computer Science, vol. 323 , pp. 125 -- 139 . Springer ( 2010 ) Yatapanage, N., Winter, K., Zafar, S.: Slicing BT Models for Verification. In: Theoretical Computer Science, vol. 323, pp. 125--139. Springer (2010)"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2005.75"}],"event":{"name":"ASE '14: ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","M\u00e4lardalen University M\u00e4lardalen University","IEEE CS"],"location":"Vasteras Sweden","acronym":"ASE '14"},"container-title":["Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642945","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2642937.2642945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:33Z","timestamp":1750231173000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":25,"alternative-id":["10.1145\/2642937.2642945","10.1145\/2642937"],"URL":"https:\/\/doi.org\/10.1145\/2642937.2642945","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}