NTRS
NTRS - NASA Technical Reports Server
Search
more_vert
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
Available Downloads
Name
Type
DTU-AM.pdf
STI
cloud_download
content_copy
visibility
Related Records
ID
Relation
Title
20200001989
See Also
Formal Requirements Elicitation with FRET
visibility_off
No Preview Available