Improving Scalability of Model Checking Software Architectures

Name: Improving Scalability of Model Checking Software Architectures
Brand: VDM Verlag
SKU: 9783639101423
Price: 273.57 RON
Availability: InStock

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

Autor: Bosah Chukwuogo

Limbă:

Legare: Carte broșată

Editura: VDM Verlag

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

273.57 lei

This thesis presents a methodology that shows how§abstraction can be considered during model§transfo...

Informații despre carte

Autor

Bosah Chukwuogo

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2008

Pagini

EAN

9783639101423

ISBN

3639101421

Enbook ID

06819140

Editura

VDM Verlag

Greutate

141

Dimensiuni

152 x 229 x 5

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Improving Scalability of Model Checking Software Architectures

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și