Functional specification
Related papers: 4
Top Researchers
Top Cited Papers
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
Hybrid specification of control systems
K. Brink, L. Bun, J. van Katwijk, W.J. Toetenel
Citations: 14 • 2002
Evidence Standing Envelope: Claim Standing Under Interval Evidence in Consequence-Bearing AI Systems
Vadym Partasyuk
Citations: 8 • 2026
An intent-specifications model for a robotic software control system
Israel Navarro, Kristina Lundqvist, Nancy G. Leveson
Citations: 5 • 2002