Informatyka
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ń.
Cena: 30 zł
Liczba stron: 264 • Format: 170 × 240 mm • Rok wydania: 2007
ISBN 978-83-71193-335-3
