Autor: Tomasz Szmuc, Marcin Szpyrka
ISBN: 978-83-204-3669-3
Ilość stron: 466
Data wydania: 07/2010
W książce zaprezentowano przede wszystkim wyniki badań naukowych dotyczących zastosowania metod formalnych w inżynierii oprogramowania systemów czasu rzeczywistego.
Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych.
Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską.
Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych.
Rozdziały:
1. Wprowadzenie
2. Sieci Petriego
3. Algebry procesów
4. Logiki temporalne i logiki czasu rzeczywistego
5. Automaty czasowe
6. Charakterystyka oprogramowania systemów wbudowanych
7. Strukturalne modelowanie i analiza poprawności sterowników
8. Hybrydowe modelowanie i analiza poprawności sieci Petriego/CCS
9. Analiza czasowa z zastosowaniem czasowych kolorowanych sieci Petriego
10. Zintegrowane podejście do analizy i modelowania z zastosowaniem RTCP-sieci
11. Systematyczna analiza poprawności z zastosowaniem algebr procesów
12. Metody reprezentacji i analizy systemów regułowych
13. Poprawność względna i funkcja obserwacji
14. Weryfikacja modelowa
15. Translacja diagramów języka UML na kolorowane hierarchiczne sieci Petriego
16. Modelowanie i weryfikacja implementacji
A Język programowania Ada 2005
adobe algorytmy apache asp autocad asembler bsd c++ c# delphi dtp excel flash html java javascript linux matlab mysql office php samba voip uml unix visual studio windows word
Księgarnia Informatyczna zaprasza.