Model-driven prototyping based requirements elicitation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5320 LNCS, Issue , 2008, Pages 43-61

  Fu, Jicheng ^a   Bastani, Farokh B ^a   Yen, I Ling ^a  

^a The University of Texas at Dallas   (United States)

Author keywords

Code patterns; Component based software development; Model driven development; Prototyping; Requirements elicitation

Indexed keywords

CONCURRENT ENGINEERING; JOB ANALYSIS; RAPID PROTOTYPING; REQUIREMENTS ENGINEERING; SOFTWARE DESIGN;

CODE PATTERNS; COMPONENT-BASED SOFTWARE DEVELOPMENT; MODEL-DRIVEN DEVELOPMENT; PROTOTYPING; REQUIREMENTS ELICITATION;

SYSTEMS ANALYSIS;

EID: 58649083687     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89778-1_7     Document Type: Conference Paper

References (30)

1. Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence 90, 281-300 (1997)
2. Boehm, B.: Industrial software metrics top 10 list. IEEE Software 4(5), 84-85 (1987)
3. Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147 (1-2), 35-84 (2003)
4. Davis, A.: Operational prototyping: A new development approach. Software 9(5), 70-78 (1992)
5. Fu, J., Bastani, F.B., Yen, I.: Automated AI planning and code pattern based code synthesis. In: ICTAI 2006, pp. 540-546 (2006)
6. 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)
7. Harmain, H.M., Gaizauskas, R.: CM-Builder: A natural language-based CASE tool. Journal of Automated Software Engineering, 157-181 (2003)
8. http://www.andromda.org/
9. Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading (2003)
10. Kuter, U., Nau, D.: Forward-chaining planning in nondeterministic domains. In: Proceedings of the National Conference on Artificial Intelligence (AAAI-2004), pp. 513-518 (2004)
11. Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. TSE 26(10), 978-1005 (2000)
12. Levesque, H.: Planning with loops. In: Proc. of the IJCAI 2005 Conference, Edinburgh, Scotland (2005)
13. 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-336 (2003)
14. 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)
15. Luqi: Knowledge-based support for rapid software prototyping. IEEE Expert 3(4), 9-18 (1988)
16. Luqi: Software evolution through rapid prototyping. Computer 22(5), 13-25 (1989)
17. Luqi, Berzins, V., Yeh, R.: A prototyping language for real time software. IEEE Transactions on Software Engineering 14(10), 1409-1423 (1988)
18. 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 5(4), 370-390 (2004)
19. Luqi, Kordon, F.: Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 15-24. Springer, Heidelberg (2008)
20. Manna, Z., Waldinger, R.: Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering 8(18), 674-704 (1992)
21. Mcclendon, CM., Regot, L., Akers, G.: The Analysis and Prototyping of Effective Graphical User Interfaces (October 1996)
22. Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley, Reading (2004)
23. Nuseibeh, B., Easterbrook, S.: Requirements engineering: A roadmap. The Future of Software Engineering. In: 22nd International Conference on Software Engineering, pp. 35-46. ACM-IEEE (2000) (special issue)
24. Object Management Group: MDA Guide: Version 1.0.1, OMG document omg/03-06-01 (2005)
25. Overmyer, S.L.V., Rambow, O.: Conceptual modeling through linguistics analysis Using LID. In: 23rd international conference on Software engineering (2001)
26. Puterman, M.L.: Markov Decision Processes. Wiley, Chichester (1994)
27. 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-319 (2006)
28. Stahl, T., Völter, M., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley, Chichester (2006)
29. Stickel, M.E., Waldinger, R.J., Chaudhri, V.K.: A Guide to SNARK (2005), http://www.ai.sri,com/snark/tutorial/tutorial.html
30. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley, Reading (2003)