SoleCRISTransition linkFrontpageTransition linkInstructionsTransition linkRegister specificationTransition linkLoginHAKA-login

This is the view page of publication. On this page you can view basic information of publication or go back on previous page using back-action on the bottom of the page. If you want to move to edit the information of publication, use the actions on the bottom of the page or continue using the system from menu.

Executable Formal Specifications in Game Development : Design, Validation and Evolution - Nummenmaa Timo 2013

Category Thesis
Sub-category Dissertation
Dissertation types Monograph dissertation
Type on publication (Ministry of Education and Culture) G4 
Authors Nummenmaa Timo 
Number of authors
First internal author
First author's department School of Information Sciences
Name of main work Executable Formal Specifications in Game Development : Design, Validation and Evolution 
Year of publication and registration 2013 and 2013 
Publisher Tampere University Press 
Place of publication Tampere 
Number of pages 237 
ISBN 978-951-44-9275-4 
Series name Acta Universitatis Tamperensis 
Series number 1875 
ISSN 1455-1616 
Language of publication English
Published outside Finland in Finland
Discipline Tietojenkäsittely ja informaatiotieteet
Open access Open access publication, self-archived
URL of web publication
Descriptors / Finnish pelikehitys, pelisuunnittelu, suoritettavat formaalit spesifikaatiot, pelievoluutio, simulaatio 
Descriptors / English game development, game design, executable formal specifications, game evolution, simulation 
Place where commissioned 
Direct link Direct link