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. ,
A classification system for visual programming languages, Journal of Visual Languages & Computing, vol.5, pp.287-300, 1994. ,
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
Lewis, éditeurs. Visual object-oriented programming : concepts and environments, 1995. ,
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
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
ChemTrains: a language for creating behaving pictures, Proceedings 1993 IEEE Symposium on Visual Languages, pp.188-195, 1993. ,
DOI : 10.1109/VL.1993.269595
InVeSt : A tool for the verification of invariants, CAV'98 : Computer Aided Verification, pp.505-510, 1998. ,
DOI : 10.1007/BFb0028771
Visual programming -guest editors' introduction, IEEE Computer, vol.28, issue.3, pp.14-16, 1995. ,
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
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
The unified modeling language user guide, J. Database Manag, vol.10, issue.4, pp.51-52, 1999. ,
Sus-a quick and dirty usability scale Usability Evaluation in Industry, 1996. ,
Brooks : A robust layered control system for a mobile robot Robotics and Automation, IEEE Journal, vol.2, issue.1, pp.14-23, 2003. ,
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. ,
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
Web service definition language (wsdl) Rapport technique, World Wide Web Consortium, 2001. ,
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
Generative Programming, 2000. ,
DOI : 10.1007/3-540-36208-8_2
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. ,
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
Mobile ambients, Theoretical Computer Science, vol.240, issue.1, pp.177-213, 2000. ,
DOI : 10.1016/S0304-3975(99)00231-5
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
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
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. ,
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
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
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
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. ,
Landay : External representations in ubiquitous computing design and the implications for design tools, DIS'06 : Conference on Designing Interactive Systems, 2006. ,
iCAP : Interactive prototyping of context-aware applications, Pervasive'06 : 4th International Conference on Pervasive Computing, pp.254-271, 2006. ,
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
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
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
Security policies and security models, IEEE Symposium on Security and Privacy, pp.11-20, 1982. ,
North : An open graph visualization system and its applications to software engineering, Softw. Pract. Exper, vol.30, issue.11, pp.1203-1233, 2000. ,
When visual programs are harder to read than textual programs. In Human-Computer Interaction : Tasks and Organisation, pp.167-180, 1992. ,
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
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
Project Aura: toward distraction-free pervasive computing, IEEE Pervasive Computing, vol.1, issue.2, pp.22-31, 2002. ,
DOI : 10.1109/MPRV.2002.1012334
Program analysis as constraint solving, PLDI'08 : Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, pp.281-292, 2008. ,
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
Playing with the Bits" userconfiguration of ubiquitous domestic environments, UbiComp'03 : 5th International Conference on Ubiquitous Computing, pp.256-263 ,
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
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
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
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
Back to the future, ACM SIGPLAN Notices, vol.32, issue.10, pp.318-326, 1997. ,
DOI : 10.1145/263700.263754
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. ,
Lowering the barriers to programming, ACM Computing Surveys, vol.37, issue.2, pp.83-137, 2005. ,
DOI : 10.1145/1089733.1089734
A player/stage system for context-aware intelligent environments, UbiSys '06 : Proceedings of the System Support for Ubiquitous Computing Workshop, pp.1-7, 2006. ,
PICO: A middleware framework for pervasive computing, IEEE Pervasive Computing, vol.2, issue.3, pp.72-79, 2003. ,
DOI : 10.1109/MPRV.2003.1228529
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
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
Specifying Systems : The TLA+ Language and Tools for Hardware and Software Engineers, 2002. ,
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. ,
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
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. ,
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. ,
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
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
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
UbiREAL: Realistic Smartspace Simulator for Systematic Testing, Ubicomp'06 : 8th International Conference on Ubiquitous Computing, pp.459-476, 2006. ,
DOI : 10.1007/11853565_27
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=10.1.1.18.9047
Altaira : A rule-based visual language for small mobile robots, Journal of Visual Languages & Computing, vol.9, issue.2, pp.127-150, 1998. ,
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
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. ,
Agentsheets : a tool for building domain-oriented dynamic , visual environments, Thèse de doctorat, 1993. ,
A middleware infrastructure for active spaces, IEEE Pervasive Computing, vol.1, issue.4, pp.74-8360, 2002. ,
DOI : 10.1109/MPRV.2002.1158281
Les Systèmes Dynamiques Discrets, 2000. ,
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
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. ,
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. ,
Cicchetti : Major psychological assessment instruments chapitre The Vineland Adaptive Behavior Scales, 1989. ,
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. ,
Using pervasive computing to deliver elder care, IEEE Pervasive Computing, vol.1, issue.1, pp.10-13, 2002. ,
DOI : 10.1109/MPRV.2002.993139
Design for cognitive assistance Tennent : The denotational semantics of programming languages, Human Factors and Ergonomics Society Europe Annual Meeting (HFES), pp.437-453, 1976. ,
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. ,
Play : An iconic programming system for children, Visual Languages, pp.191-205, 1986. ,
Domain-specific languages, SIGGRAPH Educators Program, pp.26-36, 2000. ,
DOI : 10.1145/352029.352035
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. ,
Rapid prototyping for pervasive applications, IEEE Pervasive Computing, vol.6, issue.2, pp.76-84, 2007. ,
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