Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic

Robots are given more and more challenging tasks in domains such as transport and delivery, farming or health. Software is key components for robots, and ROS is a popular open-source middleware for writing robotics applications. Code quality matters a lot because a poorly written software is much mo...

Celý popis

Podrobná bibliografie

Vydáno v:	2018 Second IEEE International Conference on Robotic Computing (IRC) s. 1 - 8
Hlavní autoři:	Come, David, Brunel, Julien, Doose, David
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.01.2018
Témata:	C++ languages code quality Engines formal methods logic robotics Robots ROS Safety Semantics Software
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!