Boldizsár Németh

  • Citations Per Year
Learn More
The name txtUML stands for textual, executable, translatable UML. It is an Eclipse-based tool built on top of JDT, Xtext/Xbase and Papyrus UML. The tool is designed for textual model editing. This makes storage, version control, compare and merge processes, editing and searching easier and more efficient. The tool supports two textual syntaxes for modeling:(More)
Simulating design models makes early verification of the software’s business logic possible. Model simulators can be implemented using an interpreter, but it provides limited runtime performance. This is only acceptable if the only use case of the tool is interactive model execution and debugging. If the model executor tool is to be used for automated(More)
Functional programming paradigm can be used to build high-level software, especially when combined with a strong type system, like in Haskell. Functions are first-order values in functional languages. Haskell's Lens type generalizes properties (i.e. accessors/mutators) found in other programming languages. However the structure of Lens type prevents using(More)
  • 1