東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

Understanding modelling and programming

Record Type:	Electronic resources : Monograph/item
Title/Author:	Understanding modelling and programming/ by Andreas Prinz ... [et al.].
other author:	Prinz, Andreas.
Published:	Cham :Springer Nature Switzerland : : 2025.,
Description:	xvii, 111 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	1. Introduction -- 2. Systems and Reality -- 3. Modelling -- 4. Specifications -- 5. Programming -- 6. More Cases -- 7. Summary.
Contained By:	Springer Nature eBook
Subject:	Computer simulation. -
Online resource:	https://doi.org/10.1007/978-3-031-71280-7
ISBN:	9783031712807

Understanding modelling and programming
Understanding modelling and programming[electronic resource] /by Andreas Prinz ... [et al.]. - Cham :Springer Nature Switzerland :2025. - xvii, 111 p. :ill. (some col.), digital ;24 cm.

1. Introduction -- 2. Systems and Reality -- 3. Modelling -- 4. Specifications -- 5. Programming -- 6. More Cases -- 7. Summary.

This book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by describing abstract properties, desired behaviours, intended structures, needed interactions, and other specific viewpoints on the overall system under development. After an introduction to the importance of modelling and programming in the scope of system engineering in chapter 1, the book provides four main chapters covering systems, models, specifications, and programs, each of them with a set of reflection exercises. Chapter 2 explores how systems relate to reality, exploring different perspectives related to the purpose of the system. Chapter 3 explains what it takes to be a model and how models and systems are related and concludes with discussing model semantics, meaning, and correctness. In Chapter 4, specifications are debated which are precise descriptions of models and systems. It presents the language constructs needed to describe systems and shows how the constructs can be expressed in concrete languages, considering both the structure and the behaviour of models. Chapter 5 considers the creation, simulation, and correct execution of specifications (model descriptions or programs). Eventually, Chapter 6 presents a collection of real-world modelling cases. Apart from describing the case, the concepts of the book are applied to the case, thus giving a better understanding of the concepts. The book is carefully designed to explain modelling and programming concepts, their relationships, and their use. Written for computer science students and lecturers, it covers systems, modelling, programming, simulation, and semantics.

ISBN: 9783031712807

Standard No.: 10.1007/978-3-031-71280-7doiSubjects--Topical Terms:

525602
Computer simulation.

LC Class. No.: QA76.9.C65

Dewey Class. No.: 003.3

Understanding modelling and programming
LDR:02865nmm a2200325 a 4500 001 2407792
003 DE-He213
005 20241230115252.0
006 m o d
007 cr nn 008maaau
008 260204s2025 sz s 0 eng d
020 $a 9783031712807 $q (electronic bk.)
020 $a 9783031712791 $q (paper)
024 7 $a 10.1007/978-3-031-71280-7 $2 doi
035 $a 978-3-031-71280-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.C65
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 003.3 $2 23
090 $a QA76.9.C65 $b U55 2025
245 0 0 $a Understanding modelling and programming $h [electronic resource] / $c by Andreas Prinz ... [et al.].
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a xvii, 111 p. : $b ill. (some col.), digital ; $c 24 cm.
505 0 $a 1. Introduction -- 2. Systems and Reality -- 3. Modelling -- 4. Specifications -- 5. Programming -- 6. More Cases -- 7. Summary.
520 $a This book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by describing abstract properties, desired behaviours, intended structures, needed interactions, and other specific viewpoints on the overall system under development. After an introduction to the importance of modelling and programming in the scope of system engineering in chapter 1, the book provides four main chapters covering systems, models, specifications, and programs, each of them with a set of reflection exercises. Chapter 2 explores how systems relate to reality, exploring different perspectives related to the purpose of the system. Chapter 3 explains what it takes to be a model and how models and systems are related and concludes with discussing model semantics, meaning, and correctness. In Chapter 4, specifications are debated which are precise descriptions of models and systems. It presents the language constructs needed to describe systems and shows how the constructs can be expressed in concrete languages, considering both the structure and the behaviour of models. Chapter 5 considers the creation, simulation, and correct execution of specifications (model descriptions or programs). Eventually, Chapter 6 presents a collection of real-world modelling cases. Apart from describing the case, the concepts of the book are applied to the case, thus giving a better understanding of the concepts. The book is carefully designed to explain modelling and programming concepts, their relationships, and their use. Written for computer science students and lecturers, it covers systems, modelling, programming, simulation, and semantics.
650 0 $a Computer simulation. $3 525602
650 0 $a Computer programming. $3 527209
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Computer and Information Systems Applications. $3 3538505
650 2 4 $a Computer Modelling. $3 3538541
700 1 $a Prinz, Andreas. $3 893064
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
856 4 0 $u https://doi.org/10.1007/978-3-031-71280-7
950 $a Computer Science (SpringerNature-11645)