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á bibliografia

Vydané v:	2018 Second IEEE International Conference on Robotic Computing (IRC) s. 1 - 8
Hlavní autori:	Come, David, Brunel, Julien, Doose, David
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.01.2018
Predmet:	C++ languages code quality Engines formal methods logic robotics Robots ROS Safety Semantics Software
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!