Specification Patterns for Robotic Missions Journal Articles

authors

• Menghi, Claudio
• Tsigkanos, Christos
• Pelliccione, Patrizio
• Ghezzi, Carlo
• Berger, Thorsten

status

• published 

publication date

• October 1, 2021

has subject area

• 0803 Computer Software (FoR)
• 0806 Information Systems (FoR)
• 0906 Electrical and Electronic Engineering (FoR)
• Software Engineering (Science Metrix)

published in

• IEEE Transactions on Software Engineering  Journal

keywords

• Computer Science
• Computer Science, Software Engineering
• Engineering
• Engineering, Electrical & Electronic
• LANGUAGE
• LTL
• Mission specification
• Natural languages
• POSTER
• Science & Technology
• Service robots
• Software
• Software engineering
• TEMPORAL-LOGIC
• Task analysis
• Technology
• Tools
• model driven engineering
• pattern catalog
• robotic mission

Digital Object Identifier (DOI)

• 10.1109/tse.2019.2945329

start page

• 2208

end page

• 2224

volume

• 47

issue

• 10