TY - JOUR AU - Rauterberg, Matthias AU - Alders, Michel AU - Haakma, Reinder PY - 2007 DA - 2007// TI - How to Improve the Production Process for interactive TV with semi-formal Methods JO - JVRB - Journal of Virtual Reality and Broadcasting VL - 4(2007) IS - 8 KW - Interactive TV KW - User Interface Design AB - The central question for this paper is how to improve the production process by closing the gap between industrial designers and software engineers of television(TV)-based User Interfaces (UI) in an industrial environment. Software engineers are highly interested whether one UI design can be converted into several fully functional UIs for TV products with different screen properties. The aim of the software engineers is to apply automatic layout and scaling in order to speed up and improve the production process. However, the question is whether a UI design lends itself for such automatic layout and scaling. This is investigated by analysing a prototype UI design done by industrial designers. In a first requirements study, industrial designers had created meta-annotations on top of their UI design in order to disclose their design rationale for discussions with software engineers. In a second study, five (out of ten) industrial designers assessed the potential of four different meta-annotation approaches. The question was which annotation method industrial designers would prefer and whether it could satisfy the technical requirements of the software engineering process. One main result is that the industrial designers preferred the method they were already familiar with, which therefore seems to be the most effective one although the main objective of automatic layout and scaling could still not be achieved. SN - 1860-2037 UR - http://nbn-resolving.de/urn:nbn:de:0009-6-8006 DO - 10.20385/1860-2037/4.2007.8 ID - rauterberg2007 ER -