Back
  1. Home
  3. Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics - 2014
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 toDetailsStatisticsBibliographySimilar 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


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
163 (6 by Unilu)
Number of downloads
546 (8 by Unilu)
More statistics
Scopus citations®
 
35
Scopus citations®
without self-citations
32
OpenCitations
 
22
OpenAlex citations
 
36
WoS citations™
 
24

Bibliography

Similar publications


Contact ORBilu