NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Formal Requirements Elicitation With Fret
Document ID
20230013603
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Anastasia Mavridou (KBR (United States) Houston, Texas, United States)
Date Acquired
September 19, 2023
Subject Category
Mathematical and Computer Sciences (General)
Computer Programming and Software
Meeting Information
Meeting: Seminar at Technical University of Denmark
Location: Virtual
Country: DK
Start Date: September 27, 2023
Sponsors: Technical University of Denmark
Funding Number(s)
CONTRACT_GRANT: 80ARC020D0010
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
NASA Peer Committee
Keywords
FRET
requirement formalization
requirement elicitation

Related Records

IDRelationTitle20200001989See AlsoFormal Requirements Elicitation with FRET
No Preview Available