![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Model-based Player Experience Testing with Emotion Pattern Verification
Player eXperience (PX) testing has attracted attention in the game industry as video games become more complex and widespread. Understanding players’ desires and their experience are key elements to guarantee ...
-
Chapter and Conference Paper
Search-Based Automated Play Testing of Computer Games: A Model-Based Approach
Computer game technology is increasingly more complex and applied in a wide variety of domains, beyond entertainment, such as training and educational scenarios. Testing games is a difficult task requiring a l...
-
Chapter and Conference Paper
Purpose Control: Did You Process the Data for the Intended Purpose?
Data protection legislation requires personal data to be collected and processed only for lawful and legitimate purposes. Unfortunately, existing protection mechanisms are not appropriate for purpose control: ...
-
Chapter and Conference Paper
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reasoning about the behaviour of ...
-
Chapter and Conference Paper
Stochastic COWS
A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and semantics are enriched along the lines o...
-
Chapter and Conference Paper
A Formal Approach to Molecular Docking
Drugs are small molecules designed to regulate the activity of specific biological receptors. Design new drugs is long and expensive, because modifying the behavior of a receptor may have unpredicted side effe...