Autor: Huzar Z.

ISBN: 978-83-71193-335-3

Liczba stron: 264

,

LOTOS – język formalnych specyfikacji systemów informatycznych

30,00 

Availability: Na stanie

W monografii przedstawiono język LOTOS, jego zastosowania, a także jego rozszerzenia, które umożliwiają wykorzystanie języka w procesie specyfikacji i projektowania systemów czasu rzeczywistego.

Kategorie: ,
somdn_product_page

W monografii przedstawiono język LOTOS, jego zastosowania, a także jego rozszerzenia, które umożliwiają wykorzystanie języka w procesie specyfikacji i projektowania systemów czasu rzeczywistego. Omówiono dwa rodzaje rozszerzeń: rozszerzenia czasowe, które pozwalają na specyfikowanie systemów czasu rzeczywisfego z silnymi ograniczeniami czasowymi, oraz rozszerzenia wydajnościowe, które umożliwiają analizę wydajnościową systemów czasu rzeczywistego ze słabymi ograniczeniami czasowymi. Przedstawiono metodykę stosowania LOTOSa, a zwłaszcza jego wykorzystanie w specyfikacji usług i protokołów sieciowych jako głównego zakresu zastosowania języka.

Omówiono również podstawy matematyczne, na których opiera się LOTOS – są nimi: koncepcja algebraicznej specyfikacji abstrakcyjnych typów danych oraz koncepcja algebraicznych specyfikacji behawioralnych, oparta na rachunku komunikujących się procesów. W monografii poświęcono dużo uwagi definiowaniu i analizie semantyki języka, zwłaszcza w kontekście jego czasowych i wydajnościowych rozszerzeń.

Waga 0,500 kg
Kategoria

Książki

Autor

Huzar Z.

Rok wydania

2007

Liczba stron

264

Dział

Informatyka

Format

170 × 240 mm

ISBN

978-83-71193-335-3