Semantics of trace relations in requirements models for consistency checking and inferencing

Reference : Semantics of trace relations in requirements models for consistency checking and infe...


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/12556

Title :	Semantics of trace relations in requirements models for consistency checking and inferencing
Language :	English
Author, co-author :	Göknil, Arda [University of Twente]
	Kurtev, I. [> >]
	van den Berg, K. [> >]
	Veldhuis, J. W. [> >]
Publication date :	2011
Journal title :	Software & Systems Modeling
Publisher :	Springer
Volume :	10
Issue/season :	1
Pages :	31--54
Peer reviewed :	Yes (verified by ORBi^lu)
ISSN :	1619-1366
Permalink :	http://hdl.handle.net/10993/12556

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	art%3A10.1007%2Fs10270-009-0142-3.pdf		Publisher postprint	1.24 MB	View/Open

All documents in ORBi^lu are protected by a user license.