On the Generation of DisCo Specifications from Functional Requirements

Research output: Book/Report › Commissioned report

Original language	English
Place of Publication	Tampere
Publisher	University of Tampere, Department of Computer Sciences
ISBN (Print)	978-951-44-8284-7
Publication status	Published - 2010
Publication type	D4 Published development or research report or study

Name	University of Tampere. Department of Computer Sciences. Series of publications. D. Net publications
No.	D‐2010‐13
ISSN (Print)	1795-4274

Access to Document

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; No. 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, no. D‐2010‐13, University of Tampere, Department of Computer Sciences, Tampere. <http://www.cs.uta.fi/reports/dsarja/D-2010-13.pdf>

On the Generation of DisCo Specifications from Functional Requirements. / Nummenmaa, J ; Zhang, Z ; Nummenmaa, T et al.
Tampere: University of Tampere, Department of Computer Sciences, 2010. (University of Tampere. Department of Computer Sciences. Series of publications. D. Net publications; No. D‐2010‐13).

Research output: Book/Report › Commissioned report

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 -