| Russian | English |
| в этом разделе мы покажем, как сети Петри могут моделировать различные системы параллельных взаимодействующих процессов | in this section we show how Petri nets can faithfully model many systems of concurrently executing cooperating processes (см. Petri Net Theory And The Modeling Of Systems / James L. Peterson 1981) |
| Оба эти подхода широко применяются в соответствующих научных областях и показали свою применимость в среде профессиональных разработок | Both these approaches are popular in their respective domains and are proven to work in professional environments (см. AI Game Development: Synthetic Creatures with Learning and Reactive Behaviors / Alex J. Champandard 2003 ssn) |
| один из способов показать деятельность на диаграмме состояний-пометить переход в состояние, где она протекает | one way to depict an activity on the statechart is to label the transition into the state in which the activity executes (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa) |
| Основу книги составляет подробный перечень методов рефакторинга. Каждый метод описывает мотивацию и технику испытанного на практике преобразования кода. Некоторые виды рефакторинга, такие как "Выделение метода" или "Перемещение поля", могут показаться очевидными, но пусть это не вводит вас в заблуждение | at the book's core is a comprehensive catalog of refactorings. Each refactoring describes the motivation and mechanics of a proven code transformation. Some of the refactorings, such as Extract Method or Move Field, may seem obvious. But don't be fooled (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999) |
| показать включением | reveal by including (ssn) |
| показать связь | show wire (ssn) |
| тестирование: процесс, содержащий в себе все активности жизненного цикла, как динамические, так и статические, касающиеся планирования, подготовки и оценки программных продуктов и связанных с этим результатов работ с целью определить, что они соответствуют описанным требованиям, показать, что они подходят для заявленных целей и для определения дефектов | testing: The process consisting of all lifecycle activities, both static and dynamic, concerned with planning, preparation and evaluation of software products and related work products to determine that they satisfy specified requirements, to demonstrate that they are fit for purpose and to detect defects (см. Standard glossary of terms used in Software Testing ssn) |
| Упражнение. Показать, что обычное свойство дополняющей нежёсткости оптимальных решений для прямой и двойственной задач является частным случаем 2б | Exercise: Show that the usual primal-dual complementary slackness for optimality is a special case of 2b (ssn) |
