A Brazilian survey on UML and model-driven practices for embedded software development, Journal of Systems and Software, vol.86, issue.4, pp.997-1005, 2013. ,
DOI : 10.1016/j.jss.2012.11.023
Concern-Oriented Software Design, MODELS 2013, pp.604-621, 2013. ,
DOI : 10.1007/978-3-642-41533-3_37
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft, IFM 2004, pp.1-20, 2004. ,
DOI : 10.1007/978-3-540-24756-2_1
Death by UML Fever, Queue, vol.2, issue.1, pp.72-80, 2004. ,
DOI : 10.1145/984458.984495
The evaluation of large, complex UML analysis and design models, Proceedings. 26th International Conference on Software Engineering, 2004. ,
DOI : 10.1109/ICSE.2004.1317445
A UML-based approach to system testing, UML 2001, pp.194-208, 2001. ,
Impact analysis and change management of UML models, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings., 2003. ,
DOI : 10.1109/ICSM.2003.1235428
Generating Visualizations of Enterprise Architectures using Model Transformations . Enterprise Modelling and Information Systems Arch, pp.3-13, 2007. ,
Model driven engineering is not cool, 2012. ,
Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report)????, MoDELS 2005, pp.324-338, 2005. ,
DOI : 10.1007/11557432_24
Introducing simulation and model animation in the mdetopcased toolkit, 4th European Congress Embedded Real Time Software, 2008. ,
Domain-specific development with visual studio DSL tools, 2007. ,
Design Thinking: Understanding How Designers Think and Work, 2011. ,
Classification of model transformation approaches, 2nd OOPSLA Wksh. on Generative Techniques in the Context of the MDA, 2003. ,
Model-based testing in practice, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.21-285, 1999. ,
DOI : 10.1145/302405.302640
A survey on model-based testing approaches: a systematic review, In: Wksh. on Empirical Assessment of Softw. Eng. Lang. and Techn, pp.31-36, 2007. ,
How UML is used, Communications of the ACM, vol.49, issue.5, pp.109-113, 2006. ,
DOI : 10.1145/1125944.1125949
Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies, MODELS 2013, pp.639-655, 2013. ,
DOI : 10.1007/978-3-642-41533-3_39
Model-driven development of complex software: A research roadmap . In: Future of Software Engineering, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00511368
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems, MoDELS 2006, pp.707-721, 2006. ,
DOI : 10.1007/11880240_49
Does UML make the grade? Insights from the software development community, Information and Software Technology, vol.47, issue.6, pp.383-397, 2005. ,
DOI : 10.1016/j.infsof.2004.09.005
Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, pp.120-129, 2011. ,
DOI : 10.1109/ECBS.2011.22
A Survey of Triple Graph Grammar Tools, Electronic Communications of the EASST, vol.57, pp.1-17, 2013. ,
Model-driven engineering practices in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.633-642, 2011. ,
DOI : 10.1145/1985793.1985882
Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-480, 2011. ,
DOI : 10.1145/1985793.1985858
Data Stores, Data Warehousing, and the Zachman Framework: Managing Enterprise Knowledge, 1997. ,
Model driven language engineering with Kermeta, GTTSE 2009, pp.201-221, 2011. ,
Verification of embedded system's specification using collaborative simulation of SysML and simulink models, 2009 International Conference on Model-Based Systems Engineering, pp.21-28, 2009. ,
DOI : 10.1109/MBSE.2009.5031716
Eclipse development tools for epsilon, Eclipse Summit Europe, Eclipse Modeling Symposium, 2006. ,
State of the Art of QVT: A Model Transformation Language Standard, AGTIVE 2007, pp.377-393, 2008. ,
DOI : 10.1016/0306-4379(94)90024-8
Composing domain-specific design environments, Computer, vol.34, issue.11, pp.44-51, 2001. ,
DOI : 10.1109/2.963443
Formalising UML State Machines for Model Checking, UML 1999, pp.430-444, 1999. ,
DOI : 10.1007/3-540-46852-8_31
USE: A UML-based specification environment for validating UML and OCL, Science of Computer Programming, vol.69, issue.1, pp.27-34, 2007. ,
Psychological Requirements for Software Engineers: A Reverse Engineering Approach, IEEE C3SEE, pp.137-146, 2004. ,
A general framework for formalizing UML with formal languages, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, pp.23-433, 2001. ,
DOI : 10.1109/ICSE.2001.919116
Where Is the Proof? - A Review of Experiences from Applying MDE in Industry, ECMDA-FA 2008, pp.432-443, 2008. ,
DOI : 10.1007/978-3-540-69100-6_31
Towards a model transformation intent catalog In: First Workshop on the Analysis of Model Transformations, pp.3-8, 2012. ,
A survey into the rigor of UML use and its perceived impact on quality and productivity, Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, ESEM '08, pp.90-99, 2008. ,
DOI : 10.1145/1414004.1414020
Generating Tests from UML Specifications, UML 1999, pp.416-429, 1999. ,
DOI : 10.1007/3-540-46852-8_30
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.2771
Proactive modeling, Proceedings of the 2012 workshop on Domain-specific modeling, DSM '12, pp.7-12, 2012. ,
DOI : 10.1145/2420918.2420921
UML in practice, 2013 35th International Conference on Software Engineering (ICSE), pp.722-731, 2013. ,
DOI : 10.1109/ICSE.2013.6606618
On better understanding UML diagrams through interactive three-dimensional visualization and animation, Proceedings of the working conference on Advanced visual interfaces , AVI '00, 2000. ,
DOI : 10.1145/345513.345358
ARIS Architecture and Reference Models for Business Process Management, Process Management, pp.376-389, 2000. ,
DOI : 10.1007/978-3-642-58663-7_38
Reactive animation: Realistic modeling of complex dynamic systems, Computer, vol.38, issue.1, pp.38-47, 2005. ,
Assessing software design skills and their relation with reasoning skills, 2013. ,
A taxonomy of model-based testing approaches, Software Testing, Verification and Reliability, vol.30, issue.4, pp.297-312, 2006. ,
DOI : 10.1002/stvr.456
URL : https://hal.archives-ouvertes.fr/hal-00940611
Workflow Management: Models, Methods, and Systems, 2002. ,
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?, MODELS 2013, pp.1-17, 2013. ,
DOI : 10.1007/978-3-642-41533-3_1
The State of Practice in Model-Driven Engineering, IEEE Software, vol.31, issue.3, pp.79-85, 2014. ,
DOI : 10.1109/MS.2013.65
Measuring the effort for creating and using domain-specific models, Proceedings of the 10th Workshop on Domain-Specific Modeling, DSM '10, p.14, 2010. ,
DOI : 10.1145/2060329.2060360