{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:36:39Z","timestamp":1776785799592,"version":"3.51.2"},"reference-count":31,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[2008,2,6]]},"DOI":"10.1080\/08839510701853200","type":"journal-article","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T04:20:16Z","timestamp":1204258816000},"page":"77-115","source":"Crossref","is-referenced-by-count":46,"title":["THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION"],"prefix":"10.1080","volume":"22","author":[{"given":"Pierre","family":"Dupont","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Lambeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Damas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel van","family":"Lamsweerde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90683-6"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(81)90090-5"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"CIT0004","unstructured":"Bell , T. and T. Thayer . 1976 . Software requirements: Are they really a problem? In: 2nd International Conference on Software Enginering (ICSE) , pp. 61 \u2013 68 . San Francisco , CA ."},{"key":"CIT0005","volume-title":"Software Engineering Economics","author":"Boehm B.","year":"1981"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"Brooks F.","year":"1987","journal-title":"IEEE Computer"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30195-0_11"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054076"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"CIT0010","doi-asserted-by":"crossref","unstructured":"Damas , C. , B. Lambeau , and A. van Lamsweerde . 2006 . Scenarios, goals, and state machines: A win\u2013win partnership for model synthesis . International ACM Symposium on the Foundations of Software Engineering , pp. 197 \u2013 207 . Portland , OR .","DOI":"10.1145\/1181775.1181800"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033357"},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-58473-0_134","volume-title":"Grammatical Inference and Applications, ICGI'94","author":"Dupont P.","year":"1994"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Giannakopoulou , D. and J. Magee . 2003 . Fluent model checking for event-based systems . In: 9th European Software Engineering Conference\/11th ACM SIGSOFT International Symposium on Foundations of Software Engineering , pp. 257 \u2013 266 . Helsinki .","DOI":"10.1145\/940103.940106"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"CIT0015","unstructured":"Hall , R. and A. Zisman . 2004 . Omml: A behavioral model interchange format . In: 12th IEEE Joint International Requirements Engineering Conference , pp. 272 \u2013 282 , Kyoto , Japan."},{"key":"CIT0016","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft J.","year":"1979"},{"key":"CIT0017","volume-title":"Real-Time Systems: Specification, Verification and Analysis","author":"Joseph M.","year":"1996"},{"key":"CIT0018","first-page":"61","volume-title":"International Workshop on Distributed and Parallel Emebedded Systems","author":"Kruger I.","year":"1998"},{"key":"CIT0019","doi-asserted-by":"crossref","unstructured":"Lang , K. 1992 . Random DFA's can be approximately learned from sparse uniform examples . In: 5th ACM Workshop on Computational Learning Theory , pp. 45 \u2013 52 , Pittsburgh , PA , USA .","DOI":"10.1145\/130385.130390"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054059"},{"key":"CIT0021","volume-title":"Concurrency: State Models and Java Programs","author":"Magee J.","year":"1999"},{"key":"CIT0022","doi-asserted-by":"crossref","unstructured":"M\u00e4kinen , E. and T. Syst\u00e4 . 2001 . Mas \u2013 an interactive synthetiser to support behavorial modeling in UML . In: 27th International Conference on Software Engineering , pp. 15 \u2013 24 , Toronto , Canada .","DOI":"10.1109\/ICSE.2001.919077"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1142\/9789812797902_0004"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1109\/34.211465"},{"key":"CIT0025","unstructured":"The Standish Group . 1995 . Software chaos . http:\/\/www.standishgroup.com. Last accessed 21 January 2008 ."},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"CIT0028","doi-asserted-by":"crossref","unstructured":"van Lamsweerde , A. 2001 . Goal-oriented requirements engineering: A guided tour . In: 5th Intl. Symp. Requirements Engineering (RE) , pp. 249 \u2013 263 . Toronto : IEEE Press .","DOI":"10.1109\/ISRE.2001.948567"},{"key":"CIT0029","unstructured":"van Lamsweerde , A. 2004 . Goal-oriented requirements engineering: A roundtrip from research to practice . In: 12th IEEE Joint International Requirements Engineering Conference , pp. 4 \u2013 7 , Kyoto , Japan ."},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"},{"key":"CIT0031","doi-asserted-by":"crossref","unstructured":"Whittle , J. and J. Schumann . 2000 . Generating statechart designs from scenarios . In: 22nd International Conference on Software Engineering , pp. 314 \u2013 323 . Limerick , Ireland .","DOI":"10.1145\/337180.337217"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839510701853200","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T20:48:34Z","timestamp":1738097314000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839510701853200"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2,6]]},"references-count":31,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2008,2,6]]}},"alternative-id":["10.1080\/08839510701853200"],"URL":"https:\/\/doi.org\/10.1080\/08839510701853200","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"value":"0883-9514","type":"print"},{"value":"1087-6545","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2,6]]}}}