[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-83194-en":3,"doc-seo-83194-105":29,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},83194,1374391974468,"Eden","https://ap-avatar.wpscdn.com/davatar_29158cc5080c5b710cf443261637dec0",6,"Technology","Bringing Robustness to End-User Programming","End-user programming enables non-professional users to create stand-alone interactive applications, yet existing approaches largely focus on usability and expressiveness without addressing software safety. Heavy safety methods from software engineering and formal techniques remain inaccessible to end-users. The work proposes connecting end-user development to expert-driven safe conventional development by starting from an existing functional core and building GenBuild, an interactive environment that supports verification of initial safety-related properties.","Baron, M. et Girard, P. Bringing Robustness to End-User Programming. In Proceedings of 2001 IEEE Symposia on Human-Centric Computing Languages and Environments (September 5-7 2001, Stresa, Italy) ,  \nEntergraphica, 2001, pp. 142-149.  \nBringing Robustness to End-User Programming  \nMickaël Baron, Patrick Girard  \nLaboratoire d’Informatique Scientifique et Industrielle, ENSMA, 1 rue ClémentAder, 86961 Futuroscope Chasseneuil [http://www.lisi.ensma.fr/ihm](http://www.lisi.ensma.fr/ihm)  \n{baron, [girard}@ensma.fr](girard}@ensma.fr)  \nAbstract  \nIn some cases, end-user programming allows the design of stand-alone applications. But none of the existing approaches is concerned by safety aspects of programming. Heavy techniques exist to develop safe applications, particularly in non-interactive domains. They involve software engineering techniques, and sometimes, formal methods. All these techniques are very far from end-users. Our idea is to let this part to experts, and to connect end-user programming onto this safe conventional development. Starting from an existing functional core, we built an interactive end-user programming environment called GenBuild, which allows designing interactive stand-alone applications. GenBuild allows the verification of some properties that are a first step towards the development of safe end-user programming.  \n1. Introduction  \nDevelopment tools used for end-users have expanded rapidly. A lot of research tools, but also some commercial products, allow end-users to develop standalone applications. The main characteristic of \"end-users”in this context is that they do not have programming knowledge. They program occasionally, and this is not the most important part of their activity. They may be experienced computer users, but they are not experienced in conventional programming languages, such as C, Ada, or Java. They may use end-user programming to assume some development tasks, such as Visual programming and Programming by example. They authorize a fast design of application. Moreover, they permit automating repeated tasks[1] .  \nIn fact all these techniques reduce the complexity of interactive application programming, but they do not necessarily ensure the correctness of the resulting applications. Most works on end-user programming focus on expressive power of such techniques, and onintuitivity and simplicity of use for end-users. None of  \nthem, at our knowledge, is concerned with safety aspects of end-user development. Is the resulting program correct? Can we ensure that it gives a right solution? Does it crash? Is it complete?  \nAnswering these questions is very difficult in a general way. Nevertheless, we think that researches on end-user programming must be concerned by giving help to endusers in order to program correct applications.  \nEnd-user programming deals with highly interactive programs. One of the major assumptions of the end-user programming field is that users can do many things with their applications, and end-user programming can be seen as an optimization of interactive application usage. In the Human-Computer Interaction (HCI) field, separating the interface from the functional core is considered as the basis of a good design. If we split the application development into two stages, one for the functional core, and the other for the interactive part, we can consider the second one in the perspective of end-user programming. Our approach is the following. Heavy techniques exist to develop safe applications, particularly in non-interactive domains. They involve software engineering techniques, and sometimes, formal methods. All these techniques are very far from end-users . Our idea is to let this part to experts, and to connect end-user programming onto this safe conventional development. Starting from an existing functional core, we built an interactive end-user programming environment that allow the design of interactive stand alone applications.  \nThe purpose of our contrib","cbCaijR9L5zNDej0","https://ap.wps.com/l/cbCaijR9L5zNDej0","pdf",209722,1,8,"English","en",105,"# Introduction\n## Safety for interactive applications\n## GenBuild and property verification\n## Comparison with related products\n## Perspectives","[{\"question\":\"What problem does the paper target in end-user programming?\",\"answer\":\"It targets the lack of safety consideration in existing end-user programming approaches, which typically optimize for usability and expressiveness rather than correctness or safe behavior.\"},{\"question\":\"How does the proposed approach relate end-user programming to safe development?\",\"answer\":\"It delegates safety-critical development to experts by connecting end-user programming to safe, conventional development based on a functional core, then adding an interactive environment for building applications.\"},{\"question\":\"What is GenBuild and what does it verify?\",\"answer\":\"GenBuild is an interactive end-user programming environment for designing interactive stand-alone applications. It enables verification of some properties as a first step toward safer end-user programming.\"}]",1784185873,20,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":27},"bringing-robustness-to-end-user-programming","",{"@graph":35,"@context":85},[36,53,68],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,47,50],{"item":40,"name":41,"@type":42,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":46},"https://docshare.wps.com/document/","Document",2,{"item":48,"name":12,"@type":42,"position":49},"https://docshare.wps.com/document/technology/",3,{"item":51,"name":13,"@type":42,"position":52},"https://docshare.wps.com/document/bringing-robustness-to-end-user-programming/83194/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":23,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":40,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-17","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What problem does the paper target in end-user programming?","Question",{"text":75,"@type":76},"It targets the lack of safety consideration in existing end-user programming approaches, which typically optimize for usability and expressiveness rather than correctness or safe behavior.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"How does the proposed approach relate end-user programming to safe development?",{"text":80,"@type":76},"It delegates safety-critical development to experts by connecting end-user programming to safe, conventional development based on a functional core, then adding an interactive environment for building applications.",{"name":82,"@type":73,"acceptedAnswer":83},"What is GenBuild and what does it verify?",{"text":84,"@type":76},"GenBuild is an interactive end-user programming environment for designing interactive stand-alone applications. It enables verification of some properties as a first step toward safer end-user programming.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":92},[93,97,101,105,110,113,118,122,126,129,133],{"id":20,"doc_module":4,"doc_module_name":45,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":46,"doc_module":4,"doc_module_name":45,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":45,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":45,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":111,"slug":112},50,"technology",{"id":114,"doc_module":4,"doc_module_name":45,"category_name":115,"show_sort_weight":116,"slug":117},7,"Healthcare",40,"healthcare",{"id":21,"doc_module":4,"doc_module_name":45,"category_name":119,"show_sort_weight":120,"slug":121},"Research & Report",30,"research-report",{"id":123,"doc_module":4,"doc_module_name":45,"category_name":124,"show_sort_weight":28,"slug":125},9,"Religion & Spirituality","religion-spirituality",{"id":28,"doc_module":4,"doc_module_name":45,"category_name":127,"show_sort_weight":28,"slug":128},"World Cup","world-cup",{"id":130,"doc_module":4,"doc_module_name":45,"category_name":131,"show_sort_weight":130,"slug":132},10,"Lifestyle","lifestyle",{"id":134,"doc_module":4,"doc_module_name":45,"category_name":135,"show_sort_weight":106,"slug":136},19,"General","general"]