{"product_id":"ashish-dwivedi-kumar-formalizacja-i-sprawdzanie-modeli-stylu-architektury-oprogramowania-9786202438780","title":"Formalizacja i sprawdzanie modeli stylu architektury oprogramowania","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.","brand":"Wydawnictwo Nasza Wiedza","offers":[{"title":"Default Title","offer_id":53743351071062,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/ashish-dwivedi-kumar-formalizacja-i-sprawdzanie-modeli-stylu-architektury-oprogramowania-9786202438780","provider":"momoxbooks","version":"1.0","type":"link"}