Listar por autor "Mayerhofer, Tanja"
Mostrando ítems 1-2 de 2
-
Specifying Quantities in Software Models
Burgueño-Caballero, Lola
; Mayerhofer, Tanja; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesús (2020-06-08)
Context: An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation and processing of physical quantities, comprising ... -
Using Physical Quantities in Robot Software Models
Burgueño-Caballero, Lola; Mayerhofer, Tanja; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesús (2018-05-31)
One of the challenges of modeling any software application that deals with real-world physical systems resides in the correct representation of numerical values and their units. This paper shows how both measurement ...