Interprocedural static analysis of sequencing constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
What can we do about the unnecessary diversity of notation for syntactic definitions?
Communications of the ACM
The Domain-Specific Language Monaco and its Visual Interactive Programming Environment
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Hi-index | 0.00 |
Projects in the automation domain often require that end users, who are the machine operators, have means to change control software to make adaptations and optimizations for the machining task at hand. Although they usually do not have any software development expertise, they intervene in safety-critical software systems. This results in high demands on end-user programming environments with respect to supporting, guiding, and supervising end users. In this paper we present a software framework which is intended to serve as a basis for developing end-user programming environments. The main parts of this framework are a domain-specific language for programming automation solutions at a high level of abstraction, different visual editors for supporting end users, an approach for checking program changes against formal specifications, a variability modeling approach for representing high-level user decisions, and an approach for setting up customized end-user environments from models.