Realism in video games is furthered each year. Particularly in racing and driving games, visual realism in the deformation of cars play a larger and larger role for the immersion in a virtual world. With the improvements ...

Software maintenance forms a crucial activity of any viable software system. Sometimes it becomes the most expensive and time-consuming phase in the life cycle of the software product. Software maintainability on the other ...

Computer games using stealth situations for defining their gameplay often rely on modeling an immersive, yet exploitable non-player character behaviour. Traditionally, the aim of the design of such a behaviour is to provide ...

Traditional software documentation is often challenging to manage as its content grow. For example, information becomes scattered, information become hard to retrieve and the documentation has to satisfy multiple different ...

We present a domain interpretation of the simply typed and the untyped lambda calculus. The interpretations are constructed using the notion of category with families, with added structure. Specifically, for the simply ...

Different test prioritization techniques detect faults at earlier stages of test execution. To this end, Diversity-based techniques (DBT) have been cost-effective by prioritizing the most dissimilar test cases to maintain ...

This paper presents a study on how classes based on the role-stereotypes defined by Wirfs-Brock, change over time in software systems, and how the occurrence of anti-patterns change over time in relation to these roles. ...

Regulatory compliance is of major concern to medical software companies that are involved in developing safetycritical software whose failure could result in loss of life, significant property damage or damage to the ...

This master thesis presents the PEP framework, a formal method that guides the design and analysis of physics-based games, and Under Surveillance, a 2.5D physicsbased puzzle adventure video game for PC. The PEP framework ...