大葉大學圖書館 |

Formal languages for computer simulation[electronic resource] :transdisciplinary models and applications /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.1
書名/作者:	Formal languages for computer simulation : transdisciplinary models and applications // Pau Fonseca i Casas, editor.
其他作者:	Fonseca i Casas, Pau,
出版者:	Hershey, Pa. : : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),, c2014.
面頁冊數:	1 online resource (400 p.) : : ill.
標題:	Computer simulation.
標題:	Programming languages (Electronic computers)
ISBN:	9781466643703 (ebook)
ISBN:	9781466643697 (hbk.)
書目註:	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.
摘要、提要註:	"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.
電子資源:	http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7

Formal languages for computer simulation[electronic resource] :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:

173669
Computer simulation.

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

Dewey Class. No.: 005.1

Formal languages for computer simulation[electronic resource] :transdisciplinary models and applications /
LDR:02759nam a2200277 a 4500 001 408480
005 19991204144331.0
008 141226s2014 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 173669
650 0 $a Programming languages (Electronic computers) $3 340128
700 1 $a Fonseca i Casas, Pau, $d 1973- $3 571116
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