[email protected]
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft Packeta 990 Ft GLS futár 1 590 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Improving Scalability of Model Checking Software Architectures

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Improving Scalability of Model Checking Software Architectures Bosah Chukwuogo
Libristo kód: 06819140
Kiadó VDM Verlag, november 2008
This thesis presents a methodology that shows how§abstraction can be considered during model§transfo... Teljes leírás
? points 138 b
21 625 Ft
Beszállítói készleten Küldés 15-20 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Advanced Trainer Six Practice Tests with Answers with Audio Felicity O'Dell / Kemény kötésű
common.buy 12 756 Ft
toplistás
Zodiac Academy 7 Susanne Valenti / Puha kötésű
common.buy 13 571 Ft
toplistás
Feeding Hannibal: A Connoisseur's Cookbook Janice Poon / Kemény kötésű
common.buy 9 610 Ft
toplistás
Unreasonable Hospitality / Kemény kötésű
common.buy 9 091 Ft
toplistás
Poison Song (The Winnowing Flame Trilogy 3) Jen Williams / Puha kötésű
common.buy 5 457 Ft
toplistás hamarosan
Beautifull Cassandra Jane Austen / Puha kötésű
common.buy 1 495 Ft
toplistás
Hell Bent / Kemény kötésű
common.buy 9 373 Ft
toplistás
Way of the Turtle: The Secret Methods that Turned Ordinary People into Legendary Traders Curtis Faith / Kemény kötésű
common.buy 12 016 Ft
toplistás
A Touch of Darkness Scarlett St. Clair / Puha kötésű
common.buy 5 754 Ft
toplistás
Turn-of-the-Century Fashion Pattern GORDON / Puha kötésű
common.buy 6 685 Ft
toplistás
Mike Mignola's Hellboy In Hell and Other Stories Artisan Edition / Puha kötésű
common.buy 12 660 Ft
Jean Haines' World of Watercolour Jean Haines / Kemény kötésű
common.buy 9 091 Ft
Grit Angela Duckworth / Puha kötésű
common.buy 5 301 Ft
Flashpoint: The 10th Anniversary Omnibus / Kemény kötésű
common.buy 46 170 Ft
Executive Coaching with Backbone and Heart - A Systems Approach to Engaging Leaders with Their Challenges 2e Mary Beth A. O'Neill / Kemény kötésű
common.buy 26 795 Ft
Sense and Sensibility Jane Austen / Puha kötésű
common.buy 2 910 Ft

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.

Információ a könyvről

Teljes megnevezés Improving Scalability of Model Checking Software Architectures
Szerző Bosah Chukwuogo
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2008
Oldalszám 96
EAN 9783639101423
ISBN 3639101421
Libristo kód 06819140
Kiadó VDM Verlag
Súly 141
Méretek 152 x 229 x 5

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása