Mohlo by sa vám tiež páčiť

Viac informácií o knihe Improving Scalability of Model Checking Software Architectures

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 118 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Improving Scalability of Model Checking Software Architectures
• Podnázov: A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML
• Autor: Bosah Chukwuogo
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 96
• EAN: 9783639101423
• ISBN: 3639101421
• ID: 06819140
• Nakladateľ: VDM Verlag
• Hmotnosť: 141 g
• Rozmery: 229 × 152 × 5 mm
• Dátum vydania: 18. November 2008

Obľúbené z iného súdka

---

---

---