On the Generation of DisCo Specifications from Functional Requirements

Tutkimustuotos: Tutkimusraportti

Alkuperäiskieli	Englanti
Julkaisupaikka	Tampere
Kustantaja	University of Tampere, Department of Computer Sciences
ISBN (painettu)	978-951-44-8284-7
Tila	Julkaistu - 2010
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Nimi	University of Tampere. Department of Computer Sciences. Series of publications. D. Net publications
Numero	D‐2010‐13
ISSN (painettu)	1795-4274

Pääsy asiakirjaan

Nummenmaa, J., Zhang, Z., Nummenmaa, T., Berki, E., Guo, J., & Wang, Y. (2010). On the Generation of DisCo Specifications from Functional Requirements. (University of Tampere. Department of Computer Sciences. Series of publications. D. Net publications; Nro D‐2010‐13). University of Tampere, Department of Computer Sciences. http://www.cs.uta.fi/reports/dsarja/D-2010-13.pdf

@book{9645e3087ba54248bc6dcbbcdfef5361,

title = "On the Generation of DisCo Specifications from Functional Requirements",

author = "J Nummenmaa and Z Zhang and T Nummenmaa and E Berki and J Guo and Y Wang",

year = "2010",

language = "English",

isbn = "978-951-44-8284-7",

series = "University of Tampere. Department of Computer Sciences. Series of publications. D. Net publications",

publisher = "University of Tampere, Department of Computer Sciences",

number = "D\&\#8208;2010\&\#8208;13",

}

Nummenmaa, J , Zhang, Z , Nummenmaa, T, Berki, E, Guo, J & Wang, Y 2010, On the Generation of DisCo Specifications from Functional Requirements. University of Tampere. Department of Computer Sciences. Series of publications. D. Net publications, Nro D‐2010‐13, University of Tampere, Department of Computer Sciences, Tampere. <http://www.cs.uta.fi/reports/dsarja/D-2010-13.pdf>

TY - BOOK

T1 - On the Generation of DisCo Specifications from Functional Requirements

AU - Nummenmaa, J

AU - Zhang, Z

AU - Nummenmaa, T

AU - Berki, E

AU - Guo, J

AU - Wang, Y

PY - 2010

Y1 - 2010

M3 - Commissioned report

SN - 978-951-44-8284-7

T3 - University of Tampere. Department of Computer Sciences. Series of publications. D. Net publications

BT - On the Generation of DisCo Specifications from Functional Requirements

PB - University of Tampere, Department of Computer Sciences

CY - Tampere

ER -