Assessing the usability of two declarative programming languages to model geometric events

When space missions plan scientific actions for robotic spacecraft to execute, they frequently do so within a geometric context called an opportunity. Although there are geometric software libraries that let users write code to search for opportunities, they require knowledge of algorithms and imper...

Descripción completa

Detalles Bibliográficos
Autores: Llopis, Marcel, Franch Gutiérrez, Javier|||0000-0001-9733-8830, Soria Guerrero, Manel|||0000-0002-4112-6078
Tipo de recurso: artículo
Fecha de publicación:2023
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/390405
Acceso en línea:https://hdl.handle.net/2117/390405
https://dx.doi.org/10.2514/1.I011207
Access Level:acceso abierto
Palabra clave:Programming languages (Electronic computers) -- Development
Llenguatges de programació -- Desenvolupament
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació
Descripción
Sumario:When space missions plan scientific actions for robotic spacecraft to execute, they frequently do so within a geometric context called an opportunity. Although there are geometric software libraries that let users write code to search for opportunities, they require knowledge of algorithms and imperative programming languages, which is a condition that might exclude a potentially large population of scientists. Additionally, there might be more user-friendly software systems for scientists to model and search for opportunities, but those might exclude other missions due to export concerns or an inability to maintain such software due to lack of staff or funding. To address these concerns, we designed two different computer languages to model opportunities. In this paper, we present these two languages, our study to evaluate their relative readability and usability, and results obtained in our research along with an interpretation of the same. The metric for this study has been a questionnaire with active exercises, statements with corresponding responses on a Likert scale, and open-ended questions to elicit qualitative responses. The study’s quantitative results provide us with relative and absolute quantification of the usability and readability of each language, while the study’s qualitative results help us direct future language design decisions.