Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

Odkryj inne ciekawe książki wydawnictwa WNT, które mogą Cię zainteresować po lekturze 'Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego'

Wydawnictwo WNT przygotowało dla miłośników literatury technicznej bogatą ofertę. Poniżej prezentujemy kilka tytułów, które mogą uzupełnić Twoją wiedzę po lekturze omawianej książki.

Po jakie produkty jeszcze warto sięgnąć:

1. Systemy uczące się

   Jest to nowoczesny podręcznik zaawansowanych technik analizy danych stosowanych w zagadnieniach klasyfikacji, z głównym naciskiem na metody statystyczne. Książka składa się z dwóch części. W pierwszej przedstawiono systemy uczenia się pod nadzorem, w drugiej opisano cztery podstawowe metody uczenia się bez nadzoru. Uwzględniono większość nowych, najbardziej obiecujących metod powstałych w ostatnim dziesięcioleciu. Podręcznik jest przeznaczony dla studentów studiów matematycznych, informatycznych i technicznych, na których analiza jest przedmiotem obowiązkowym lub fakultatywnym.

2. Asortyment produktów programowych

   Autorzy przedstawiają proces FAST, opracowany w firmie AT&T, a rozwijany w Lucent Technologies, polegający na tworzeniu elementów rodziny programów. Opisują też metodę PASTA, służącą do modelowania procesów FAST. Wiele firm programistycznych opanowało produkcję oprogramowania, ale niewiele jest rzeczywiście wydajnych. Stosując skuteczną, usystematyzowaną metodę tworzenia oprogramowania, firma może osiągnąć przewagę nad swoimi konkurentami. Może bowiem szybko wprowadzić produkt na rynek, lepiej ustalić harmonogram prac, opracować niezawodny kod i zmniejszyć koszty. Opisując proces FAST, zastosowany już z dużym powodzeniem w wielu firmach programistycznych, autorzy przedstawiają sprawdzone metody wprowadzania zmian w sposobie działania firmy, a w konsekwencji odnoszenia sukcesu.

3. Praktyczne podejście do inżynierii oprogramowania

   Książka Praktyczne podejście do inżynierii oprogramowania autorstwa Pressmana Rogera S. to niezbędna lektura dla wszystkich, którzy pragną zgłębić tajniki wytwarzania oprogramowania. Książka składa się z pięciu starannie przemyślanych części, które kompleksowo omawiają kluczowe aspekty inżynierii oprogramowania. Książka jest idealna dla architektów systemów, projektantów oprogramowania, programistów, ludzi zajmujących się wdrażaniem oprogramowania, menedżerów firm informatycznych oraz studentów informatyki, którzy pragną zgłębić nauki techniczne związane z programowaniem.

4. Równowagi jonowe

   Odkryj fascynujący świat nauk przyrodniczych dzięki książce Równowagi jonowe autorstwa Waldemara Ufnalskiego. Ta publikacja stanowi doskonałe wsparcie zarówno dla studentów, jak i pasjonatów chemii, którzy pragną zgłębić zagadnienia związane z równowagami chemicznymi w kontekście nowoczesnych metod nauczania. Dzięki unikalnemu połączeniu teorii z praktyką, książka zaspokaja potrzeby współczesnego czytelnika. Każdy algorytm został dokładnie opisany i skomentowany, co pozwala na samodzielne badanie tematów. Książka jest przydatna nie tylko w chemii, ale również w naukach technicznych oraz podczas nauki informatyki i programowania.

5. Komputerowo wspomagane projektowanie systemów antropotechnicznych

   Systemy antropotechniczne i kryteria ich oceny zarówno pod względem ergonomiczności, jak i bezpieczeństwa pracy, metodyki modelowania, wizualizacji i symulacji środków technicznych, modelowanie relacji somatycznych i receptorowych.