東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal languages for computer simula...

Fonseca i Casas, Pau, (1973-)

Linked to FindBook

Google Book

Amazon

博客來

Formal languages for computer simulation = transdisciplinary models and applications /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal languages for computer simulation/ Pau Fonseca i Casas, editor.
Reminder of title:	transdisciplinary models and applications /
other author:	Fonseca i Casas, Pau,
Published:	Hershey, Pa. :IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), : c2014.,
Description:	1 online resource (400 p.) :ill.
[NT 15003449]:	Conceptual modeling using Petri nets / Antoni Guasch, Jaume Figueras, Josep Casanovas -- Modeling for system s understanding / Marisa A. Sanchez -- The DEVS formalism / Rhys Goldstein, Gabriel A. Wainer, Azam Khan -- Thermal analysis of the MIPS processor formulated within DEVS conventions / Alejandro Moreno Astorga ... [et al.] -- Specification and description language for discrete simulation / Pau Fonseca i Casas -- Modeling a Chilean hospital using specification and description language / Jorge Leiva Olmos, Pau Fonseca i Casas, Jordi Ocana Rebull -- Formal consistency verification of UML requirement and analysis models / Mouez Ali, Hanene Ben-Abdallah, Faiez Gargouri -- Model-based system design using SysML: the role of the evaluation diagram / Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos -- Domain specific simulation modeling with SysML and model-to-model transformation for discrete processes / Oliver Schonherr, Falk Stefan Pappert, Oliver Rose -- An integrated framework to simulate SysML models using DEVS simulators / G.-D. Kapos ... [et al.] -- Overview on agent-based social modelling and the use of formal languages / Cristina Montanola-Sales ... [et al.] -- Agent-based simulation model representation using BPMN / Bhakti S. S. Onggo.
Subject:	Computer simulation. -
Online resource:	http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7
ISBN:	9781466643703 (ebook)

Formal languages for computer simulation = transdisciplinary models and applications /
Formal languages for computer simulationtransdisciplinary models and applications /[electronic resource] :Pau Fonseca i Casas, editor. - Hershey, Pa. :IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),c2014. - 1 online resource (400 p.) :ill.

Includes bibliographical references.

Conceptual modeling using Petri nets / Antoni Guasch, Jaume Figueras, Josep Casanovas -- Modeling for system s understanding / Marisa A. Sanchez -- The DEVS formalism / Rhys Goldstein, Gabriel A. Wainer, Azam Khan -- Thermal analysis of the MIPS processor formulated within DEVS conventions / Alejandro Moreno Astorga ... [et al.] -- Specification and description language for discrete simulation / Pau Fonseca i Casas -- Modeling a Chilean hospital using specification and description language / Jorge Leiva Olmos, Pau Fonseca i Casas, Jordi Ocana Rebull -- Formal consistency verification of UML requirement and analysis models / Mouez Ali, Hanene Ben-Abdallah, Faiez Gargouri -- Model-based system design using SysML: the role of the evaluation diagram / Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos -- Domain specific simulation modeling with SysML and model-to-model transformation for discrete processes / Oliver Schonherr, Falk Stefan Pappert, Oliver Rose -- An integrated framework to simulate SysML models using DEVS simulators / G.-D. Kapos ... [et al.] -- Overview on agent-based social modelling and the use of formal languages / Cristina Montanola-Sales ... [et al.] -- Agent-based simulation model representation using BPMN / Bhakti S. S. Onggo.

Restricted to subscribers or individual electronic text purchasers.

"This book investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation, exploring 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"--Provided by publisher.

Mode of access: World Wide Web.

ISBN: 9781466643703 (ebook)

LCCN: 2013011316Subjects--Topical Terms:

525602
Computer simulation.

LC Class. No.: QA76.9.C65 / F66 2014e

Dewey Class. No.: 005.1

Formal languages for computer simulation = transdisciplinary models and applications /
LDR:02759nmm a2200277 a 4500 001 1948574
005 19991204144331.0
008 141225s2014 pau fob 000 0 eng d
010 $a 2013011316
020 $a 9781466643703 (ebook)
020 $a 9781466643697 (hbk.)
035 $a (CaBNVSL)gtp00556480
035 $a (OCoLC)853215291
035 $a 00000209
040 $a CaBNVSL $c CaBNVSL $d CaBNVSL
050 4 $a QA76.9.C65 $b F66 2014e
082 0 4 $a 005.1 $2 23
245 0 0 $a Formal languages for computer simulation $h [electronic resource] : $b transdisciplinary models and applications / $c Pau Fonseca i Casas, editor.
260 $a Hershey, Pa. : $b IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), $c c2014.
300 $a 1 online resource (400 p.) : $b ill.
504 $a Includes bibliographical references.
505 0 $a Conceptual modeling using Petri nets / Antoni Guasch, Jaume Figueras, Josep Casanovas -- Modeling for system s understanding / Marisa A. Sanchez -- The DEVS formalism / Rhys Goldstein, Gabriel A. Wainer, Azam Khan -- Thermal analysis of the MIPS processor formulated within DEVS conventions / Alejandro Moreno Astorga ... [et al.] -- Specification and description language for discrete simulation / Pau Fonseca i Casas -- Modeling a Chilean hospital using specification and description language / Jorge Leiva Olmos, Pau Fonseca i Casas, Jordi Ocana Rebull -- Formal consistency verification of UML requirement and analysis models / Mouez Ali, Hanene Ben-Abdallah, Faiez Gargouri -- Model-based system design using SysML: the role of the evaluation diagram / Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos -- Domain specific simulation modeling with SysML and model-to-model transformation for discrete processes / Oliver Schonherr, Falk Stefan Pappert, Oliver Rose -- An integrated framework to simulate SysML models using DEVS simulators / G.-D. Kapos ... [et al.] -- Overview on agent-based social modelling and the use of formal languages / Cristina Montanola-Sales ... [et al.] -- Agent-based simulation model representation using BPMN / Bhakti S. S. Onggo.
506 $a Restricted to subscribers or individual electronic text purchasers.
520 3 $a "This book investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation, exploring 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"--Provided by publisher.
530 $a Also available in print.
538 $a Mode of access: World Wide Web.
650 0 $a Computer simulation. $3 525602
650 0 $a Programming languages (Electronic computers) $3 606806
700 1 $a Fonseca i Casas, Pau, $d 1973- $3 2074047
856 4 1 $3 Chapter PDFs via platform: $u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7