Statecharts: A visual formalism for complex systems
Science of Computer Programming
Why looking isn't always seeing: readership skills and graphical programming
Communications of the ACM
Graphical Design of Reactive Systems
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
A Graphical Environment for the Specification and Verification of Reactive Systems
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Software support for building end-user programming environments in the automation domain
Proceedings of the 4th international workshop on End-user software engineering
Computer Languages, Systems and Structures
Hi-index | 0.01 |
Monaco is a domain-specific language for machine automation programming. It has been developed with the objective to empower domain experts with limited programming capabilities. Its main language features are an imperative notation for reactive systems, concepts for describing asynchronous event handling in a concise way, and a state-of-the-art component approach. Monaco is a programming language with a Pascal-like syntax, but also comes with a visual programming environment. In this paper we review the language Monaco, show the visual representation scheme, report on the programming environment and compare our visual notation to Statecharts.