{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:34:44Z","timestamp":1725521684339},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540897774"},{"type":"electronic","value":"9783540897781"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89778-1_7","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T18:18:50Z","timestamp":1227723530000},"page":"43-61","source":"Crossref","is-referenced-by-count":9,"title":["Model-Driven Prototyping Based Requirements Elicitation"],"prefix":"10.1007","author":[{"given":"Jicheng","family":"Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farokh B.","family":"Bastani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I-Ling","family":"Yen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A. Blum","year":"1997","unstructured":"Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence\u00a090, 281\u2013300 (1997)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"7_CR2","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MS.1987.231780","volume":"4","author":"B. Boehm","year":"1987","unstructured":"Boehm, B.: Industrial software metrics top 10 list. IEEE Software\u00a04(5), 84\u201385 (1987)","journal-title":"IEEE Software"},{"issue":"1\u20132","key":"7_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A. Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence\u00a0147(1\u20132), 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"7_CR4","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/52.156899","volume":"9","author":"A. Davis","year":"1992","unstructured":"Davis, A.: Operational prototyping: A new development approach. Software\u00a09(5), 70\u201378 (1992)","journal-title":"Software"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Fu, J., Bastani, F.B., Yen, I.: Automated AI planning and code pattern based code synthesis. In: ICTAI 2006, pp. 540\u2013546 (2006)","DOI":"10.1109\/ICTAI.2006.37"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Fu, J., Bastani, F.B., Ng, V., Yen, I., Zhang, Y.: FIP: A fast planning-graph-based iterative planner, Technical Report. UTDCS-03-08, UT-DALLAS (2008)","DOI":"10.1109\/ICTAI.2008.98"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Harmain, H.M., Gaizauskas, R.: CM-Builder: A natural language-based CASE tool. Journal of Automated Software Engineering, 157\u2013181 (2003)","DOI":"10.1023\/A:1022916028950"},{"key":"7_CR8","unstructured":"http:\/\/www.andromda.org\/"},{"key":"7_CR9","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading (2003)"},{"key":"7_CR10","unstructured":"Kuter, U., Nau, D.: Forward-chaining planning in nondeterministic domains. In: Proceedings of the National Conference on Artificial Intelligence (AAAI-2004), pp. 513\u2013518 (2004)"},{"issue":"10","key":"7_CR11","first-page":"978","volume":"26","author":"A. Lamsweerde","year":"2000","unstructured":"Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. TSE\u00a026(10), 978\u20131005 (2000)","journal-title":"TSE"},{"key":"7_CR12","unstructured":"Levesque, H.: Planning with loops. In: Proc. of the IJCAI 2005 Conference, Edinburgh, Scotland (2005)"},{"key":"7_CR13","unstructured":"Liu, J., Bastani, F.B., Yen, I.: Code Pattern: An approach for component-based code synthesis. In: Proceeding of the 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, pp. 330\u2013336 (2003)"},{"key":"7_CR14","unstructured":"Liu, J., Bastani, F.B., Yen, I.: A formal foundation of the operations on code Patterns. In: The International Conference on Software Engineering and Knowledge Engineering, Taipei, Taiwan, Republic of China ( (2005)"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/64.10016","volume":"3","author":"Luqi","year":"1988","unstructured":"Luqi: Knowledge-based support for rapid software prototyping. IEEE Expert\u00a03(4), 9\u201318 (1988)","journal-title":"IEEE Expert"},{"issue":"5","key":"7_CR16","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/2.27953","volume":"22","author":"Luqi","year":"1989","unstructured":"Luqi: Software evolution through rapid prototyping. Computer\u00a022(5), 13\u201325 (1989)","journal-title":"Computer"},{"issue":"10","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1409","DOI":"10.1109\/32.6186","volume":"14","author":"Luqi","year":"1988","unstructured":"Luqi, Berzins, V., Yeh, R.: A prototyping language for real time software. IEEE Transactions on Software Engineering\u00a014(10), 1409\u20131423 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"7_CR18","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/s10009-003-0116-7","volume":"5","author":"Luqi","year":"2004","unstructured":"Luqi, Guan, Z., Berzins, V., Zhang, L., Dloodeen, D., Coskun, C., Pueett, J., Brown, M.: Requirements document based prototyping of CARA software. International Journal on Software Tools for Technology Transfer\u00a05(4), 370\u2013390 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-540-89778-1_5","volume-title":"Monterey Workshop 2007","author":"Luqi","year":"2008","unstructured":"Luqi, Kordon, F.: Advances in Requirements Engineering: Bridging the Gap between Stakeholders\u2019 Needs and Formal Designs. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol.\u00a05320, pp. 15\u201324. Springer, Heidelberg (2008)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Manna, Z., Waldinger, R.: Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering\u00a08(18), 674\u2013704 (1992)","DOI":"10.1109\/32.153379"},{"key":"7_CR21","unstructured":"Mcclendon, C.M., Regot, L., Akers, G.: The Analysis and Prototyping of Effective Graphical User Interfaces (October 1996)"},{"key":"7_CR22","volume-title":"MDA Distilled: Principles of Model-Driven Architecture","author":"S.J. Mellor","year":"2004","unstructured":"Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley, Reading (2004)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements engineering: A roadmap. The Future of Software Engineering. In: 22nd International Conference on Software Engineering, pp. 35\u201346. ACM-IEEE (2000) (special issue)","DOI":"10.1145\/336512.336523"},{"key":"7_CR24","unstructured":"Object Management Group: MDA Guide: Version 1.0.1, OMG document omg\/03-06-01 (2005)"},{"key":"7_CR25","unstructured":"Overmyer, S.L.V., Rambow, O.: Conceptual modeling through linguistics analysis Using LID. In: 23rd international conference on Software engineering (2001)"},{"key":"7_CR26","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes","author":"M.L. Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes. Wiley, Chichester (1994)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Selic, B.: Model-driven development: Its essence and opportunities. In: 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC), pp. 313\u2013319 (2006)","DOI":"10.1109\/ISORC.2006.54"},{"key":"7_CR28","volume-title":"Model-Driven Software Development: Technology, Engineering, Management","author":"T. Stahl","year":"2006","unstructured":"Stahl, T., V\u00f6lter, M., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley, Chichester (2006)"},{"key":"7_CR29","unstructured":"Stickel, M.E., Waldinger, R.J., Chaudhri, V.K.: A Guide to SNARK (2005), http:\/\/www.ai.sri.com\/snark\/tutorial\/tutorial.html"},{"key":"7_CR30","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley, Reading (2003)"}],"container-title":["Lecture Notes in Computer Science","Innovations for Requirement Analysis. From Stakeholders\u2019 Needs to Formal Designs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89778-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T19:27:03Z","timestamp":1557948423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89778-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897774","9783540897781"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89778-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}