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
• Computer Science
• Computer Science, Software Engineering
• Computer Science, Theory & Methods
• DETERMINATENESS
• Model Checking
• OCL
• OCL ENGINE ACCURACY
• Open-source models
• Science & Technology
• Technology
• UML consistency rules
• VERIFICATION

Digital Object Identifier (DOI)

• 10.1145/3372020.3391554

start page

• 130

end page

• 140