Abstract: Although Object Management Group (OMG) Unified Modeling Language (UML) introduced Object Constraint Language (OCL) to add formalism as constraints in its models, it still lacks formal ...
UPark is a software application developed to optimize the management of parking spaces at Universidad Pontificia Bolivariana – Bucaramanga Campus. It was created as an academic project to apply ...