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.

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