{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:31:21Z","timestamp":1760131881072,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,11,5]]},"DOI":"10.1145\/1181775.1181800","type":"proceedings-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T20:15:56Z","timestamp":1168978556000},"page":"197-207","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":64,"title":["Scenarios, goals, and state machines"],"prefix":"10.1145","author":[{"given":"Christophe","family":"Damas","sequence":"first","affiliation":[{"name":"Universit\u00e9 catholique de Louvain, Louvain-La-Neuve, Belgium"}]},{"given":"Bernard","family":"Lambeau","sequence":"additional","affiliation":[{"name":"Universit\u00e9 catholique de Louvain, Louvain-La-Neuve, Belgium"}]},{"given":"Axel","family":"van Lamsweerde","sequence":"additional","affiliation":[{"name":"Universit\u00e9 catholique de Louvain, Louvain-La-Neuve, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2006,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"e_1_3_2_1_2_1","unstructured":"D. Giannakopoulou and F. Lerda LTL2Buchi available at http:\/\/ic.arc.nasa.gov\/people\/dimitra\/LTL2Buchi.php.  D. Giannakopoulou and F. Lerda LTL2Buchi available at http:\/\/ic.arc.nasa.gov\/people\/dimitra\/LTL2Buchi.php."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940106"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018443.1022114"},{"key":"e_1_3_2_1_5_1","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J. E.","year":"1979","unstructured":"J. E. Hopcroft and J. D. Ullman , Introduction to Automata Theory, Languages, and Computation , Addison-Wesley , 1979 . J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979."},{"issue":"12","key":"e_1_3_2_1_6_1","volume":"24","author":"Jarke M.","year":"1998","unstructured":"M. Jarke and R. Kurki-Suonio (eds.), Special Issue on Scenario Management , IEEE Trans. on Sofware. Engineering , Vol. 24 No. 12 , Dec. 1998 . M. Jarke and R. Kurki-Suonio (eds.), Special Issue on Scenario Management, IEEE Trans. on Sofware. Engineering, Vol. 24 No. 12, Dec. 1998.","journal-title":"IEEE Trans. on Sofware. Engineering"},{"key":"e_1_3_2_1_7_1","volume-title":"Real-Time Systems: Specification, Verification and Analysis","author":"Joseph M.","year":"1996","unstructured":"M. Joseph . Real-Time Systems: Specification, Verification and Analysis . Prentice Hall Intl ., 1996 . M. Joseph. Real-Time Systems: Specification, Verification and Analysis. Prentice Hall Intl., 1996."},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. IFIP WG10","author":"Kruger I.","year":"1998","unstructured":"I. Kruger , R. Grosu , P. Scholz and M. Broy , From MSCs to Statecharts , Proc. IFIP WG10 .3\/WG10.5 Intl. Workshop on Distributed and Parallel Embedded Systems (Scholo\u00df Eringerfeld, Germany), F. J. Rammig (ed.), Kluwer , 1998 , 61--71. I. Kruger, R. Grosu, P. Scholz and M. Broy, From MSCs to Statecharts, Proc. IFIP WG10.3\/WG10.5 Intl. Workshop on Distributed and Parallel Embedded Systems (Scholo\u00df Eringerfeld, Germany), F. J. Rammig (ed.), Kluwer, 1998, 61--71."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337184"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018443.1022089"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645517.655780"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581353"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062527"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. ICSE'01 -- Intl. Conf. Soft. Engineering","author":"M\u00e4kinen E.","year":"2001","unstructured":"E. M\u00e4kinen and T. Syst\u00e4 , \" MAS - An Interactive Synthesizer to Support Behavioral Modelling in UML \", Proc. ICSE'01 -- Intl. Conf. Soft. Engineering ,, Toronto, Canada , May 2001 . E. M\u00e4kinen and T. Syst\u00e4, \"MAS - An Interactive Synthesizer to Support Behavioral Modelling in UML\", Proc. ICSE'01 -- Intl. Conf. Soft. Engineering,, Toronto, Canada, May 2001."},{"key":"e_1_3_2_1_17_1","volume-title":"Concurrency: State Models and Java Programs","author":"Magee J.","year":"2006","unstructured":"J. Magee and J. Kramer , Concurrency: State Models and Java Programs . Second Edition, Wiley , 2006 . J. Magee and J. Kramer, Concurrency: State Models and Java Programs. Second Edition, Wiley, 2006."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/942807.943861"},{"key":"e_1_3_2_1_20_1","volume-title":"N. Perez de la Blanca et al (Ed.), Pattern Recognition and Image Analysis","author":"Oncina J.","year":"1992","unstructured":"J. Oncina and P. Garc\u00eda , \" Inferring Regular Languages in Polynomial Update Time \", In N. Perez de la Blanca et al (Ed.), Pattern Recognition and Image Analysis , Vol. 1 Series in Machine Perception & Artificial Intelligence, World Scientific , 1992 , 49--61. J. Oncina and P. Garc\u00eda, \"Inferring Regular Languages in Polynomial Update Time\", In N. Perez de la Blanca et al (Ed.), Pattern Recognition and Image Analysis, Vol. 1 Series in Machine Perception & Artificial Intelligence, World Scientific, 1992, 49--61."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503220"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"}],"event":{"name":"SIGSOFT06\/FSE-14: SIGSOFT 2006 -14th International Symposium on the Foundations of Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Portland Oregon USA","acronym":"SIGSOFT06\/FSE-14"},"container-title":["Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1181775.1181800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T15:44:46Z","timestamp":1673365486000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1181775.1181800"}},"subtitle":["a win-win partnership for model synthesis"],"short-title":[],"issued":{"date-parts":[[2006,11,5]]},"references-count":23,"alternative-id":["10.1145\/1181775.1181800","10.1145\/1181775"],"URL":"https:\/\/doi.org\/10.1145\/1181775.1181800","relation":{},"subject":[],"published":{"date-parts":[[2006,11,5]]},"assertion":[{"value":"2006-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}