Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list

Formalizacja i sprawdzanie modeli stylu architektury oprogramowania

By Ashish Kumar Dwivedi
Paperback
$47.00
By Ashish Kumar Dwivedi
ßßß
15|
Promotion message icon

Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5. Learn More

Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
W niniejszym badaniu opisano formalne modele systemu ATM przy użyciu języków opartych na stanach, takich jak Z, B i Alloy, a także języka opartego na zdarzeniach, takiego jak Monterey Phoenix. Sprawdzanie modeli odbywa się za pomocą zautomatyzowanych narzędzi, tj. Z/EVES, Atelier B i Alloy Analyzer dla specyfikacji Z, B i Alloy. Ponadto przedstawiono analizę porównawczą różnych cech charakterystycznych dla różnych podejśc formalnych. Architektura oprogramowania odgrywa ważną rolę w projekto...