國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁 到查詢結果 [ subject:"Computer simulation." ]

切換: 標籤 | MARC模式 | ISBD

Formal languages for computer simula...

Fonseca i Casas, Pau, (1973-)

Formal languages for computer simulationtransdisciplinary models and applications /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Formal languages for computer simulationPau Fonseca i Casas, editor.
其他題名:	transdisciplinary models and applications /
其他作者:	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.
電子資源:	http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4369-7
ISBN:	9781466643703 (ebook)

Formal languages for computer simulationtransdisciplinary 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:

182122
Computer simulation.

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

Dewey Class. No.: 005.1

Formal languages for computer simulationtransdisciplinary models and applications /
LDR:02759nmm a2200277 a 4500 001 441638
005 19991204144331.0
008 150123s2014 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 182122
650 0 $a Programming languages (Electronic computers) $3 184586
700 1 $a Fonseca i Casas, Pau, $d 1973- $3 695486
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