Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Improving Scalability of Model Checking Software Architectures

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Improving Scalability of Model Checking Software Architectures Bosah Chukwuogo
Libristo-code: 06819140
Uitgeverij VDM Verlag, november 2008
This thesis presents a methodology that shows how§abstraction can be considered during model§transfo... Volledige beschrijving
? points 125 b
51.40 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Suomen kielioppia ulkomaalaisille Лейла Уайт / Boek Gebonden (paperback)
common.buy 63.12 €
Populismus, Diskurs, Staat Seongcheol Kim / Boek Gebonden (paperback)
common.buy 55.55 €
A Clockwork Orange Anthony Burgess / Boek Gebonden (paperback)
common.buy 7.26 €
RFID-Technologie im Baugewerbe Namankumar Borda / Boek Gebonden (paperback)
common.buy 48.88 €
TOP
The Last Book / Boek Gebonden (harde band)
common.buy 50.09 €
Miraculous: Das große Buch der Kwamis Claudia Weber / Boek Gebonden (harde band)
common.buy 8.78 €
Glitzerspaß - Einhorn-Sticker / Spel/speelgoed Speelgoed
common.buy 6.76 €
Guide des tombes d'hommes célèbres Bertrand Beyern / Boek Gebonden (paperback)
common.buy 23.53 €
The Mortal Instruments - Les Origines - tome 1 L'ange mécanique Cassandra Clare / Boek Gebonden (paperback)
common.buy 22.82 €
21st Century Boys: Ultimative Edition Josef Shanel / Boek Gebonden (paperback)
common.buy 16.45 €
Criton Platon / Boek Gebonden (paperback)
common.buy 8.37 €
Tefteri : el libro de las cuentas pendientes Vinicio Capossela / Boek Gebonden (paperback)
common.buy 20.60 €
Faszination Mathematik Serge Lang / Boek Gebonden (paperback)
common.buy 53.02 €
Capacidad Comunicacional Carlos Eduardo Sierra Quesada / Boek Gebonden (paperback)
common.buy 34.84 €
Gel Bde Einer Sterbenden Emile Zola / Boek Gebonden (paperback)
common.buy 15.24 €
Etude Comparative de Methodes de Plc En Voip Hamza Kheddar / Boek Gebonden (paperback)
common.buy 63.93 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Improving Scalability of Model Checking Software Architectures
Auteur Bosah Chukwuogo
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 96
EAN 9783639101423
ISBN 3639101421
Libristo-code 06819140
Uitgeverij VDM Verlag
Gewicht 141
Afmetingen 152 x 229 x 5

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Rasta Rules: 144 Rastafarian Rules, Laws and Regulations Empress MS / Boek Gebonden (paperback)
common.buy 12.11 €
THE LIFE AND WRITINGS OF T. W. ROBERTSON T. EDGAR PEMBERTON / Boek Gebonden (harde band)
common.buy 45.75 €
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 / Boek Gebonden (paperback)
common.buy 14.13 €
TOP
How to be a Brit George Mikes / Boek Gebonden (paperback)
common.buy 14.84 €
The Burning Page Genevieve Cogman / Boek Gebonden (paperback)
common.buy 19.48 €
Keeley's Reading Log Martha Day Zschock / Boek Gebonden (paperback)
common.buy 8.37 €
Introduction to the Mathematics of Planning and Scheduling Geza Paul Bottlik / Boek Gebonden (paperback)
common.buy 99.99 €
Grit Angela Duckworth / Boek Gebonden (paperback)
common.buy 12.21 €
Poison Song (The Winnowing Flame Trilogy 3) Jen Williams / Boek Gebonden (paperback)
common.buy 12.21 €
Flashpoint: The 10th Anniversary Omnibus Johns / Boek Gebonden (harde band)
common.buy 111.10 €
Mike Mignola's Hellboy In Hell and Other Stories Artisan Edition Mignola / Boek Gebonden (paperback)
common.buy 32.52 €
A Touch of Darkness Scarlett St. Clair / Boek Gebonden (paperback)
common.buy 15.04 €
Voordelig
Modern Caravan Kate Oliver / Boek Gebonden (harde band)
common.buy 16.05 €
TOP
Unreasonable Hospitality Will Guidara / Boek Gebonden (harde band)
common.buy 17.16 €
How to Invest Rubenstein / Boek Gebonden (harde band)
common.buy 23.12 €
TOP
Zodiac Academy 7 Susanne Valenti / Boek Gebonden (paperback)
common.buy 38.78 €
Hell Bent BARDUGO LEIGH / Boek Gebonden (harde band)
common.buy 24.23 €
The Last Tiger Brad Riew / Boek Gebonden (paperback)
common.buy 10.09 €
Islam, Christianity and the Realms of the Miraculous NETTON IAN RICHARD / Boek Gebonden (harde band)
common.buy 163.93 €
TOP
Feeding Hannibal: A Connoisseur's Cookbook Janice Poon / Boek Gebonden (harde band)
common.buy 23.02 €
TOP
Green Lantern by Geoff Johns Omnibus Vol. 3 Geoff Johns / Boek Gebonden (harde band)
common.buy 95.65 €
TOP
Sense and Sensibility Jane Austen / Boek Gebonden (paperback)
common.buy 6.96 €
Modeling, Simulation, and Optimization of Geological Carbon Storage Zheming Zhang / Boek Gebonden (paperback)
common.buy 46.25 €
Social Representations - Explorations in Social Psychology Serge Moscovici / Boek Gebonden (harde band)
common.buy 86.66 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?