{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:06:46Z","timestamp":1725505606010},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787426"},{"type":"electronic","value":"9783540787433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78743-3_1","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T19:53:27Z","timestamp":1207079607000},"page":"1-15","source":"Crossref","is-referenced-by-count":3,"title":["Deriving Non-zeno Behavior Models from Goal Models Using ILP"],"prefix":"10.1007","author":[{"given":"Dalal","family":"Alrajeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-73847-3_14","volume-title":"Inductive Logic Programming","author":"D. Alrajeh","year":"2007","unstructured":"Alrajeh, D., Ray, O., Russo, A., Uchitel, S.: Extracting requirements from scenarios with ILP. In: Muggleton, S., Otero, R., Tamaddoni-Nezhad, A. (eds.) ILP 2006. LNCS (LNAI), vol.\u00a04455, pp. 64\u201398. Springer, Heidelberg (2007)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Courtois, P.J., Parnas, D.L.: Documentation for safety critical software. In: Proc. 15th Int. Conf. on software engineering (1993)","DOI":"10.1109\/ICSE.1993.346033"},{"issue":"12","key":"1_CR3","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2005.138","volume":"31","author":"C. Damas","year":"2005","unstructured":"Damas, C., Dupont, P., Lambeau, B., van Lamsweerde, A.: Generating annotated behavior models from end-user scenarios. IEEE Transactions on Software Engineering\u00a031(12), 1056\u20131073 (2005)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Damas, C., Lambeau, B., van Lamsweerde, A.: Scenarios, goals, and state machines: a win-win partnership for model synthesis. In: Proc. of the Intl. ACM Symp. on the Foundations of Software Engineering (2006)","DOI":"10.1145\/1181775.1181800"},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming\u00a020 (1), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: Proc. of the 4th ACM Symp. on the Foundations of Software Engineering (1996)","DOI":"10.1145\/239098.239131"},{"key":"1_CR7","volume-title":"Proc. of the 5th Intl. Conf. on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proc. of the 5th Intl. Conf. on Logic Programming, MIT Press, Cambridge (1988)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: Proc. 11th ACM SIGSOFT Symp. on Foundations Software Engineering (2003)","DOI":"10.1145\/940071.940106"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Bull, A., Gasarch, C., Labaw, B.: Scr*: A toolset for specifying and analyzing requirements. In: Proc. of the 10th Annual Conf. on Computer Assurance (1995)","DOI":"10.21236\/ADA465318"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J., Sloman, M.: Conic: An integrated approach to distributed computer control systems. In: IEE Proc., Part E, vol.\u00a0130 (January 1983)","DOI":"10.1049\/ip-e.1983.0001"},{"issue":"12","key":"1_CR11","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/32.738341","volume":"24","author":"A. Lamsweerde Van","year":"1998","unstructured":"Van Lamsweerde, A., Willemet, L.: Inferring declarative requirements specifications from operational scenarios. IEEE Transactions on Software Engineering\u00a024(12), 1089\u20131114 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR12","unstructured":"Letier, E., Kramer, J., Magee, J., Uchitel, S.: Deriving event-based transitions systems from goal-oriented requirements models. Technical Report 02\/2006, Imperial College London (2006)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Letier, E., Van Lamsweerde, A.: Deriving operational software specifications from system goals. In: Proc. 10th ACM SIGSOFT Symp. on Foundations of Software Engineering (2002)","DOI":"10.1145\/587051.587070"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration. In: Proc. of the 24th Intl. Conf. on Software Engineering (2002)","DOI":"10.1145\/581352.581353"},{"key":"1_CR15","volume-title":"Concurrency : State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. John Wiley and Sons, Chichester (1999)"},{"key":"1_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Miller, R., Shanahan, M.: Some alternative formulation of event calculus. In: Computer Science; Computational Logic; Logic programming and Beyond, vol.\u00a02408 (2002)","DOI":"10.1007\/3-540-45632-5_17"},{"issue":"3-4","key":"1_CR18","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S.H. Muggleton","year":"1995","unstructured":"Muggleton, S.H.: Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming\u00a013(3-4), 245\u2013286 (1995)","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"key":"1_CR19","unstructured":"Ray, O.: Using abduction for induction of normal logic programs. In: Proc. ECAI 2006 Workshop on Abduction and Induction in AI and Scientific Modelling (2006)"},{"issue":"5","key":"1_CR20","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1093\/jigpal\/12.5.371","volume":"12","author":"O. Ray","year":"2004","unstructured":"Ray, O., Broda, K., Russo, A.: A hybrid abductive inductive proof procedure. Logic Journal of the IGPL\u00a012(5), 371\u2013397 (2004)","journal-title":"Logic Journal of the IGPL"},{"key":"1_CR21","volume-title":"Solving the Frame Problem","author":"M.P. Shanahan","year":"1997","unstructured":"Shanahan, M.P.: Solving the Frame Problem. MIT Press, Cambridge (1997)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Behaviour model synthesis from properties and scenarios. In: Proc. of the 29th IEEE\/ACM Intl. Conf. on Software Engineering (2007)","DOI":"10.1109\/ICSE.2007.21"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78743-3_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:20:54Z","timestamp":1619508054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78743-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787426","9783540787433"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78743-3_1","relation":{},"subject":[]}}