Modelowanie systemów współbieżnych w języku Alvis
Cena regularna:
towar niedostępny

Opis
Praca zawiera podsumowanie wyników wieloletnich badań autora w obszarze zastosowania metod formalnych w inżynierii oprogramowania. Autor zaproponował w niej nowy formalny język modelowania (Alvis) i pokazał potencjalne korzyści wynikające z jego praktycznego zastosowania w procesie wytwarzania oprogramowania. Wprawdzie język Alvis został zainspirowany algebrami procesów i sieciami Petriego, ale opracowano go przede wszystkim z myślą o wygodzie stosowania z inżynierskiego punktu widzenia. Najistotniejszą zaletą proponowanego podejścia, pomijając kwestie dotyczące syntaktyki, jest starannie opracowana formalna semantyka języka, w szczególności metoda wyrażania stanów systemów i definicje przejść między stanami. W monografii można również znaleźć inne wartościowe wyniki naukowe, takie jak metoda reprezentowania i weryfikacji systemów regułowych z użyciem języka Haskell oraz metoda weryfikacji grafów LTS. Omówiono nie tylko klasyczne podejście bazujące na technikach weryfikacji modelowej (logika temporalna), ale również nowatorskie - z użyciem funkcji filtrujących implementowanych w Haskellu.
Szczegóły
ISBN | 9788374646079 |
Autor | Szpyrka Marcin |
Oprawa | br |
Rok wydania | 2013 |
Format | b5 |
Stron | 234 |
Koszty dostawy
Cena nie zawiera ewentualnych kosztów płatności
Opinie o produkcie (0)
