Modelowanie systemów współbieżnych w języku Alvis

Dostępność: Dostęny
Wysyłka w: 24 godziny
Dostawa: Cena nie zawiera ewentualnych kosztów płatności sprawdź formy dostawy
Cena brutto: 25,00 zł
zawiera 5% VAT, bez kosztów dostawy
25.00
Cena netto: 23,81 zł
bez 5% VAT i kosztów dostawy
ilość EGZ.

towar niedostępny

dodaj do przechowalni
Pin It

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

Kraj wysyłki:

Opinie o produkcie (0)

Submit
Newsletter
Podaj swój adres e-mail, jeżeli chcesz otrzymywać informacje o nowościach i promocjach.
Submit
do góry
Sklep jest w trybie podglądu
Pokaż pełną wersję strony
Sklep internetowy Shoper.pl