M. M. Burnett, J. W. Atwood, R. W. Djang, J. Reichwein, J. Herkimer et al., Forms/3 : A first-order visual language to explore the boundaries of the spreadsheet paradigm, Journal of Functional Programming, vol.11, issue.2, pp.155-206, 2001.

M. Margaret, M. Burnett, and . Baker, A classification system for visual programming languages, Journal of Visual Languages & Computing, vol.5, pp.287-300, 1994.

M. M. Burnett, C. Cook, and G. Rothermel, End-user software engineering, Communications of the ACM, vol.47, issue.9, pp.53-58, 2004.
DOI : 10.1145/1015864.1015889

URL : https://hal.archives-ouvertes.fr/hal-01405092

M. M. Burnett, A. Goldberg, and G. Ted, Lewis, éditeurs. Visual object-oriented programming : concepts and environments, 1995.

J. Bruneau, W. Jouve, and C. Consel, Diasim, a parameterized simulator for pervasive computing applications, Mobiquitous'09 : Proceedings of the 6th International Conference on Mobile and Ubiquitous Systems : Computing , Networking and Services, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00403421

A. Bangor, P. T. Kortum, and J. T. Miller, An Empirical Evaluation of the System Usability Scale, International Journal of Human-Computer Interaction, vol.2, issue.2, pp.574-594, 2008.
DOI : 10.1080/10447310802205776

[. Bell and C. Lewis, ChemTrains: a language for creating behaving pictures, Proceedings 1993 IEEE Symposium on Visual Languages, pp.188-195, 1993.
DOI : 10.1109/VL.1993.269595

[. Bensalem, Y. Lakhnech, and S. Owre, InVeSt : A tool for the verification of invariants, CAV'98 : Computer Aided Verification, pp.505-510, 1998.
DOI : 10.1007/BFb0028771

M. Margaret, D. W. Burnett, and . Mcintyre, Visual programming -guest editors' introduction, IEEE Computer, vol.28, issue.3, pp.14-16, 1995.

[. Benzi, D. Maio, and S. Rizzi, VISIONARY: a Viewpoint-based Visual Language for Querying Relational Databases, Journal of Visual Languages & Computing, vol.10, issue.2, pp.117-145, 1999.
DOI : 10.1006/jvlc.1998.0102

[. Boudol, Atomic actions, Bulletin of the European Association for Theoretical Computer Science (EATCS), vol.38, pp.136-144, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075532

G. Booch, J. E. Rumbaugh, and I. Jacobson, The unified modeling language user guide, J. Database Manag, vol.10, issue.4, pp.51-52, 1999.

J. Brooke, Sus-a quick and dirty usability scale Usability Evaluation in Industry, 1996.

A. Rodney, Brooks : A robust layered control system for a mobile robot Robotics and Automation, IEEE Journal, vol.2, issue.1, pp.14-23, 2003.

[. Cassou and B. Bertran, Nicolas Loriant et Charles Consel : A generative programming approach to developing pervasive computing systems, GPCE '09 : Proceedings of the eighth international conference on Generative programming and component engineering, pp.137-146, 2009.

[. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/inria-00528590

E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, Web service definition language (wsdl) Rapport technique, World Wide Web Consortium, 2001.

K. Cheverst, N. Davies, K. Mitchell, A. Friday, and C. Efstratiou, Developing a context-aware electronic tourist guide, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '00, pp.17-24, 2000.
DOI : 10.1145/332040.332047

[. Czarnecki and U. W. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

. M. Edmund, E. A. Clarke, A. P. Emerson, and . Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languanges and Systems, vol.8, issue.2, pp.244-263, 1986.

T. [. Cordy and . Graham, GVL: a graphical, functional language for the specification of output in programming languages, Proceedings. 1990 International Conference on Computer Languages, pp.11-22, 1990.
DOI : 10.1109/ICCL.1990.63756

[. Cardelli and A. D. Gordon, Mobile ambients, Theoretical Computer Science, vol.240, issue.1, pp.177-213, 2000.
DOI : 10.1016/S0304-3975(99)00231-5

[. Consel and R. Marlet, Architecturing software using a methodology for language development, Proceedings of the 10 th International Symposium on Programming Language Implementation and Logic Programming, number 1490 in Lecture Notes in Computer Science, pp.170-194, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00476073

P. T. Cox, C. C. Risley, and T. J. Smedley, Toward Concrete Representation in Visual Languages for Robot Control, Journal of Visual Languages & Computing, vol.9, issue.2, pp.211-239, 1998.
DOI : 10.1006/jvlc.1998.0077

K. Anind, . Dey, and D. Gregory, Abowd et Daniel Salber : A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Computer Interaction, pp.97-166, 2001.

[. Drey and C. Consel, A visual, open-ended approach to prototyping ubiquitous computing applications, 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), pp.817-819, 2010.
DOI : 10.1109/PERCOMW.2010.5470549

URL : https://hal.archives-ouvertes.fr/inria-00484083

[. Danvy and K. Malmkjaer, Intensions and extensions in a reflective tower, Proceedings of the 1988 ACM conference on LISP and functional programming , LFP '88, pp.327-341, 1988.
DOI : 10.1145/62678.62725

[. Drey, J. Mercadal, and C. Consel, A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications, DSL-WC'09 : Proceedings of the 1st IFIP Working Conference on Domain-Specific Languages, 2009.
DOI : 10.1007/978-3-540-39653-6_20

URL : https://hal.archives-ouvertes.fr/inria-00403590

[. Dotan-et-ron and Y. , Pinter : Hyperflow : An integrated visual query and dataflow language for end-user information analysis, VL/HCC'05 : Proceedings of the IEEE Symposium on Visual Languages and Human Computer Communication, pp.27-34, 2005.

S. Dow, T. Scott-saponas, Y. Li, and A. James, Landay : External representations in ubiquitous computing design and the implications for design tools, DIS'06 : Conference on Designing Interactive Systems, 2006.

K. Anind, T. Dey, S. Sohn, J. Streng, and . Kodama, iCAP : Interactive prototyping of context-aware applications, Pervasive'06 : 4th International Conference on Pervasive Computing, pp.254-271, 2006.

[. Fischer, K. Nakakoji, and Y. Ye, Metadesign: Guidelines for Supporting Domain Experts in Software Development, IEEE Software, vol.26, issue.5, pp.37-44, 2009.
DOI : 10.1109/MS.2009.134

[. Greenberg and B. Buxton, Usability evaluation considered harmful (some of the time), Proceeding of the twenty-sixth annual CHI conference on Human factors in computing systems , CHI '08, pp.111-120, 2008.
DOI : 10.1145/1357054.1357074

J. Gindling, A. Ioannidou, J. Loh, O. Lokkebo, and A. Repenning, LEGOsheets: a rule-based programming, simulation and manipulation environment for the LEGO Programmable Brick, Proceedings of Symposium on Visual Languages, pp.172-179, 1995.
DOI : 10.1109/VL.1995.520806

A. Joseph, J. Goguen, and . Meseguer, Security policies and security models, IEEE Symposium on Security and Privacy, pp.11-20, 1982.

R. Emden, . Gansner, and C. Stephen, North : An open graph visualization system and its applications to software engineering, Softw. Pract. Exper, vol.30, issue.11, pp.1203-1233, 2000.

R. G. Thomas, M. Green, and . Petre, When visual programs are harder to read than textual programs. In Human-Computer Interaction : Tasks and Organisation, pp.167-180, 1992.

M. [. Green and . Petre, Usability Analysis of Visual Programming Environments: A ???Cognitive Dimensions??? Framework, Journal of Visual Languages & Computing, vol.7, issue.2, pp.131-174, 1996.
DOI : 10.1006/jvlc.1996.0009

[. Grimm, One.world: Experiences with a Pervasive Computing Architecture, IEEE Pervasive Computing, vol.03, issue.03, pp.22-30, 2004.
DOI : 10.1109/MPRV.2004.1321024

URL : https://hal.archives-ouvertes.fr/in2p3-00002551

[. Garlan, D. P. Siewiorek, and P. Steenkiste, Project Aura: toward distraction-free pervasive computing, IEEE Pervasive Computing, vol.1, issue.2, pp.22-31, 2002.
DOI : 10.1109/MPRV.2002.1012334

[. Gulwani, S. Srivastava, and R. Venkatesan, Program analysis as constraint solving, PLDI'08 : Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, pp.281-292, 2008.

[. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

A. Humble, T. Crabtree, . Hemmings, . Karl-petter, B. Åkesson et al., Playing with the Bits" userconfiguration of ubiquitous domestic environments, UbiComp'03 : 5th International Conference on Ubiquitous Computing, pp.256-263

A. Harter, A. Hopper, P. Steggles, A. Ward, and P. Webster, The anatomy of a context-aware application, Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking , MobiCom '99, pp.59-68, 1999.
DOI : 10.1145/313451.313476

S. R. Hartmann, M. Klemmer, L. Bernstein, B. Abdulla, A. Burr et al., Reflective physical prototyping through integrated design, test, and analysis, Proceedings of the 19th annual ACM symposium on User interface software and technology, UIST '06, pp.299-308, 2006.
DOI : 10.1145/1166253.1166300

[. Harel and A. Pnueli, On the Development of Reactive Systems, Nato Asi Series F : Computer And Systems Sciences, pp.477-498, 1985.
DOI : 10.1007/978-3-642-82453-1_17

[. Holleis and A. Schmidt, MakeIt: Integrate User Interaction Times in the Design Process of Mobile Applications, Pervasive'08 : Proceedings of the 6th International Conference on Pervasive Computing, pp.56-74, 2008.
DOI : 10.1145/502115.502118

D. Ingalls, T. Kaehler, J. Maloney, S. Wallace, and A. Kay, Back to the future, ACM SIGPLAN Notices, vol.32, issue.10, pp.318-326, 1997.
DOI : 10.1145/263700.263754

[. Ikeda, K. Seta, and R. Mizoguchi, Task ontology makes it easier to use authoring tools, ?CAI'97 : Proceedings of the 15th international joint conference on Artifical intelligence, pp.342-347, 1997.

[. Kelleher and R. Pausch, Lowering the barriers to programming, ACM Computing Surveys, vol.37, issue.2, pp.83-137, 2005.
DOI : 10.1145/1089733.1089734

M. Kranz, R. Bogdan-rusu, A. Maldonado, M. Beetz, and A. Schmidt, A player/stage system for context-aware intelligent environments, UbiSys '06 : Proceedings of the System Support for Ubiquitous Computing Workshop, pp.1-7, 2006.

M. Kumar, B. A. Shirazi, S. K. Das, Y. Byung, D. Sung et al., PICO: A middleware framework for pervasive computing, IEEE Pervasive Computing, vol.2, issue.3, pp.72-79, 2003.
DOI : 10.1109/MPRV.2003.1228529

[. Kranz, W. Spiessl, and A. Schmidt, Designing Ubiquitous Computing Systems for Sports Equipment, Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07), pp.79-86, 2007.
DOI : 10.1109/PERCOM.2007.12

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

]. L. Lam02 and . Lamport, Specifying Systems : The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

A. Lamarca, W. Brunette, D. Koizumi, M. Lease, S. B. Sigurdsson et al., Plantcare : An investigation in practical ubiquitous systems Making sharing pervasive : ubiquitous computing for shared note taking Landay : Topiary : a tool for prototyping location-enhanced applications, UbiComp'02 : 4th International Conference on Ubiquitous Computing UIST'04 : Proceedings of the 17th Symposium on User Interface Software and Technology, pp.316-332531, 1999.

Y. Li and J. A. Landay, Activity-based prototyping of ubicomp applications for long-lived, everyday human activities, Proceeding of the twenty-sixth annual CHI conference on Human factors in computing systems , CHI '08, pp.1303-1312, 2008.
DOI : 10.1145/1357054.1357259

R. James, J. Lewis, and . Sauro, The factor structure of the system usability scale Kodu : end-user programming and design for games, HCD'09 : Proceedings of the 1st International Conference on Human Centered Design FDG '09 : Proceedings of the 4th International Conference on Foundations of Digital Games, pp.94-103, 2009.

M. M. Burnett, html. [McK99] Dorothy McKinney : Impact of commercial off-the-shelf (cots) software on the interface between systems and software engineering, ICSE '99 : Proceedings of the 21st international conference on Software engineering, pp.627-628, 1999.

J. Melton, H. , and A. M. Sloane, SQL language summary, GPCE'08 : Proceedings of the eighth international conference on Generative programming and component engineeringMye91] Brad A. Myers : Graphical techniques in a spreadsheet for specifying user interfaces . In CHI '91 : Proceedings of the SIGCHI conference on Human factors in computing systems, pp.141-143316, 1986.
DOI : 10.1145/234313.234374

M. W. Newman, A. Elliott, and T. F. Smith, Providing an Integrated User Experience of Networked Media, Devices, and Services through End-User Composition, Pervasive'08 : 6th International Conference on Pervasive Computing, pp.213-227, 2008.
DOI : 10.1145/306549.306582

[. Neumann, R. A. Metoyer, and M. M. Burnett, End-user strategy programming, Journal of Visual Languages & Computing, vol.20, issue.1, pp.16-29, 2009.
DOI : 10.1016/j.jvlc.2008.04.005

H. Nishikawa, S. Yamamoto, M. Tamai, K. Nishigaki, T. Kitani et al., UbiREAL: Realistic Smartspace Simulator for Systematic Testing, Ubicomp'06 : 8th International Conference on Ubiquitous Computing, pp.459-476, 2006.
DOI : 10.1007/11853565_27

J. Puigsegur, J. Agusti, and D. Robertson, A visual logic programming language, Proceedings 1996 IEEE Symposium on Visual Languages, 1996.
DOI : 10.1109/VL.1996.545290

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Joseph and . Pfeiffer-jr, Altaira : A rule-based visual language for small mobile robots, Journal of Visual Languages & Computing, vol.9, issue.2, pp.127-150, 1998.

J. Puigsegur, W. M. Schorlemmer, and J. Agustí, From queries to answers in visual logic programming, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180), pp.102-109, 1997.
DOI : 10.1109/VL.1997.626564

A. Ranganathan, H. Roy, . Campbell-shiva-chetan, R. H. Muhtadi, and M. D. Campbell, Provably correct pervasive computing environments Mickunas : Olympus : A high-level programming model for pervasive computing environments, Proceedings of the 6th International Conference on Pervasive Computing and Communications PerCom'05 : Proceedings of the 3rd International Conference on Pervasive Computing and Communications, pp.160-169, 2005.

[. Repenning, Agentsheets : a tool for building domain-oriented dynamic , visual environments, Thèse de doctorat, 1993.

M. Román, C. Hess, R. Cerqueira, R. H. Campbell, and K. Nahrstedt, A middleware infrastructure for active spaces, IEEE Pervasive Computing, vol.1, issue.4, pp.74-8360, 2002.
DOI : 10.1109/MPRV.2002.1158281

[. Robert, Les Systèmes Dynamiques Discrets, 2000.

B. G. Ryder, M. L. Soffa, and M. Burnett, The impact of software engineering research on modern progamming languages, Proceedings of the Workshop on Mobile Computing Systems and Applications, pp.431-477, 1994.
DOI : 10.1145/1101815.1101818

B. Scott, K. G. Steinman, . Carver, C. Greenwich, U. et al., Visual Programming with Prograph CPX Denotational semantics : a methodology for language development Abstract interpretation from a denotational-semantics perspective Spohrer : Kidsim : Programming agents without a programming language, Electronic Notes in Theoretical Computer Science Communications of the ACM, vol.249, issue.377, pp.19-3754, 1986.

C. Nan, D. Shu-stoffler, M. F. Sanner, and A. J. Olson, Visual programming : Perspectives and approaches [Shu06] Boris Shulman : RFID for Patient Flow Management in Emergency Unit Rapport technique, IBM Corporation Viper, a visual programming environment for python, 10th International Python conference, pp.199-221, 1999.

D. V. Sparrow and S. S. , Cicchetti : Major psychological assessment instruments chapitre The Vineland Adaptive Behavior Scales, 1989.

A. Schmidt and L. Terrenghi, Methods and guidelines for the design and development of domestic ubiquitous computing applications, SAC'06 : Proceedings of the 21th Symposium on Applied Computing, pp.1928-1929, 2006.

V. Stanford, Using pervasive computing to deliver elder care, IEEE Pervasive Computing, vol.1, issue.1, pp.10-13, 2002.
DOI : 10.1109/MPRV.2002.993139

A. Svenskten76 and ]. R. , Design for cognitive assistance Tennent : The denotational semantics of programming languages, Human Factors and Ergonomics Society Europe Annual Meeting (HFES), pp.437-453, 1976.

N. Khai, E. M. Truong, . Huang, and D. Gregory, Abowd : CAMP : A magnetic poetry interface for end-user programming of capture applications for the home, UbiComp'04 : 6th International Conference on Ubiquitous Computing, pp.143-160, 2004.

L. Steven, M. S. Tanimoto, and . Runyan, Play : An iconic programming system for children, Visual Languages, pp.191-205, 1986.

A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, SIGGRAPH Educators Program, pp.26-36, 2000.
DOI : 10.1145/352029.352035

A. Williams, User-centered design, activity-centered design, and goaldirected design : a review of three methods for designing web applications, SIGDOC '09 : Proceedings of the 27th ACM international conference on Design of communication, pp.1-8, 2009.

. Wku-+-07-]-torben, M. Weis, A. Knoll, G. Ulbrich, A. Muhl et al., Rapid prototyping for pervasive applications, IEEE Pervasive Computing, vol.6, issue.2, pp.76-84, 2007.

[. Yeh, T. Chang, and R. C. Miller, Sikuli, Proceedings of the 22nd annual ACM symposium on User interface software and technology, UIST '09, pp.183-192, 2009.
DOI : 10.1145/1622176.1622213