English | Russian |
Moreover, no assumptions need to be made about the speed of the environment when this model of time is assumed | Более того, когда принимается такая модель времени, не нужно делать никаких предположений о быстродействии окружения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution time | Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
to simplify the model, I have assumed that the sequence of actions in using the microwave is | для упрощения модели я предполагаю такую последовательность действий при использовании микроволновой печи (Software engineering , 8th ed. / Ian Sommerville (2007)) |