Russian | English |
Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | A timed automaton is a finite automaton augmented with a finite set of real-valued clocks (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
класс, снабжённый аннотацией | class annotated with (такой-то; англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | finite automaton augmented with a finite set of real-valued clocks (ssn) |
метод, снабжённый аннотацией | annotated method (такой-то; англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | to be a finite automaton augmented with a finite set of real-valued clocks (ssn) |
простой объект языка Java, снабжённый аннотациями для отображения объекта на базу данных | POJO with mapping annotations (англ. термин взят из кн.: Ottinger J.B., Minter D., Linwood J. Beginning Hibernate. – Apress, 2014. – 223 р. Alex_Odeychuk) |
снабжённый аннотацией | annotated with (такой-то; англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
снабжённый атрибутом "архивный" | archive (о файле ssn) |
снабжённый кэшем | cacheable (ssn) |