Understanding Modelling and Programming
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, a...
Saved in:
| Main Authors: | , , , |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Edition: | 1st ed. 2025. |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-031-71280-7 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-71280-7 | ||
| 003 | DE-He213 | ||
| 005 | 20260810160123.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 241230s2025 sz | o |||| 0|eng d | ||
| 020 | |a 9783031712807 |9 978-3-031-71280-7 | ||
| 024 | 7 | |a 10.1007/978-3-031-71280-7 |2 doi | |
| 050 | 4 | |a QA76.758 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 thema | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 100 | 1 | |a Prinz, Andreas. |e author. |0 (orcid)0000-0002-0646-2877 |1 https://orcid.org/0000-0002-0646-2877 |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Understanding Modelling and Programming |h [electronic resource] / |c by Andreas Prinz, Birger Møller-Pedersen, Joachim Fischer, Bernhard Thalheim. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a 1 online resource (XVII, 111 p. 64 illus.). |b 43 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 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. | ||
| 588 | |a Print version record. | ||
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Application software. | |
| 650 | 0 | |a Computer simulation. | |
| 650 | 1 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Computer and Information Systems Applications. |
| 650 | 2 | 4 | |a Computer Modelling. |
| 700 | 1 | |a Møller-Pedersen, Birger. |e author. |0 (orcid)0000-0003-2123-3260 |1 https://orcid.org/0000-0003-2123-3260 |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 700 | 1 | |a Fischer, Joachim. |e author. |0 (orcid)0000-0003-2476-3996 |1 https://orcid.org/0000-0003-2476-3996 |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 700 | 1 | |a Thalheim, Bernhard. |e author. |0 (orcid)0000-0002-7909-7786 |1 https://orcid.org/0000-0002-7909-7786 |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031712791 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031712814 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-71280-7 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-239 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Focus Bundle Software and Systems (SpringerNature-85409) | ||