Functional specification

相关论文数: 4

最高引用论文

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

Hybrid specification of control systems

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

引用数: 14 • 2002

Evidence Standing Envelope: Claim Standing Under Interval Evidence in Consequence-Bearing AI Systems

Vadym Partasyuk

引用数: 8 • 2026

An intent-specifications model for a robotic software control system

Israel Navarro, Kristina Lundqvist, Nancy G. Leveson

引用数: 5 • 2002