LOTOSphere: Software Development with LOTOS
Описание
LOTOS (Спецификация языка временного упорядочения) стал международным стандартом в 1989 году, хотя первые версии этого языка были применены к коммуникационным службам и протоколам семейства ISO/OSI еще в 1984 году. История использования LOTOS показала, что от использования таких методов формального описания можно ожидать большего, чем простое создание стандартных справочных документов. В книге "Лотосфера: Разработка программного обеспечения с LOTOS" подробно описан пятилетний проект, в...