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.
Spis treści:
1 Wprowadzenie
Tomasz Szmuc, Marcin Szpyrka
2 Sieci Petriego
Marcin Szpyrka
3 Algebry procesów
Konrad Kulakowski, Grzegorz Rogus
4 Logiki temporalne i logiki czasu rzeczywistego
Bożena Woźna-Szcześniak, Radoslaw Klimek
5 Automaty czasowe
Bożena Woźna-Szcześniak, Marcin Szpyrka
6 Charakterystyka oprogramowania systemów wbudowanych
Bartosz Trybus
7 Strukturalne modelowanie i analiza poprawności sterowników
Bartosz Trybus, Tomasz Szmuc
8 Hybrydowe modelowanie i analiza poprawności sieci Petriego/CCS
Konrad Kulakowski, Tomasz Szmuc
9 Analiza czasowa z zastosowaniem czasowych kolorowanych sieci Petriego
Slawomir Samolej, Tomasz Szmuc
10 Zintegrowane podejście do analizy i modelowania z zastosowaniem RTCP-sieci
Marcin Szpyrka, Tomasz Szmuc
11 Systematyczna analiza poprawności z zastosowaniem algebr procesów
Grzegorz Rogus, Tomasz Szmuc
12 Metody reprezentacji i analizy systemów regułowych
Antoni Ligęza, Grzegorz J. Nalepa
13 Poprawność względna i funkcja obserwacji
Piotr Szwed
14 Weryfikacja modelowa
Bożena Woźna-Szcześniak, Agata Pótrola
15 Translacja diagramów języka UML na kolorowane hierarchiczne sieci Petriego
Wojciech Szmuc, Tomasz Szmuc
16 Modelowanie i weryfikacja implementacji
Marcin Szpyrka, Piotr Matyasik, Jacek Piwowarczyk
A Język programowania Ada 2005
Jacek Piwowarczyk
Literatura
466 stron, B5, oprawa miękka