Producing a global requirements model from multiple requirement specifications

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2007, Pages 390-401

  Brottier, Erwan ^a   Baudry, Benoit ^b   Le Traon, Yves ^c   Touzet, David ^b   Nicolas, Bertrand ^a  

^a ORANGE LABS   (France)

^b CAMPUS DE BEAULIEU   (France)

^c ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINED NATURAL LANGUAGES; CORE ELEMENTS; MODEL DRIVEN ENGINEERINGS; PARTIAL SPECIFICATIONS; REQUIREMENT ANALYSES; REQUIREMENT LANGUAGES; REQUIREMENT SPECIFICATIONS; REQUIREMENTS MODELS; TECHNICAL SOLUTIONS;

LINGUISTICS; QUERY LANGUAGES;

SPECIFICATIONS;

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

References (18)

1. Nuseibeh, B. and S. Easterbrook. Requirements Engineering: A Roadmap. in The Future of Software Engineering (joint event of ICSE'00). 2000. Limerick, Ireland.
2. The_Sandish_Group, Chaos Standish Group Internal Report. 1995, The Standish Group.
3. META_Group, Research on Requirements Realization and Relevance. 2003.
4. Easterbrook, S. and B. Nuseibeh, Using Viewpoints for inconsistency management. Software Engineering Journal, 1996. 11(1): p. 31-43.
5. Schmidt, D.C., Model-Driven Engineering. IEEE Computer, 2006. 39(2): p. 25 - 31.
6. OMG. MDA. 2003 [cited 2005; Available from: http://www.omg.org/ mda/.
7. Sommerville, I., Integrated Requirements Engineering: A Tutorial. IEEE Software, 2005. 22(1): p. 16-23.
8. Lugato, D., et al. Automated Functionnal Test Case Synthesis from THALES industrial Requirements, in RTAS'04. 2004. Toronto, Canada.
9. Nebut, C., et al., Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering, 2006.
10. Saeed, W.A., et al. Model Driven Requirements Engineering. 2006 [cited; Available from: http://www.irisa.fr/triskell/Softwares/protos/mdre/.
11. Muller, P.-A., et al. Model-Driven Analysis and Synthesis of Concrete Syntax, in MoDELS'06. 2006. Genova, Italy.
12. Kermeta. The KerMeta Project Home Page. 2005 [cited 2005; Available from: http://www.kermeta.org.
13. Muller, P.-A., F. Fleurey, and J.-M. Jézéquel. Weaving executability into object-oriented meta-languages. in MoDELS'05. 2005. Montego Bay, Jamaica: LNCS.
14. Ainsworth, M., et al., Viewpoint Specification and Z. Information and Software Technology, 1994. 36(1): p. 43-51.
15. Zave, P. and M. Jackson, Conjunction as Composition. Transaction on Software Engineering and Methodology, 1993. 2(4): p. 379-411.
16. Nissen, H.W., et al., Managing Multiple Requirements Perspectives with Melamodels. IEEE Software, 1996. 13(2): p. 37-48.
17. Konrad, S. and B.H.C. Cheng. Automated Analysis of Natural Language Properties for UML Models, in MoDeVa 05 workshop in conjunction with MoDELS'05. 2005. Montego Bay, Jamaica.
18. Dwyer, M.B., G.S. Avrunin, and J.C.i.I. Corbett. Patterns in Property Specifications for Finite-State Verification, in ICSE'99 (Int. Conf. Software Engineering). 1999. Los Angeles, CA, USA.