phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Improving Scalability of Model Checking Software Architectures

Język AngielskiAngielski
Książka Miękka
Książka Improving Scalability of Model Checking Software Architectures Bosah Chukwuogo
Kod Libristo: 06819140
Wydawnictwo VDM Verlag, listopad 2008
This thesis presents a methodology that shows how§abstraction can be considered during model§transfo... Cały opis
? points 137 b
234.37 zł
Dostępna u dostawcy Wysyłamy za 15-20 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Advanced Trainer Six Practice Tests with Answers with Audio Felicity O'Dell / Twarda
common.buy 138.24 zł
TOP
Zodiac Academy 7 Susanne Valenti / Miękka
common.buy 147.14 zł
TOP
Feeding Hannibal: A Connoisseur's Cookbook Janice Poon / Twarda
common.buy 104.13 zł
TOP
Poison Song (The Winnowing Flame Trilogy 3) Jen Williams / Miękka
common.buy 55.41 zł
TOP Zapowiedź
Beautifull Cassandra Jane Austen / Miękka
common.buy 16.20 zł
TOP
Unreasonable Hospitality / Twarda
common.buy 69.51 zł
TOP
Hell Bent / Twarda
common.buy 101.62 zł
TOP
Way of the Turtle: The Secret Methods that Turned Ordinary People into Legendary Traders Curtis Faith / Twarda
common.buy 130.23 zł
TOP
A Touch of Darkness Scarlett St. Clair / Miękka
common.buy 62.41 zł
TOP
Turn-of-the-Century Fashion Pattern GORDON / Miękka
common.buy 72.41 zł
TOP
Mike Mignola's Hellboy In Hell and Other Stories Artisan Edition / Miękka
common.buy 137.24 zł
Jean Haines' World of Watercolour Jean Haines / Twarda
common.buy 92.52 zł
Grit Angela Duckworth / Miękka
common.buy 53.91 zł
Flashpoint: The 10th Anniversary Omnibus / Twarda
common.buy 500.46 zł
Executive Coaching with Backbone and Heart - A Systems Approach to Engaging Leaders with Their Challenges 2e Mary Beth A. O'Neill / Twarda
common.buy 290.49 zł
Sense and Sensibility Jane Austen / Miękka
common.buy 31.50 zł

This thesis presents a methodology that shows how§abstraction can be considered during model§transformation to reduce the resulting Color Petri§Net (CPN) state space while preserving the expected§behavior of the software. Detailed descriptions of§the transformation process from UML model to CPN§model for software architectures of application§systems are presented as well as two case studies -§Automated Teller Machine (ATM) system and Elevator§system. The state spaces generated during analysis of§each case study are presented, and the practical§feasibility of this methodology is described using§results of each case study.

Informacje o książce

Pełna nazwa Improving Scalability of Model Checking Software Architectures
Autor Bosah Chukwuogo
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 96
EAN 9783639101423
ISBN 3639101421
Kod Libristo 06819140
Wydawnictwo VDM Verlag
Waga 141
Wymiary 152 x 229 x 5

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo