Tomislav Nakic-Alfirevic

Learn More
This paper presents an automated, model based test validation and oracle approach for systems with complex input and output structures, such as Data Acquisition (DAQ) systems, which are common in many sectors including the satellite communications industry. We present a customised modelling methodology for such systems and a tool that automatically(More)
During the last several decades, the keyboard has proved to be the most important computer input device. It was inherited from the mechanical typewriter from whom computer keyboards inherited a suboptimal key layout. Better solutions have been kept out of use by economic pressure. An arguably optimal layout for the English language is the Dvorak layout.(More)
  • 1