Oliver Creighton, Ruth Demmel, Harald Stangl, Asa MacWilliams. Video-based requirements engineering for pervasive computing applications: an example of preventing water damage. In Shail Arora, Gary T. Leavens, editors, Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. pages 1061, ACM, 2009. [doi]
Abstract is missing.