Formal Languages for Computer Simulation

Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, computer programmers must use formal modeling languages to evaluate these simulations. Formal Languages for Computer Simulation: Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.

Pau Fonseca i Casas is a Professor of the Department of Statistics and Operational research of the Polytechnic University of Catalonia, teaching in Statistics and Simulation areas. He obtained his master degree in computer engineering on 1999 and his Ph.D. on 2007 from Polytechnic University of Catalonia. He also works in the InLab FIB as a head of the Environmental Simulation area, developing Simulation projects since 1998. He is member of LogiSim group, dedicated to the research and development of simulation tools and projects. His research interests are discrete simulation applied to industrial, environmental and social models, and the formal representation of such models.