Bringing Robustness to End-User Programming (2001)
| Venue: | in Proc. 2001 IEEE Symposia on Human-Centric Computing Languages and Environments (Stresa |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Baron01bringingrobustness,
author = {Mickaël Baron and Patrick Girard},
title = {Bringing Robustness to End-User Programming},
booktitle = {in Proc. 2001 IEEE Symposia on Human-Centric Computing Languages and Environments (Stresa},
year = {2001},
pages = {5--7}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In 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. 1.
