Software requirements specification

Property specification patterns for robotic missions

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

Citations: 23 • 2018

From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach

Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva

Citations: 16 • 2019

From Requirements to Automated Acceptance Tests with the RSL Language

Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva

Citations: 14 • 2020

Hybrid specification of control systems

K. Brink, L. Bun, J. van Katwijk, W.J. Toetenel

Citations: 14 • 2002

Semantic decoupling: reducing the impact of requirement changes

Israel Navarro, Nancy G. Leveson, Kristina Lunqvist

Citations: 9 • 2010

CROME: Contract-Based Robotic Mission Specification

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider

Citations: 7 • 2020

Self-adaptive Software Modeling Based on Contextual Requirements

Aradea Aradea, Iping Supriana, Kridanto Surendro

Citations: 6 • 2018

Decorative Isolation: Non-Burden-Bearing Separation Claims in Consequence-Bearing AI Systems

Vadym Partasyuk

Citations: 6 • 2026

Non-Functional Requirements in Robotic Systems: Challenges and State of the Art

Davide Brugali

Citations: 5 • 2019

An intent-specifications model for a robotic software control system

Israel Navarro, Kristina Lundqvist, Nancy G. Leveson

Citations: 5 • 2002

Specification-guided Software Fault Localization for Autonomous Mobile Systems

Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov, Jyotirmoy V. Deshmukh

Citations: 4 • 2020

Formal specification techniques for complex software systems

V. S. Alagar, K. Periyasamy, Geetha Ramanathan

Citations: 2 • 2002