Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,293 papers from all fields of science
Search
Sign In
Create Free Account
Requirements Interchange Format
Known as:
RIF
, ReqIF
RIF/ReqIF (Requirements Interchange Format) is an XML file format that can be used to exchange requirements, along with its associated metadata…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Eclipse Requirements Modeling Framework
Reference implementation
Requirement
Rule Interchange Format
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
A. Almohammad
,
J. Ferreira
,
A. Mendes
,
P. White
IEEE 25th International Requirements Engineering…
2017
Corpus ID: 23886208
This paper presents ReqCap, an implementation of a new method that articulates hierarchical requirements modeling and test…
Expand
Review
2017
Review
2017
Lightweight Formal Analysis of Requirements
Pataricza Andras
,
Kocsis Imre
,
Brancati Francesco
,
Vinerbi Lorenzo
,
A. Bondavalli
2017
Corpus ID: 55813982
Requirements are the core work items of the design and checking workflow target safety critical systems. Accordingly, their…
Expand
Review
2016
Review
2016
Source 3 D Visualization for the RAMI 4 . 0 Reference Model
M. Uslar
,
A. Göring
2016
Corpus ID: 13059575
Within this contribution, we briefly present our developed open source browser-based visualization for the RAMI 4.0 reference…
Expand
2015
2015
A model-based workflow from specification until validation of timing requirements in embedded software systems
Arne Noyer
,
Padma Iyenghar
,
E. Pulvermüller
,
Joachim Engelhardt
,
Florian Pramme
,
G. Bikker
International Symposium on Industrial Embedded…
2015
Corpus ID: 7068634
In embedded software engineering, timing requirements are among the foremost non-functional requirements that have to be…
Expand
2014
2014
Modeling a Safe Interlocking Using the Event-B Theory Plug-in
Minh-Thang Khuu
,
Laurent Voisin
,
M. Leuschel
,
J. Bendisposto
,
Dominik Hansen
2014
Corpus ID: 43297820
Interlocking (IXL) is a railway signaling sub-system. Its principal role is controlling the movement of points, the change of…
Expand
2012
2012
The ProR Approach: Traceability of Requirements and System Descriptions
M. Jastram
2012
Corpus ID: 27491878
Eine Systembeschreibung hoher Qualitat zu erstellen ist nach wie vor ein gro\-se Herausforderung im Bereich…
Expand
2011
2011
Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF)
M. Jastram
,
Andreas Graf
2011
Corpus ID: 15551611
One important step of the systems engineering process is requirements engineering. Parallel to the development of Topcased, which…
Expand
2011
2011
Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (ReqIF)
Andreas Graf
,
N. Sasidharan
,
Ö. Gürsoy
CSDM
2011
Corpus ID: 18030631
Requirements engineering (RE) is a crucial aspect in systems development and is the area of ongoing research and process…
Expand
2011
2011
Requirements Exchange: From Specification Documents to Models
Morayo Adedjouma
,
H. Dubois
,
F. Terrier
IEEE International Conference on Engineering of…
2011
Corpus ID: 15325982
The documentation of customer needs from the source specifications in a modeling environment for allocating them to architectural…
Expand
2007
2007
Improving the Interoperability of Automotive Tools by Raising the Abstraction from Legacy XML Formats to Standardized Metamodels
Mark Brörkens
,
M. Köster
ECMDA-FA
2007
Corpus ID: 1934730
Automotive system design demands frequent exchange of data between different parties and tools. In order to improve the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE