NDLI: Executable Formal Specifications in Game Development: Design, Validation and Evolution

Please wait, while we are loading the content...

Executable Formal Specifications in Game Development: Design, Validation and Evolution

Content Provider	Semantic Scholar
Author	Nummenmaa, Timo
Copyright Year	2013
Abstract	Games provide players with enjoyment, escapism, unique experiences and even a way to socialise. Software based games played on electronic devices such as computers and games consoles are a huge business that is still growing. New games are continually developed as demand for these digital games is high. Digital games are often complex and have high requirements for quality. The complexity is especially apparent in complex multiplayer games and games that are constantly evolving. This complexity can be problematic in various stages of development. For example, understanding if a design of a game works as intended can be difficult. Managing changes that need to be made to a game during its lifetime, even after its initial release, is also challenging from both a design and an implementation standpoint. In this thesis these problems are addressed by presenting a method of utilising formal methods for simulations of game designs as a way of development, communication, documentation and design. Formal methods are methods that aim to help developers create better software through the usage of tools and notations based on formal syntax and semantics. A specific sub-area of formal methods, namely executable formal specifications, was chosen as a starting point. This is because the executability of the specification makes it possible to simulate game progression which can be used to understand and communicate the design of a game better. The DisCo methodology and language are an implementation of executable formal specifications and feature an action based execution model. This toolset and language was modified
File Format	PDF HTM / HTML
Alternate Webpage(s)	http://tampub.uta.fi/bitstream/handle/10024/94591/978-951-44-9276-1.pdf;jsessionid=153218CEE15EB45ABA699A9B18C11633?sequence=1
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in