Software requirements specification

Property specification patterns for robotic missions

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

引用数: 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

引用数: 16 • 2019

From Requirements to Automated Acceptance Tests with the RSL Language

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

引用数: 14 • 2020

Hybrid specification of control systems

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

引用数: 14 • 2002

Semantic decoupling: reducing the impact of requirement changes

Israel Navarro, Nancy G. Leveson, Kristina Lunqvist

引用数: 9 • 2010

CROME: Contract-Based Robotic Mission Specification

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider

引用数: 7 • 2020

Self-adaptive Software Modeling Based on Contextual Requirements

Aradea Aradea, Iping Supriana, Kridanto Surendro

引用数: 6 • 2018

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

Vadym Partasyuk

引用数: 6 • 2026

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

Davide Brugali

引用数: 5 • 2019

An intent-specifications model for a robotic software control system

Israel Navarro, Kristina Lundqvist, Nancy G. Leveson

引用数: 5 • 2002

Specification-guided Software Fault Localization for Autonomous Mobile Systems

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

引用数: 4 • 2020

Formal specification techniques for complex software systems

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

引用数: 2 • 2002