Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
OS Working group
Webinars
Statistics
Help
User Guide
FAQ
Publication list
Document types
Reporting
Training
ORCID
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Legal Information
Data protection
Legal notices
Back
Home
Detailed Reference
Download
Article (Scientific journals)
Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics
Göknil, Arda
;
Kurtev, I.
;
van den Berg, K.
2014
•
In
Journal of Systems and Software, 88
, p. 112-137
Peer reviewed
Permalink
https://hdl.handle.net/10993/12544
DOI
10.1016/j.jss.2013.10.006
Files (1)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
1-s2.0-S0164121213002410-main.pdf
Publisher postprint (5.03 MB)
Download
All documents in ORBilu are protected by a
user license
.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
Disciplines :
Computer science
Author, co-author :
Göknil, Arda
;
INRIA
Kurtev, I.
van den Berg, K.
External co-authors :
yes
Language :
English
Title :
Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics
Publication date :
February 2014
Journal title :
Journal of Systems and Software
Publisher :
Elsevier
Volume :
88
Pages :
112-137
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 05 December 2013
Statistics
Number of views
122 (6 by Unilu)
Number of downloads
511 (8 by Unilu)
More statistics
Scopus citations
®
34
Scopus citations
®
without self-citations
31
OpenCitations
22
OpenAlex citations
36
WoS citations
™
23
Bibliography
Similar publications
Contact ORBilu
