A Survey on Domain-Specific Languages in Robotics-Reference-Cited by-同舟云学术

A Survey on Domain-Specific Languages in Robotics

Published:2014 Issue: Volume: Page:195-206
ISSN:0302-9743
Container-title:Simulation, Modeling, and Programming for Autonomous Robots
language:
Short-container-title:

Author:

Nordmann Arne,Hochgeschwender Nico,Wrede Sebastian

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-11900-7_17

Reference33 articles.

1. van Deursen, A., Klint, P., Visser, J.: Domain-Specific Languages: An Annotated Bibliography. ACM Sigplan Notices (2000)

2. Biggs, G., MacDonald, B.: A Survey of Robot Programming Systems. In: Australasian Conference on Robotics and Automation (2003)

3. Völter, M., Benz, S., Dietrich, C., Engelmann, B., Helander, M., Kats, L., Visser, E., Wachsmuth, G.: DSL Engineering Designing, Implementing and Using Domain-Specific Languages (2013)

4. Mernik, M., Heering, J., Sloane, A.M.: When and how to Develop Domain-Specific Languages. ACM Computing Surveys 37(4), 316–344 (2005)

5. Gérard, S., Selic, B.: The UML – MARTE Standardized Profile. In: The International Federation of Automatic Control, Seoul, Korea, pp. 6909–6913 (2008)

Cited by 61 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version);Innovations in Systems and Software Engineering;2024-07-10

2. Proof of equivalence of semantic methods for a selected domain-specific language;Journal of Applied Mathematics and Computational Mechanics;2024-06

3. Statler: State-Maintaining Language Models for Embodied Reasoning;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13

4. Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation;Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2024-04-15

5. Towards Verifiable Multi-Agent Interaction Pattern Specification;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14