We present an animation tool for the formal specification language TROLL light. The system allows the manipulation and querying of objects and navigation through object hierarchies. A Web-based user interface simplifies the usage of the system.
CITATION STYLE
Richters, M., & Gogolla, M. (1997). A web-based animator for object specifications in a persistent environment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1214, pp. 867–870). Springer Verlag. https://doi.org/10.1007/bfb0030649
Mendeley helps you to discover research relevant for your work.