Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics

Göknil, Arda; Kurtev, I.; van den Berg, K.

doi:10.1016/j.jss.2013.10.006

Télécharger

Article (Périodiques scientifiques)

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

Permalien
https://hdl.handle.net/10993/12544

DOI
10.1016/j.jss.2013.10.006

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

1-s2.0-S0164121213002410-main.pdf

Postprint Éditeur (5.03 MB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Göknil, Arda ; INRIA

Kurtev, I.

van den Berg, K.

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics

Date de publication/diffusion :

février 2014

Titre du périodique :

Journal of Systems and Software

Maison d'édition :

Elsevier

Volume/Tome :

Pagination :

112-137

Peer reviewed :

Peer reviewed

Disponible sur ORBilu :

depuis le 05 décembre 2013

Statistiques

Nombre de vues

124 (dont 6 Unilu)

Nombre de téléchargements

511 (dont 8 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex

citations WoS^™