Model-driven engineering for requirements analysis

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2007, Pages 459-466

  Baudry, Benoit ^a   Nebut, Clémentine ^b   Le Traon, Yves ^c  

^a CAMPUS DE BEAULIEU   (France)

^b CNRS   (France)

^c ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

REQUIREMENTS ENGINEERING;

AND MODELS; CONSTRAINED NATURAL LANGUAGES; GLOBAL CONSISTENCIES; METAMODELLING; PROBLEM DOMAINS; REQUIREMENTS ANALYSIS; SOFTWARE SYSTEMS; TECHNICAL SOLUTIONS; TOOLS AND METHODS;

SYSTEMS ANALYSIS;

EID: 47949095925     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2007.4384016     Document Type: Conference Paper

References (18)

1. F. Basanieri, A. Bertolino, and E. Marchetti. The cow_suite approach to planning and deriving test suites in UML projects. In J.-M. Jézé quel, H. Hussmann, and S. Cook, editors, UML 2002 - The Unified Modeling Language. Model Engineering, Languages, Concepts, and Tools. 5th International Conference, Dresden, Germany, September/October 2002, Proceedings, volume 2460 of LNCS, pages 383-397. Springer, 2002.
2. R. Boddu, L. Guo, S. Mukhopadhyay, and B. Cukic. Retna: From requirements to testing in a natural way. In RE04 (Requirements Engineering), pages 262-271, Kyoto, Japan, 2004.
3. J.-P. Bodeveix and M. Filali. Fmona: A tool for expressing validation techniques over infinite state systems. In Springer-Verlag, editor, Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, pages 204-219, 2000.
4. L. Briand and Y. Labiche. A UML-based approach to system testing. Journal of Software and Systems Modeling, pages 10-42, 2002.
5. F. Budinsky, T. Grose, D. Steinberg, R. Ellersick, E. Merks, and S. Brodsky. Eclipse Modeling Framework: a developer's guide. Addison-Wesley Professional, 2003.
6. C. Denger, D. M. Berry, and E. Kamsties. Higher quality requirements specifications through natural language patterns. In SWSTE '03: Proceedings of the IEEE International Conference on Software-Science, Technology & Engineering, page 80, Washington, DC, USA, 2003. IEEE Computer Society.
7. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In I. C. S. Press, editor, ICSE, pages 411-420, 1999.
8. G. Holzmann. The model checker spin. In IEEE TSE, pages 279-294, 1997.
9. Kermeta. The kermeta project home page, 2005.
10. S. Konrad and B. H. C. Cheng. Automated analysis of natural language properties for uml models. In MoDeVa'05 (Model Design and Validation Workshop associated to MoDELS'05), Montego Bay, Jamaica, 2005.
11. D. Lugato, F. Maraux, Y. Le Traon, C. Nebut, V. Normand, H. Dubois, J.-Y Pierron, and J.-P. Gallois. Automated functionnal test case synthesis from thales industrial requirements. In RTAS'04, Toronto, Canada, 2004.
12. P-A. Müller, F. Fleurey, and J.-M. Jézéquel. Weaving executability into object-oriented meta-languages. In MoDELS'05, pages 264 - 278, Montego Bay, Jamaica, 2005. LNCS.
13. C. Nebut, F. Fleurey, Y. Le Traon, and J.-M. Jézéquel. Automatic test generation: A use case driven approach. IEEE Transactions on Software Engineering, 2006.
14. OMG. Mda, 2003.
15. OMG. Mof 2.0 core final adopted specification., 2004.
16. OMG. Object constraint language specification, version 2.0, 2006.
17. R. L. Smith, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil. Propel: An approach supporting property elucidation. In A. Press, editor, ICSE, pages 11-21, 2002.
18. Sommerville. Integrated requirements engineering: A tutorial. IEEE Software, 22(1): 16 - 23, 2005.