Abstract: Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification ...

Abstract: Unified Modeling Language (UML) diagrams play an important role in the field of engineering, especially software development, due to their advantages such as accuracy and bridging the gap ...

Abstract: Class diagrams may be used as learning resources for the generation of software engineers’ competencies. However, when they are open learning resources, they could lack information about the ...

Abstract: We present the results of two controlled experiments to compare ER and UML class diagrams, in order to find out which of the models provides better support during the comprehension of data ...

Software modeling is a creative activity in which software components and their relationships are identified based on customer requirements. Based on the literature, object-oriented software modeling ...

Abstract: Due to the significant intra-class variance of 3D point clouds, it becomes challenging to characterize prototype features with a small number of instances in few-shot classification. The ...