DocumentCode
3591954
Title
Requirements [Session 6]
fYear
2014
Firstpage
1
Lastpage
1
Abstract
This session considers various approaches to the formalization of requirements specifications. Natural language properties can be automatically translated into formal language properties in certain circumstances. The relationships between requirements can be formalized in graphical notation. The success of temporal property languages in the hardware domain inspires the application of similar ideas to the embedded software domain.
fLanguage
English
Publisher
ieee
Conference_Titel
Specification and Design Languages (FDL), 2014 Forum on
ISSN
1636-9874
Type
conf
DOI
10.1109/FDL.2014.7119354
Filename
7119354
Link To Document