L. Modelware, State(c) Davis 45 number of states per use cases UseCase(c) State(c) Douglass 46 number of activities per use cases UseCase(c) Activity(c) Douglass, Henderson-Sellers 47 number of activities in the main flow per use case UseCase(c) Activity(c), Flow(c) Henderson-Sellers 48 number of activities per alternative flow per use case UseCase(c) Activity(c), Flow(c) Henderson-Sellers 49 number of activities in the alternative flows per use case, UseCase(c) Henderson-Sellers 50 number of activities per actor Activity(c), Actor(c) Henderson-Sellers, Marchesi 51 number of activities per goal Activity(c), Goal(c) Henderson-Sellers 52 number of goals per stakeholder Goal(c), StakeHolder(c) Henderson-Sellers 53 number of dependencies per use case (includes

P. P. Chen, The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976.
DOI : 10.1145/320434.320440

. Cheng, Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report)????, Proceedings of MODELS' 2005, pp.324-338, 2005.
DOI : 10.1007/11557432_24

C. Et-kemerer-]-chidamber, S. R. Et-kemerer, and C. F. , Towards a metrics suite for object-oriented design, Proceedings of OOPSLA'91, pp.197-211, 1991.

C. Et-kemerer-]-chidamber, S. R. Et-kemerer, and C. F. , A metric suite for object-oriented design, IEEE Transactions on Software Engineering, vol.20, issue.6, pp.293-318, 1994.

. Cho, Component metrics to measure component quality, Proceedings of the 8th Asia-Pacific on Software Engineering Conference (APSEC'01), p.419, 2001.

. Chretienne, Atos Origin, et Dassault Aviation Programme d'Étude Amont Mesure de la compléxité (marché n?00-34-007), Eclipse: Building Commercial-Quality Plug-ins, 2004.

C. Et-mendelzon-]-consens, M. P. Et-mendelzon, and A. O. , GraphLog: a visual formalism for real life recursion, Proc. of the ACM Symp. on Principles of Database Systems, pp.404-416, 1990.

F. Costa, Combining meta-information management and reflection in an architecture for configurable and reconfigurable middleware, 2001.

. Costello, . Liu, R. J. Costello, and D. Et-liu, Metrics for requirements engineering, Journal of Systems and Software, vol.29, issue.1, pp.39-63, 1995.
DOI : 10.1016/0164-1212(94)00127-9

. Davis, Identifying and measuring quality in a software requirements specification, [1993] Proceedings First International Software Metrics Symposium, 1993.
DOI : 10.1109/METRIC.1993.263792

L. De, J. Vangheluwe-]-de-lara, and H. Et-vangheluwe, Atom3: A tool for multi-formalism and meta-modelling, Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE'02), pp.174-188, 2002.

D. Et-ducasse-]-demeyer, S. Et-ducasse, and S. , Metrics, do they really help, Proceedings of LMO'99, pp.69-82, 1999.

. Demeyer, Famix 2.1 -the famoos information exchange model The humble programmer, Commun. ACM, vol.15, pp.859-866, 1972.

B. P. Douglass, Computing model complexity. White paper, I-Logix, 2004.

D. Et-gîrba-]-ducasse, S. Et-gîrba, and T. , Using Smalltalk as a reflective executable meta-language, International Conference on Model Driven Engineering Languages and Systems, pp.604-618, 2006.

. Ducasse, Metaenvironment and executable meta-language using smalltalk: an experience report, Journal of Software and Systems Modeling (SOSYM), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00746255

. Dufour, Dynamic metrics for java, Proceedings of the ACM SIGPLAN 2003 Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPS- LA'03), pp.149-168, 2003.

. Eichberg, QScope: an open, extensible framework for measuring software projects, Conference on Software Maintenance and Reengineering (CSMR'06), 2006.
DOI : 10.1109/CSMR.2006.42

J. A. Estefan, Survey of model-based systems engineering (MBSE) methodologies, 2007.

J. R. Cordy, R. Lämmel, and A. Winter, Megamodelling and etymology, Transformation Techniques in Software Engineering, number 05161 in Dagstuhl Seminar Proceedings. Internationales Begegnungs-und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, 2006.

. Feiler, The architecture analysis and design language (aadl): An introduction, 2006.

N. E. Fenton, Software Metrics: A Rigorous Approach, 1991.
DOI : 10.1201/b17461

N. Fenton, N. E. Fenton, and M. Neil, A critique of software defect prediction models, IEEE Transactions on Software Engineering, vol.25, issue.5, pp.675-689, 1999.
DOI : 10.1109/32.815326

E. Ferneley, An empirical study of coupling and control flow metrics. Information and Software Technology, pp.39879-887, 1997.

F. , R. France, R. Et-rumpe, and B. , Model-driven development of complex software: A research roadmap, Future of Software Engineering (FOSE'07), pp.37-54, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00511368

H. Frigg, R. Frigg, and S. Et-hartmann, Models in science, 2006.

. Gamma, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

. Garcia, Definition and Empirical Validation of Metrics for Software Process Models, Proceedings of the International Conference on Product Focused Software Process Improvement (PRO- FES, 2004.
DOI : 10.1007/978-3-540-24659-6_11

. Garcìa, Towards a consistent terminology for software measurement, Information and Software Technology, vol.48, issue.8, pp.48631-644, 2006.
DOI : 10.1016/j.infsof.2005.07.001

. Genero, Defining and validating metrics for uml statechart diagrams, Proceedings of QAOOSE, 2002.

. Genero, Early measures for UML class diagrams, pp.489-505, 2000.

. Genero, Empirical validation of class diagram metrics, Proceedings International Symposium on Empirical Software Engineering, p.195, 2002.
DOI : 10.1109/ISESE.2002.1166940

. Genero, A Survey of Metrics for UML Class Diagrams., The Journal of Object Technology, vol.4, issue.9, pp.59-92, 2005.
DOI : 10.5381/jot.2005.4.9.a1

. Gill, . Grover, N. S. Gill, and P. S. Grover, Component-based measurement, ACM SIGSOFT Software Engineering Notes, vol.28, issue.6, pp.284-288, 2003.
DOI : 10.1145/966221.966237

R. B. Grady, Practical software metrics for project management and process improvement, 1992.

G. Granger, La science ou les sciences, 1993.

. Guerra, Visual specification of measurements and redesigns for domain specific visual languages, Journal of Visual Languages & Computing, vol.19, issue.3, pp.1-27, 2007.
DOI : 10.1016/j.jvlc.2007.09.002

. Guerra, Visual Specification of Metrics for Domain Specific Visual Languages, Graph Transformation and Visual Modeling Techniques (GT-VMT, 2006.
DOI : 10.1016/j.entcs.2008.04.033

. Hammer, Requirement metrics-value added, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering, pp.141-142, 1997.
DOI : 10.1109/ISRE.1997.566853

R. Harel, D. Harel, and B. Et-rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, pp.64-72, 2004.
DOI : 10.1109/MC.2004.172

. Harmer, . Wilkie, T. J. Harmer, and F. G. Et-wilkie, An extensible metrics extraction environment for object-oriented programming languages, Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation, 2002.
DOI : 10.1109/SCAM.2002.1134102

H. Henderson-sellers and B. , Object-Oriented Metrics, measures of complexity, 1996.

. Henderson-sellers, Sizing Use Cases: How to Create a Standard Metrical Approach, Proceedings of the 8th International Conference on Object-Oriented Information Systems (OOIS '02), pp.409-421, 2002.
DOI : 10.1007/3-540-46102-7_43

H. Henry, S. Et-kafura, and D. , Software Structure Metrics Based on Information Flow, IEEE Transactions on Software Engineering, vol.7, issue.5, pp.510-518, 1981.
DOI : 10.1109/TSE.1981.231113

. Hitz, . Montazeri, M. Hitz, and B. Et-montazeri, Chidamber and Kemerer's metrics suite: a measurement theory perspective, IEEE Transactions on Software Engineering, vol.22, issue.4, pp.267-271, 1996.
DOI : 10.1109/32.491650

. Ince, Principles of Integrated Maritime Surveillance Systems, 2000.
DOI : 10.1007/978-1-4615-5271-0

/. Iso and . Iec, ISO/IEC 9126, 2001.

C. Jones, Applied software measurement: assuring productivity and quality, 1991.

J. Et-bézivin-]-jouault, F. Et-bézivin, and J. , Km3: a dsl for metamodel specification, Proceedings of the 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, 2006.

J. Et-kurtev-]-jouault, F. Et-kurtev, and I. , Transforming models with ATL, Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005. Workshop Model Transformations in Practice, part of the MoDELS 2005 Conference, 2005.

J. Jézéquel, Model driven design and aspect weaving, Software & Systems Modeling, vol.33, issue.4, pp.209-218, 2008.
DOI : 10.1007/s10270-008-0080-5

. Kamata, . Tamai, M. I. Kamata, and T. Et-tamai, How Does Requirements Quality Relate to Project Success or Failure?, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.69-78, 2007.
DOI : 10.1109/RE.2007.31

S. H. Kan, Metrics and Models in Software Quality Engineering, 1995.

H. Kastenberg, Software metrics as class graph properties, 2004.

S. Kent, Model Driven Engineering, Proceedings of the Third International Conference Integrated Formal Methods, 2002.
DOI : 10.1007/3-540-47884-1_16

K. Et-munson-]-khoshgoftaar, T. Et-munson, and J. , The lines of code metric as a predictor of program faults: A critical analysis, Proceedings of the Computer Software and Applications Conference, pp.408-413, 1990.

. Kiczales, The Art of the Metaobject Protocol, 1991.

. Kieburtz, A software engineering experiment in software component generation, Proceedings of IEEE 18th International Conference on Software Engineering, pp.542-552, 1996.
DOI : 10.1109/ICSE.1996.493448

K. Kim, H. Et-boldyreff, and C. Kitchenham, Developing software metrics applicable to UML models Modeling software measurement data, Proceedings of QAOOSE'2002, pp.788-804, 2001.

. Kitchenham, An evaluation of some design metrics, Software Engineering Journal, vol.5, issue.1, pp.50-58, 1990.
DOI : 10.1049/sej.1990.0007

C. Kolde, Basic metrics for requirements management, 2004.

. Krantz, Foundations of measurement, 1971.

T. Kuehne, Matters of (meta-) modeling. Software and System Modeling, pp.369-385, 2006.

. Lalonde, . Pugh, W. R. Lalonde, and J. R. Et-pugh, Gathering metric information using metalevel facilities, JOOP, vol.7, issue.1, pp.33-37, 1994.

L. Et-ducasse-]-lanza, M. Et-ducasse, and S. , Beyond language independent object-oriented metrics: Model independent metrics, Proceedings of the 6th International Workshop on Quantitative Approaches in Object-Oriented Software Engineering, pp.77-84, 2002.

L. Et-agostini-]-lavazza, L. Et-agostini, and A. , Automated Measurement of UML Models: an open toolset approach., The Journal of Object Technology, vol.4, issue.4, pp.115-134, 2005.
DOI : 10.5381/jot.2005.4.4.a2

. Ledeczi, The generic modeling environment, Proceedings of the Workshop on Intelligent Signal Processing, 2001.

M. Lehman, Models and modelling in software engineering, Encyclopaedia of Software Engineering, pp.698-702, 1994.

. Lethbridge, The Dagstuhl Middle Metamodel: A Schema For Reverse Engineering, Electronic Notes in Theoretical Computer Science, vol.94, pp.7-18, 2004.
DOI : 10.1016/j.entcs.2004.01.008

. Lewerentz, . Simon, C. Lewerentz, and F. Et-simon, A product metrics tool integrated into a software development environment, Proceedings of the Workshop on Object-Oriented Technology at ECOOP'98, 1998.

B. Lo, Syntactical construct based apar projection, 1992.

A. Loconsole, Measuring the requirements management key process area, Proceedings of the 12th European Software Control and Metrics Conference, 2001.

L. Mahmood, S. Mahmood, and R. Lai, Measuring the Complexity of a UML Component Specification, Fifth International Conference on Quality Software (QSIC'05), pp.150-160, 2005.
DOI : 10.1109/QSIC.2005.39

M. Marchesi, OOA metrics for the Unified Modeling Language, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering, p.67, 1998.
DOI : 10.1109/CSMR.1998.665739

. Marinescu, Towards a Simplified Implementation of Object-Oriented Design Metrics, 11th IEEE International Software Metrics Symposium (METRICS'05), p.11, 2005.
DOI : 10.1109/METRICS.2005.48

R. C. Martin, Design principles and design patterns, 2000.

. Mccabe, A Complexity Measure, IEEE Transactions on Software Engineering, vol.2, issue.4, pp.308-320, 1976.
DOI : 10.1109/TSE.1976.233837

. Mcquillan, J. Power-]-mcquillan, and J. Et-power, Towards the reusability of software metrics definitions at the meta level, Proceedings of the ECOOP'2006 Doctoral Symposium, 2006.

. Mcquillan, J. A. Power-]-mcquillan, and J. F. Et-power, Experiences of using the Dagstuhl Middle Metamodel for defining software metrics, Proceedings of the 4th international symposium on Principles and practice of programming in Java , PPPJ '06, 2006.
DOI : 10.1145/1168054.1168082

. Mellor, Model-driven development - Guest editor's introduction, IEEE Software, vol.20, issue.5, pp.14-18, 2003.
DOI : 10.1109/MS.2003.1231145

. Mendelzon, A. Sametinger-]-mendelzon, and J. Et-sametinger, Reverse engineering by visualizing and querying. Software -Concepts and Tools, pp.170-182, 1995.

M. Et-lanza-]-mens, T. Et-lanza, and M. , A Graph-Based Metamodel for Object-Oriented Software Metrics, Electronic Notes in Theoretical Computer Science, vol.72, issue.2, pp.57-68, 2002.
DOI : 10.1016/S1571-0661(05)80529-8

G. Mettala, E. Mettala, and M. H. Graham, The domain specific software architecture program, 1992.

. Miller, . Mukerji, J. Miller, and J. Et-mukerji, Mda guide version 1.0.1, 2003.

. Misic, . Moser, V. B. Misic, and S. Et-moser, From formal metamodels to metrics: an object-oriented approach, Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240), p.330, 1997.
DOI : 10.1109/TOOLS.1997.713560

F. Moisiadis, The fundamentals of prioritising requirements, Proceedings of the Systems Engineering, Test and Evaluation Conference, 2002.

. Monperrus, Counts count, Proceedings of the 2nd Workshop on Model Size Metrics (MSM'07) co-located with MODELS, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477563

. Monperrus, Model-Driven Simulation of a Maritime Surveillance System, Proceedings of the 4th European Conference on Model Driven Architecture Foundations and Applications, 2008.
DOI : 10.1007/978-3-540-69100-6_25

URL : https://hal.archives-ouvertes.fr/inria-00456481

. Monperrus, Measuring Models, Model-Driven Software Development: Integrating Quality Assurance. IDEA Group, 2008.
DOI : 10.4018/978-1-60566-006-6.ch007

. Monperrus, Model-driven engineering metrics for real time systems, Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456482

. Monperrus, A Model-Driven Measurement Approach, Proceedings of the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems, 2008.
DOI : 10.1007/978-3-540-87875-9_36

URL : https://hal.archives-ouvertes.fr/inria-00456483

. Mora, Software measurement by using qvt transformations in an mda context, Proceedings of the International Conference on Enterprise Information Systems, 2008.

S. Morgenthaler, Introduction à la statistique, 2007.

N. Mouloud, Modèle, 2006.

. Muller, Weaving Executability into Object-Oriented Meta-languages, Proceedings of MO- DELS, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

. Müller, . Simmons, A. Müller, and G. Simmons, Exception handling: Common problems and best practice with java 1.4, Proceedings of Net.ObjectDays, 2002.

. Nakatani, A requirements description metamodel for use cases, Proceedings Eighth Asia-Pacific Software Engineering Conference, p.251, 2001.
DOI : 10.1109/APSEC.2001.991485

H. Narasimhan, V. L. Narasimhan, and B. Et-hendradjaya, Component integration metrics, Proceedings of the International Conference on Software Engineering Research and Practice, 2004.

S. Nasa and . Program, Software measurement guidebook, 1995.

. Nebut, Requirements by contracts allow automated system testing, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., p.85, 2003.
DOI : 10.1109/ISSRE.2003.1251033

URL : https://hal.archives-ouvertes.fr/hal-00794812

I. Ogren, On principles for model-based systems engineering, Systems Engineering, vol.3, issue.1, pp.38-49, 2000.
DOI : 10.1002/(SICI)1520-6858(2000)3:1<38::AID-SYS3>3.0.CO;2-B

K. Park, S. J. Park, and H. D. Kim, Constraint-based metaview approach for modeling environment generation, Decision Support Systems, vol.9, issue.4, pp.325-348, 1993.
DOI : 10.1016/0167-9236(93)90045-5

. Paulk, Key practices of the capability maturity model, 1993.

. Pawlak, Spoon, Proceedings of the 1st workshop on Aspect oriented middleware development , AOMD '05, 2006.
DOI : 10.1145/1101560.1101566

URL : https://hal.archives-ouvertes.fr/inria-00071366

P. Et-dedene-]-poels, G. Et-dedene, and G. , Distance-based software measurement: necessary and sufficient properties for software measures, Information and Software Technology, vol.42, issue.1, pp.35-46, 2000.
DOI : 10.1016/S0950-5849(99)00053-1

R. Reissing, Towards a model for object-oriented design measurement, ECOOP'01 Workshop QAOOSE, 2001.

N. Revault, Principes de méta-modélisation pour l'utilisation de canevas d'applications à objets (MétaGen et les frameworks), et M. Curie (Paris 6), 1996.

. Reynoso, Measuring ocl expressions: a "tracing"-based approach, Proceedings of QAOOSE'2003, 2003.

J. Rothenberg, The nature of modeling, 1989.

M. Saeki, Embedding Metrics into Information Systems Development Methods: An Application of Method Engineering Technique, CAiSE, pp.374-389, 2003.
DOI : 10.1007/3-540-45017-3_26

. Saeki, . Kaiya, M. Saeki, and H. Et-kaiya, Model metrics and metrics of model transformation, Proc. of 1st Workshop on Quality in Modeling, pp.31-45, 2006.

D. C. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58

. Schmietendorf, Metrics based asset assessment, ACM SIGSOFT Software Engineering Notes, vol.25, issue.4, pp.51-61, 2000.
DOI : 10.1145/352342.352347

N. F. Schneidewind, Methodology for validating software metrics, IEEE Transactions on Software Engineering, vol.18, issue.5, pp.410-422, 1992.
DOI : 10.1109/32.135774

E. Seidewitz, What models mean, IEEE Software, vol.20, issue.5, pp.26-32, 2003.
DOI : 10.1109/MS.2003.1231147

B. Selic, The pragmatics of model-driven development, IEEE Software, vol.20, issue.5, pp.19-25, 2003.
DOI : 10.1109/MS.2003.1231146

. Singh, A systematic approach to measure the problem complexity of software requirement specifications of an information system, Information and Management Sciences, vol.15, pp.69-90, 2004.

S. A. Smacchia and S. A. Smacchia, Code query language 1.5 specification, 2006.

R. Soley, Model driven architecture, 2000.

. Solheim, Model-driven visual requirements engineering, 13th IEEE International Conference on Requirements Engineering (RE'05), pp.421-428, 2005.
DOI : 10.1109/RE.2005.41

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Spector, A. Spector, and D. Gifford, A computer science perspective of bridge design, Communications of the ACM, vol.29, issue.4, pp.267-283, 1986.
DOI : 10.1145/5684.6327

. Sztipanovits, . Karsai, J. Sztipanovits, and G. Et-karsai, Model-integrated computing, Computer, vol.30, issue.4, pp.110-111, 1997.
DOI : 10.1109/2.585163

C. Szyperski, Component Software, 1998.

. Tichelaar, . Demeyer, S. Tichelaar, and S. Et-demeyer, An exchange model for reengineering tools, Proceedings of the Workshop on Object-Oriented Technology at ECOOP'98, pp.82-84, 1998.

J. Tolvanen, Incremental Method Engineering with Modeling Tools: Theoretical Principles and Empirical Evidence, 1998.

. Van-deursen, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.
DOI : 10.1145/352029.352035

. Vépa, Measuring model repositories, Proceedings of the 1st Workshop on Model Size Metrics (MSM'06) co-located with MoDELS, 2006.

F. Waismann, Ludwig Wittgenstein and the Vienna Circle, 1983.

W. Et-kleppe-]-warmer, J. Et-kleppe, and A. , The Object Constraint Language: Getting Your Models Ready for MDA, 2003.

. Washizaki, A metrics suite for measuring reusability of software components, Proceedings. 5th International Workshop on Enterprise Networking and Computing in Healthcare Industry (IEEE Cat. No.03EX717), p.211, 2003.
DOI : 10.1109/METRIC.2003.1232469

. Weil, Model size metrics research in motorola, Proceedings of the Model Size Metrics workshop at Models, 2006.

K. P. White, Model theory, McGraw-Hill Encyclopedia of Science and Technology, 2000.

C. Withrow, Error density and size in Ada software, IEEE Software, vol.7, issue.1, pp.26-30, 1990.
DOI : 10.1109/52.43046

L. Wittgenstein, Philosophical Remarks, 1975.

. Yu-ying, Dynamic fan-in and fan-out metrics for program comprehension, Journal of Shanghai University, vol.11, issue.5, pp.474-479, 2007.

H. Zuse, Software Complexity, 1991.