UML Consistency Rules Conferences

authors

• Torre, Damiano
• Labiche, Yvan
• Genero, Marcela
• Elaasar, Maged
• Menghi, Claudio

status

• published 

publication date

• October 7, 2020

published in

• Proceedings of the 8th International Conference on Formal Methods in Software Engineering  Journal

presented at event

• FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering  Conference

keywords

• BENCHMARK
• Benchmark
• Case Study
• DETERMINATENESS
• Model Checking
• OCL
• OCL ENGINE ACCURACY
• Open-source models
• UML consistency rules
• VERIFICATION

Digital Object Identifier (DOI)

• 10.1145/3372020.3391554

start page

• 130

end page

• 140