An empirical study of the impact of OCL smells and refactorings on the understandability of OCL specifications

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

Volumn 4735 LNCS, Issue , 2007, Pages 76-90

  Correa, Alexandre ^a   Werner, Cláudia ^a   Barros, Márcio ^b  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b STATE UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONSTRAINT THEORY; MATHEMATICAL MODELS; METADATA;

OCL EXPRESSIONS; SOFTWARE QUALITY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 38049047965     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75209-7_6     Document Type: Conference Paper

References (17)

1. OMG: Model Driven Architecture (MDA) Guide, document number omg/2003-06-01 - (June 2003)
2. Warmer, J., Kleppe, A.: The Object Constraint Language - Getting Your Models Ready for MDA. Addison-Wesley, Reading (2003)
3. OMG: MOF QVT Final Adopted Specification. Document ptc/05-11-01 - (November 2005)
4. Woodcock, J., Davis, J.: Using Z. Specification, Refinement and Proof. Prentice-Hall, Englewood Cliffs (1996)
5. Jones, C.B.: Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs (1989)
6. Correa, A., Werner, C.: Applying Refactoring Techniques to UML/OCL Models. In: Baar, T., Moreira, A., Strohmeier, A., Mellor, S. (eds.) UML 2004. LNCS, vol. 3273, pp. 173-187. Springer, Heidelberg (2004)
7. Correa, A., Werner, C.: Refactoring Object Constraint Language Specifications. In: Journal of Software and Systems Modeling (SoSyM), Springer, Heidelberg (2006)
8. OMG: Unified Modeling Language (UML) Infrastructure Specification, version 2.0, Object Management Group, ptc/03-09-15 (2003)
9. OMG: Unified Modeling Language (UML) Superstructure Specification, version 2.0, Object Management Group, ptc/03-08-02 (2003)
10. Roberts, D.B.: Practical Analysis for Refactoring. PhD thesis, University of Illnois at Urbana-Champaign (1999)
11. Mens, T., Tourwe, T.: A Survey of Software Refactoring. IEEE Transactions on Software Engineering 30(2), 126-139 (2004)
12. th International Conference on Software & Systems Engineering and their Applications (2006)
13. Kataoka, Y., Imai, T., Andou, H., Fukaya, T.: A Quantitative Evaluation of Maintainability Enhancement by Refactoring. In: Proceedings of the International Conference on Software Maintainance (ICSM), Montreal, Canada (2002)
14. Wohlin, C., Runeson, P., Host, M., Ohlsson, M.C., Regnell, B., Wesslen, A.: Experimentation in Software Engineering - An Introduction. Kluwer, Dordrecht (2000)
15. Finney, K., Fenton, N., Fedorec, A.: Effects of structure on the comprehensibility of formal specifications. IEE Proceedings - Software 146(4), 193-202 (1999)
16. Briand, L., Labiche, Y., Penta, M., et al.: An Experimental Investigation of Formality in UML-Based Development. IEEE Transactions on Software Engineering 31(10), 833-849 (2005)
17. Snook, C., Harrison, R.: Experimental Comparison of the Comprehensibility of a Z Specification and its Implementation. In: Proceedings of the Conference on Empirical Assessment in Software Engineering - EASE 01, England (April 2001)