Writing Robotics Applications with X-Klaim-Reference-Cited by-同舟云学术

Writing Robotics Applications with X-Klaim

Published:2020 Issue: Volume: Page:361-379
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
language:
Short-container-title:

Author:

Bettini Lorenzo^ORCID,Bourr Khalid,Pugliese Rosario^ORCID,Tiezzi Francesco^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-61470-6_22

Reference29 articles.

1. Adam, S., Schultz, U.P.: Towards interactive, incremental programming of ROS nodes. In: Workshop on Domain-Specific Languages and Models for Robotic Systems (2014)

2. Alonso, D., Vicente-Chicote, C., Ortiz, F., Pastor, J., Álvarez, B.: V$$^3$$CMM: a 3-view component meta-model for model-driven robotic software development. J. Softw. Eng. Rob. 1, 3–17 (2010)

3. Lecture Notes in Computer Science;L Bettini,2005

4. Bettini, L., De Nicola, R., Pugliese, R.: KLAVA: a Java package for distributed and mobile applications. Softw. Pract. Experience 32(14), 1365–1394 (2002)

5. Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing, Birmingham (2016)

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

1. Rigorous engineering of collective adaptive systems – 2nd special section;International Journal on Software Tools for Technology Transfer;2023-11-14

2. Coordinating and programming multiple ROS-based robots with X-KLAIM;International Journal on Software Tools for Technology Transfer;2023-11-02

3. Programming Multi-robot Systems with X-KLAIM;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022

4. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020