Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Improving Scalability of Model Checking Software Architectures

A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML

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 131 b
282.16 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Suomen kielioppia ulkomaalaisille Лейла Уайт / Carte Carte broșată
common.buy 312.55 lei
Populismus, Diskurs, Staat Seongcheol Kim / Carte Carte broșată
common.buy 277.59 lei
A Clockwork Orange Anthony Burgess / Carte Carte broșată
common.buy 40.65 lei
RFID-Technologie im Baugewerbe Namankumar Borda / Carte Carte broșată
common.buy 270.85 lei
The Last Book / Carte Copertă tare
common.buy 240.45 lei
Miraculous: Das große Buch der Kwamis Claudia Weber / Carte Copertă tare
common.buy 48.85 lei
Glitzerspaß - Einhorn-Sticker / Joc / Jucărie Jucărie
common.buy 36.92 lei
Guide des tombes d'hommes célèbres Bertrand Beyern / Carte Carte broșată
common.buy 124.47 lei
The Mortal Instruments - Les Origines - tome 1 L'ange mécanique Cassandra Clare / Carte Carte broșată
common.buy 120.95 lei
21st Century Boys: Ultimative Edition Josef Shanel / Carte Carte broșată
common.buy 91.59 lei
Criton Platon / Carte Carte broșată
common.buy 45.74 lei
Tefteri : el libro de las cuentas pendientes Vinicio Capossela / Carte Carte broșată
common.buy 107.36 lei
Faszination Mathematik Serge Lang / Carte Carte broșată
common.buy 292.32 lei
Capacidad Comunicacional Carlos Eduardo Sierra Quesada / Carte Carte broșată
common.buy 192.94 lei
Gel Bde Einer Sterbenden Emile Zola / Carte Carte broșată
common.buy 84.43 lei
Etude Comparative de Methodes de Plc En Voip Hamza Kheddar / Carte Carte broșată
common.buy 354.46 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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

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

Ar putea de asemenea, să te intereseze

Rasta Rules: 144 Rastafarian Rules, Laws and Regulations Empress MS / Carte Carte broșată
common.buy 66.69 lei
THE LIFE AND WRITINGS OF T. W. ROBERTSON T. EDGAR PEMBERTON / Carte Copertă tare
common.buy 251.03 lei
A defence of a letter concerning the education of dissenters in their private academies: ... being an answer to the Defence of the dissenters educatio Samuel Wesley / Carte Carte broșată
common.buy 78.62 lei
Top
Jean Haines' World of Watercolour Jean Haines / Carte Copertă tare
common.buy 172.61 lei
How to be a Brit George Mikes / Carte Carte broșată
common.buy 77.58 lei
The Burning Page Genevieve Cogman / Carte Carte broșată
common.buy 107.98 lei
Keeley's Reading Log Martha Day Zschock / Carte Carte broșată
common.buy 46.67 lei
Introduction to the Mathematics of Planning and Scheduling Geza Paul Bottlik / Carte Carte broșată
common.buy 518.26 lei
Grit Angela Duckworth / Carte Carte broșată
common.buy 68.87 lei
Top
Poison Song (The Winnowing Flame Trilogy 3) Jen Williams / Carte Carte broșată
common.buy 68.87 lei
Flashpoint: The 10th Anniversary Omnibus Johns / Carte Copertă tare
common.buy 618.06 lei
Top
Mike Mignola's Hellboy In Hell and Other Stories Artisan Edition Mignola / Carte Carte broșată
common.buy 160.47 lei
A Touch of Darkness Scarlett St. Clair / Carte Carte broșată
common.buy 83.60 lei
Leftin
Modern Caravan Kate Oliver / Carte Copertă tare
common.buy 83.81 lei
Top
Unreasonable Hospitality Will Guidara / Carte Copertă tare
common.buy 89.20 lei
How to Invest Rubenstein / Carte Copertă tare
common.buy 128.52 lei
Top
Zodiac Academy 7 Susanne Valenti / Carte Carte broșată
common.buy 190.97 lei
Top
Hell Bent BARDUGO LEIGH / Carte Copertă tare
common.buy 119.70 lei
The Last Tiger Brad Riew / Carte Carte broșată
common.buy 56.42 lei
Islam, Christianity and the Realms of the Miraculous NETTON IAN RICHARD / Carte Copertă tare
common.buy 894.31 lei
Top
Feeding Hannibal: A Connoisseur's Cookbook Janice Poon / Carte Copertă tare
common.buy 119.49 lei
Green Lantern by Geoff Johns Omnibus Vol. 3 Geoff Johns / Carte Copertă tare
common.buy 516.08 lei
Top
Sense and Sensibility Jane Austen / Carte Carte broșată
common.buy 38.68 lei
Modeling, Simulation, and Optimization of Geological Carbon Storage Zheming Zhang / Carte Carte broșată
common.buy 256.43 lei

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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?