Modeling OCL Collection Types and Type Casting Using Constraint Programming.

Matthew Coyle Samir Loudni Théo Le Calvar Massimo Tisi Modeling OCL Collection Types and Type Casting Using Constraint Programming. 1428-1435 2025 ICTAI https://doi.org/10.1109/ICTAI66417.2025.00206 conf/ictai/2025 db/conf/ictai/ictai2025.html#CoyleLCT25 streams/conf/ictai