Entity

Time filter

Source Type

Grenoble, France

Demeure A.,French Institute for Research in Computer Science and Automation | Caffiau S.,French Institute for Research in Computer Science and Automation | Elias E.,Universites Of Grenoble | Roux C.,Universites Of Grenoble
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2015

These last years, several new home automation boxes appeared on the market, the new radio-based protocols facilitating their deployment with respect to previously wired solutions. Coupled with the wider availability of connected objects, these protocols have allowed new users to set up home automation systems by themselves. In this paper, we relate an in situ observational study of these builders in order to understand why and how the smart habitats were developed and used. We led 10 semi-structured interviews in households composed of at least 2 adults and equipped for at least 1 year, and 47 home automation builders answered an online questionnaire at the end of the study. Our study confirms, specifies and exhibits additional insights about usages and means of end-user development in the context of home automation. © Springer International Publishing Switzerland 2015. Source


Du Bousquet L.,Universites Of Grenoble | Ledru Y.,Universites Of Grenoble | Maury O.,Universites Of Grenoble | Oriat C.,Universites Of Grenoble | Lanet J.-L.,University of Limoges
Journal of Automated Reasoning | Year: 2010

Testing and verification are two activities which have the same objective: to ensure software dependability. In the Java context, the Java Modelling Language (JML) has been proposed as specification language. It can be used both for verification and test. Usually, the JML specification is designed with a specific purpose: test or verification. This article addresses the question of reusability of a JML specification provided for one activity (resp. verification or test) in the other context (resp. test or verification). Two different case studies are considered. © 2009 Springer Science+Business Media B.V. Source

Discover hidden collaborations