UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information ...

The problem of assigning a balanced academic curriculum to academic periods of a curriculum, that is, the balancing curricula, represents a traditional challenge for every educational institution which look for a match ...

El principal objetivo de este trabajo es responder si la academia chilena está o no preparada para formar especialistas en Big Data. Además de describir componentes teóricos y prácticos de Big Data junto con introducir una ...