phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Improving Scalability of Model Checking Software Architectures

Limba englezăengleză
Carte Carte broșată
Carte Improving Scalability of Model Checking Software Architectures Bosah Chukwuogo
Codul Libristo: 06819140
Editura VDM Verlag, noiembrie 2008
This thesis presents a methodology that shows how§abstraction can be considered during model§transfo... Descrierea completă
? points 144 b
290 lei
În depozitul extern Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Advanced Trainer Six Practice Tests with Answers with Audio Felicity O'Dell / Copertă tare
common.buy 160 lei
top
Unreasonable Hospitality / Copertă tare
common.buy 124 lei
top
Poison Song (The Winnowing Flame Trilogy 3) Jen Williams / Carte broșată
common.buy 68 lei
top
Feeding Hannibal: A Connoisseur's Cookbook Janice Poon / Copertă tare
common.buy 131 lei
top
Beautifull Cassandra Jane Austen / Carte broșată
common.buy 19 lei
top
A Touch of Darkness Scarlett St. Clair / Carte broșată
common.buy 79 lei
top
Jean Haines' World of Watercolour Jean Haines / Copertă tare
common.buy 152 lei
top
Hell Bent / Copertă tare
common.buy 128 lei
Zodiac Academy 7 Susanne Valenti / Carte broșată
common.buy 185 lei
Sense and Sensibility Jane Austen / Carte broșată
common.buy 40 lei
Way of the Turtle: The Secret Methods that Turned Ordinary People into Legendary Traders Curtis Faith / Copertă tare
common.buy 155 lei
Grit Angela Duckworth / Carte broșată
common.buy 68 lei
How to Invest / Copertă tare
common.buy 131 lei
Executive Coaching with Backbone and Heart - A Systems Approach to Engaging Leaders with Their Challenges 2e Mary Beth A. O'Neill / Copertă tare
common.buy 360 lei
Turn-of-the-Century Fashion Pattern GORDON / Carte broșată
common.buy 91 lei
Flashpoint: The 10th Anniversary Omnibus / Copertă tare
common.buy 630 lei

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.

Informații despre carte

Titlu complet Improving Scalability of Model Checking Software Architectures
Autor Bosah Chukwuogo
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 96
EAN 9783639101423
ISBN 3639101421
Codul Libristo 06819140
Editura VDM Verlag
Greutatea 141
Dimensiuni 152 x 229 x 5

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo