Formal Languages for Computer Simulation: Transdisciplinary Models and Applications

Formal Languages for Computer Simulation: Transdisciplinary Models and Applications

Pau Fonseca i Casas (Universitat Politècnica de Catalunya - BarcelonaTech, Spain)
Indexed In: INSPEC, SCOPUS View 1 More Indices
Release Date: July, 2013|Copyright: © 2014 |Pages: 458
DOI: 10.4018/978-1-4666-4369-7
ISBN13: 9781466643697|ISBN10: 1466643692|EISBN13: 9781466643703
Hardcover:
Available
$165.00
TOTAL SAVINGS: $165.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
E-Book:
(Multi-User License)
Available
$148.50
List Price: $165.00
10% Discount:-$16.50
TOTAL SAVINGS: $16.50
Benefits
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • ePub with PDF download
Hardcover +
E-Book:
(Multi-User License)
Available
$195.00
TOTAL SAVINGS: $195.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • ePub with PDF download
OnDemand:
(Individual Chapters)
Available
$37.50
TOTAL SAVINGS: $37.50
Benefits
  • Purchase individual chapters from this book
  • Immediate PDF download after purchase or access through your personal library
Description & Coverage
Description:

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.

Coverage:

The many academic areas covered in this publication include, but are not limited to:

  • Discrete Event System Specification
  • Forrester Diagrams
  • Mapping Techniques
  • Petri Nets
  • Simulation Tools
  • Specification and Description Languages
  • Transformation Algorithms
  • Unified modeling language
Reviews and Testimonials

The programming languages used in validating and verifying models play a central role in the study and implementation of simulation models. In this book, the authors describe several methods used in the evaluation and formalization of simulation models oriented to a wide spectrum of application areas. [...] The two first chapters make an excellent and agile introduction to the simulation modeling and formalisms. The next chapters are focused in the presentation of specific methodologies and interesting case studies.

Highly recommended for advanced undergraduate courses and PhD students in Computer Sciences. Some parts of the book are also very interesting and valuable for Business and Management Science experts.

– Dr. Ignacio Ponzoni, Department of Computer Science and Engineering, Universidad Nacional del Sur (Bahía Blanca, Argentina)
Table of Contents
Search this Book:
Reset
Editor/Author Biographies
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 website is http://www-eio.upc.es/~pau/. His research interests are discrete simulation applied to industrial, environmental and social models, and the formal representation of such models.
Editorial Policy
In order to ensure the highest ethical practices are achieved for each book, IGI Global provides a full document of policies and guidelines that all editors, authors, and reviewers are expected to follow. View Full Editorial Policy
Peer Review Process
The peer review process is the driving force behind all IGI Global books and journals. All IGI Global reviewers maintain the highest ethical standards and each manuscript undergoes a rigorous double-blind peer review process, which is backed by our full membership to the Committee on Publication Ethics (COPE). The full publishing process and peer review are conducted within the IGI Global eEditorial Discovery® online submission system and on average takes 30 days. Learn More
Ethics & Malpractice
IGI Global affirms that ethical publication practices are critical to the successful development of knowledge. Therefore, it is the policy of IGI Global to maintain high ethical standards in all publications. These standards pertain to all books, journals, chapters, and articles accepted for publication. This is in accordance with standard scientific principles and IGI Global’s position as a source of scientific knowledge. Learn More
Archiving
All of IGI Global's content is archived via the CLOCKSS and LOCKSS initiative. Additionally, all IGI Global published content is available in IGI Global's InfoSci® platform.