Modeling Companion for Software Practitioners
579 kr.
579 kr.
På lager
Fre., 31 jan. - tors., 6 feb.
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Produktbeskrivelse
This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs).
The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable.
To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code.
Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book’s website at http://modelingbook.informatik.uni-ulm.de
The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable.
To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code.
Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book’s website at http://modelingbook.informatik.uni-ulm.de
Varenr.
b681a50d-6aa8-44d0-acc4-f44910e6acab
Modeling Companion for Software Practitioners
579 kr.
579 kr.
På lager
Fre., 31 jan. - tors., 6 feb.
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Lignende topsælgere
Bright Beauty
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
599 kr.
4,3(95)
torsdag, 30 jan.
Rattrix
40" Foldbar Fitness Trampolin
549 kr.
4,7(18)
fredag, 7 feb.
Bright Beauty Vanity
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
659 kr.
4,3(924)
torsdag, 30 jan.
Fenchilin
FENCHILIIN Hollywood Makeup Spejl Med Lys dæmpbar med tre lystilstande Bordplade vægbeslag hvid 58 x 46cm
695 kr.
4,5(197)
torsdag, 30 jan.
Generic
Timer til Klasselokalet - 60 minutter
169 kr.
4,2(56)
mandag, 3 feb.
Fenchilin
FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm
1.090 kr.
4,6(182)
torsdag, 30 jan.
CherrysC
Squid Game 2 Gonggi & Case Korean
89 kr.
mandag, 10 feb.
Bigzzia
2-i-1 foldeløbebånd, elektrisk løbebånd under skrivebordet, jogging til hjemmekontoret Sort
1.549 kr.
4,2(303)
fredag, 7 feb.
Otego
20-pak G4 halogenlamper 10W 12V - Varm hvid
102 kr.
4,8(30)
torsdag, 6 feb.
Rattrix
Sammenfoldelig justerbar vægtbænk, 660 LB kapacitet - Kompakt og sammenfoldelig vægtbænk til hjemmegymnastik, fuld kropstræning B
549 kr.
4,2(5)
torsdag, 6 feb.
Anbefalede produkter
Generic
Ørepuder til Bose QuietComfort - QC35/QC25/QC15/AE2 Hovedtelefoner Svart
69 kr.
4,5(723)
torsdag, 6 feb.
INF
INF Kraftig negleklipper til tykke tånegle
79 kr.
Tidligere laveste pris:
91 kr.
4,2(15)
onsdag, 5 feb.
Magnetic
Magnetic Tiles Kuglebane 88 dele
329 kr.
Tidligere laveste pris:
480 kr.
4,8(4)
torsdag, 30 jan.
Bright Beauty Vanity
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande - roterbar
549 kr.
4,2(51)
torsdag, 30 jan.
Otego
20-pak G4 halogenlamper 20W 12V - Varm hvid
99 kr.
4,0(25)
torsdag, 6 feb.
Bright Beauty Vanity
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
599 kr.
4,1(28)
torsdag, 30 jan.
Sony PlayStation DualSense - White (PS5)
499 kr.
4,4(208)
torsdag, 30 jan.
A Series
RCA AV till HDMI Converter / Adapter 1080P Universal White
79 kr.
Tidligere laveste pris:
99 kr.
3,7(10)
onsdag, 29 jan.
IVOL
Flyseng / oppustelig fodstøtte / fodpude - 3 højdepositioner
179 kr.
4,2(4)
torsdag, 30 jan.
Saphe
Saphe One+ hastigheds- og trafikalarm
468 kr.
4,2(8)
tirsdag, 11 feb.