Debido a la evolución del mercado financiero, digitalización de las finanzas y el fácil acceso los productos financieros, alfabetización financiera es cada vez más importante. El artículo que nos ocupa presenta partes un entorno aprendizaje para clases matemáticas se centra en modelización matemática financiera. Tras consideraciones teóricas, presentan dos propuestas trabajo tratan sobre influe...

The goal of achieving full interoperability is still not achieved, despite the high number of tools and infrastructures developed. The objective of this article is to present a framework aiming at supporting seamless interoperability in a business collaborative networked environment. An implementation example from the footwear sector validating the framework proposed is also described. 1 INTROD...

Over the last several years the tools used for model checking have become more efficient and usable. This has enabled users to apply model checking to industrial-scale problems, however the task of validating the implementation of the model is usually much harder. In this paper we present an approach to do end to end verification and validation of a real time system using the SPIN model checker...