Title :
AVSS 2011 demo session: Interactive person-retrieval in a distributed camera network
Author :
Bauml, Martin ; Stiefelhagen, Rainer
Author_Institution :
Institute for Anthropomatics, Karlsruhe Institute of Technology, Adenauerring 2, 76137, Germany
fDate :
Aug. 30 2011-Sept. 2 2011
Abstract :
Summary form only given. Two fundamental pillars of Software Engineering practice are formalism and structure. Formalism allows engineers to reason rigorously about the system in hand; structure allows them to understand its purposes and behaviours. In the constructive activity of system development structure must therefore take precedence. The central role of formalism is to check and verify — or, where necessary, correct — the products of more informal modes of thought. In this talk these ideas are explored in the context of an illustrative system. The large structure of the system functionality is discussed, together with the nature of the components of that structure. Informal criteria of functional simplicity are presented. The inescapable mismatch between an intelligible functional structure and implementable software architecture is exposed. The role of formalism in these concerns is suggested.
Conference_Titel :
Advanced Video and Signal-Based Surveillance (AVSS), 2011 8th IEEE International Conference on
Conference_Location :
Klagenfurt
Print_ISBN :
978-1-4577-0844-2
Electronic_ISBN :
978-1-4577-0843-5
DOI :
10.1109/AVSS.2011.6027399