Placeholder text

Go to cart

Formalizacja i sprawdzanie modeli stylu architektury oprogramowania

By Dwivedi, Ashish Kumar

Formalizacja i sprawdzanie modeli stylu architektury oprogramowania

By Dwivedi, Ashish Kumar

- Default Title
Description
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¿¿ formalnych. Architektura oprogramowania odgrywa wän¿ rol¿ w projektowaniu wysokopoziomowym systemu pod wzgl¿dem komponentów, ¿¿czników i konfiguracji. G¿ównym elementem sk¿adowym architektury oprogramowania jest styl architektoniczny, który zapewnia semantyk¿ projektowania specyficzn¿ dla danej dziedziny. W analizie z¿o¿onego stylu architektonicznego podj¿to prób¿ sformalizowania jednego z¿o¿onego stylu, np. C2 (komponent i ¿¿cznik), przy u¿yciu formalnego j¿zyka specyfikacji Alloy. Do sprawdzania spójno¿ci notacji modelowania wykorzystuje si¿ narz¿dzie do sprawdzania modeli, np. Alloy Analyzer.
Product details
Binding:
Paperback
Number of Pages:
88
Publication Date:
2025-09-06
Publisher:
Wydawnictwo Nasza Wiedza
Languages:
Original: Polish
ISBN10:
6202438789
ISBN13:
9786202438780
GPSR Manufacturer Reference:
[email protected]
Weight:
149 g
Height:
150 cm
Width:
220 cm
Thickness:
6 cm
Buy on Amazon
Currently sold out