Horacio Hoyos

Learn More
In this paper we demonstrate how diagrams constructed using general-purpose drawing tools in the context of agile language development processes can be annotated and consumed by model management programs (such as simulators, model-to-model and model-to-text transformations). The aim of this work is to enable engineers to engage in programmatic model(More)
The Financial Information eXchange (FIX) protocol is the de facto messaging standard for pre-trade and trade communication in the global equity markets. FIXML, the XML-based specification for FIX, is the subject of one of the case studies for the 2014 Transformation Tool Contest. This paper presents our solution to generate Java, C# and C++ source code to(More)
Verification of functional and non-functional requirements throughout the design process is a cost-effective solution when compared to a build-test validation process. By using a model based design process and by describing system behavior with a formal model, model checking becomes a viable solution to perform requirement verification at early stages of(More)
  • 1