22.09.2013 |
2:13:48 |
progr. |
boolean formulas |
булевы функции |
22.09.2013 |
2:13:23 |
progr. |
boolean formula |
булева функция |
22.09.2013 |
2:09:35 |
progr. |
model checking problem |
проблема верификации моделей |
22.09.2013 |
2:05:46 |
progr. |
path quantifiers |
кванторы пути |
22.09.2013 |
2:05:07 |
progr. |
existential path quantifiers |
экзистенциальные кванторы пути |
22.09.2013 |
2:03:01 |
progr. |
universal path quantifiers |
универсальные кванторы пути |
22.09.2013 |
1:59:49 |
progr. |
path quantifier |
квантор пути |
22.09.2013 |
1:55:49 |
progr. |
linear-time logic |
логика линейного времени |
22.09.2013 |
1:55:18 |
progr. |
branching-time logic |
логика ветвящегося времени |
22.09.2013 |
1:12:42 |
progr. |
alternating transitions system |
система с альтернирующими переходами |
22.09.2013 |
1:05:12 |
progr. |
Discrete Time Markov Chain |
марковская цепь c дискретным временем |
22.09.2013 |
0:55:17 |
progr. |
difference decision diagram |
разностная решающая диаграмма |
22.09.2013 |
0:53:18 |
progr. |
decision diagram |
решающая диаграмма |
22.09.2013 |
0:49:37 |
progr. |
difference bound matrix |
матрица разностей границ |
22.09.2013 |
0:17:46 |
progr. |
deployment of virtual machines |
развёртывание виртуальных машин |
21.09.2013 |
23:58:12 |
progr. |
model based testing |
тестирование программ на основе построения моделей |
21.09.2013 |
23:57:54 |
progr. |
model based testing |
тестирование на основе построения моделей |
21.09.2013 |
23:57:27 |
progr. |
model based testing |
модельное тестирование (подход в тестировании, при котором строится математическая модель всей системы, а тестирование проводится по построенной модели) |
21.09.2013 |
23:55:47 |
progr. |
model-based testing |
тестирование на основе построения моделей |
21.09.2013 |
23:55:47 |
progr. |
model-based testing |
тестирование программ на основе построения моделей |
21.09.2013 |
23:44:53 |
progr. |
collection of quality attribute scenarios that support the capture of quality requirements for a system |
ряд сценариев атрибутов качества, обеспечивающих фиксацию требований к качеству системы |
21.09.2013 |
23:40:06 |
progr. |
capture of quality requirements for a system |
фиксация требований к качеству системы |
21.09.2013 |
23:39:05 |
progr. |
quality requirements for a system |
требования к качеству системы |
21.09.2013 |
23:32:50 |
progr. |
collection of quality attribute scenarios |
ряд сценариев атрибутов качества |
21.09.2013 |
23:32:10 |
progr. |
quality attribute scenarios |
сценарии атрибутов качества |
21.09.2013 |
23:24:40 |
progr. |
finite-state-machine models |
конечно-автоматные модели |
21.09.2013 |
23:23:17 |
progr. |
formal specification languages |
языки формальных спецификаций |
21.09.2013 |
23:21:40 |
progr. |
more rigorous approaches |
более строгие методики |
21.09.2013 |
23:20:34 |
progr. |
approaches |
методики |
21.09.2013 |
23:18:27 |
progr. |
safety-critical systems |
системы с повышенными требованиями к безопасности |
21.09.2013 |
23:17:35 |
progr. |
safety-critical system |
система с повышенными требованиями к безопасности |
21.09.2013 |
23:08:23 |
progr. |
ensuring that the implementation conforms to the architecture |
проверка соответствия реализации архитектуре |
21.09.2013 |
23:05:45 |
progr. |
implementing the system based on the architecture |
реализация системы на основе архитектуры |
21.09.2013 |
23:05:20 |
progr. |
system based on the architecture |
система на основе архитектуры |
21.09.2013 |
23:00:46 |
progr. |
documenting and communicating the architecture |
документирование и распространение сведений об архитектуре |
21.09.2013 |
22:58:41 |
progr. |
creating or selecting the architecture |
создание новой или выбор существующей архитектуры |
21.09.2013 |
22:42:57 |
progr. |
ensuring conformance to an architecture |
проверка соответствия архитектуре |
21.09.2013 |
22:42:33 |
progr. |
ensuring conformance |
проверка соответствия |
21.09.2013 |
22:39:21 |
progr. |
implementing based on the architecture |
реализация на основе архитектуры |
21.09.2013 |
22:37:38 |
progr. |
analyzing or evaluating the architecture |
анализ или оценка архитектуры |
21.09.2013 |
22:37:16 |
progr. |
evaluating the architecture |
оценка архитектуры |
21.09.2013 |
22:36:56 |
progr. |
analyzing the architecture |
анализ архитектуры |
21.09.2013 |
22:33:21 |
progr. |
communicating the architecture |
распространение сведений об архитектуре |
21.09.2013 |
22:32:42 |
progr. |
communicating |
распространение сведений |
21.09.2013 |
22:29:31 |
progr. |
creating or selecting the architecture |
создание или выбор архитектуры |
21.09.2013 |
22:29:07 |
progr. |
selecting the architecture |
выбор архитектуры |
21.09.2013 |
22:28:47 |
progr. |
creating the architecture |
создание архитектуры |
21.09.2013 |
22:24:42 |
progr. |
understanding |
выявление |
21.09.2013 |
22:21:30 |
progr. |
architecture activities |
этапы разработки архитектуры |
21.09.2013 |
22:20:39 |
progr. |
activities |
этапы разработки |
21.09.2013 |
22:16:05 |
progr. |
creating the business case for the system |
создание экономической модели системы |
21.09.2013 |
22:16:05 |
progr. |
creating the business case for the system |
создание бизнес-модели системы |
21.09.2013 |
22:13:55 |
progr. |
business case for the system |
экономическая модель системы |
21.09.2013 |
22:11:49 |
progr. |
managing the evolution of a target system or application |
управление развитием целевой системы или приложения |
21.09.2013 |
22:11:20 |
progr. |
evolution of a target system or application |
развитие целевой системы или приложения |
21.09.2013 |
22:10:48 |
progr. |
evolution of a target system |
развитие целевой системы |
21.09.2013 |
22:06:51 |
progr. |
managing the evolution of a target system |
управление развитием целевой системы |
21.09.2013 |
22:05:47 |
progr. |
managing the evolution |
управление развитием |
21.09.2013 |
21:58:54 |
progr. |
Software process is the term given to the organization, ritualization, and management of software development activities |
Программным процессом называются действия по организации, нормированию и управлению разработкой программного обеспечения (см. Software Architecture in Practice / Len Bass, Paul Clements, Rick Kazman 2003) |
21.09.2013 |
21:50:36 |
progr. |
organization, ritualization, and management of software development activities |
действия по организации, нормированию и управлению разработкой программного обеспечения |
21.09.2013 |
21:49:46 |
progr. |
ritualization |
нормирование |
21.09.2013 |
21:40:43 |
progr. |
Software Processes and the Architecture Business Cycle |
Программный процесс и архитектурно-экономический цикл |
21.09.2013 |
21:36:27 |
progr. |
architecture business cycle |
архитектурно-экономический цикл |
21.09.2013 |
21:20:27 |
progr. |
Moving From One System to Many |
От одной системы к множеству |
21.09.2013 |
21:18:15 |
progr. |
analyzing architectures |
анализ архитектуры |
21.09.2013 |
21:15:26 |
progr. |
creating an architecture |
создание архитектуры |
21.09.2013 |
21:13:54 |
progr. |
envisioning architecture |
планирование архитектуры |
21.09.2013 |
21:12:17 |
progr. |
envisioning |
планирование |
21.09.2013 |
1:33:55 |
progr. |
characteristics of developers |
профессиональные характеристики разработчиков (конечных продуктов) |
21.09.2013 |
1:12:59 |
progr. |
systematic software reuse |
систематическое повторное использование программных активов |
21.09.2013 |
1:08:08 |
progr. |
common program family development tasks within the bounds of software-product line |
общие вопросы разработки семейства программных систем в рамках линейки программных продуктов |
21.09.2013 |
1:04:42 |
gen. |
within the bounds of possibility |
в пределах возможности |
21.09.2013 |
1:04:42 |
gen. |
within the bounds of possibility |
не исключено |
21.09.2013 |
0:58:43 |
progr. |
common program family development tasks |
общие вопросы разработки семейства программных систем |
21.09.2013 |
0:56:26 |
progr. |
program family development tasks |
вопросы разработки семейства программных систем |
21.09.2013 |
0:53:07 |
progr. |
development task |
вопрос разработки |
21.09.2013 |
0:50:09 |
progr. |
guidance package for development of domain specific program family |
пакет вспомогательных средств для построения семейства программных систем в определённой предметной области |
21.09.2013 |
0:49:24 |
progr. |
development of domain specific program family |
построение семейства программных систем в определённой предметной области |
21.09.2013 |
0:47:00 |
progr. |
guidance package |
пакет вспомогательных средств |
21.09.2013 |
0:46:30 |
progr. |
guidance |
вспомогательное средство |
21.09.2013 |
0:27:13 |
progr. |
program family |
семейство программных систем |
21.09.2013 |
0:19:11 |
progr. |
family of rich client user interfaces |
семейство пользовательских интерфейсов "толстого клиента" |
21.09.2013 |
0:16:16 |
progr. |
family of systems |
семейство систем |
21.09.2013 |
0:12:03 |
progr. |
program families |
семейства программ |
21.09.2013 |
0:11:00 |
progr. |
program family |
семейство программ |
21.09.2013 |
0:10:10 |
progr. |
family of software products |
семейство программных продуктов |
20.09.2013 |
23:52:52 |
progr. |
software reuse |
повторное использование программных активов |
20.09.2013 |
23:48:36 |
progr. |
software factory |
фабрика разработки программ |
20.09.2013 |
23:14:21 |
progr. |
systematic use |
систематическое использование |
20.09.2013 |
23:13:12 |
progr. |
systematic use of a class framework |
систематическое использование каркаса классов |
20.09.2013 |
23:12:09 |
progr. |
use of a class framework |
использование каркаса классов |
20.09.2013 |
23:07:34 |
progr. |
frameworks and patterns |
каркасы и шаблоны |
20.09.2013 |
21:41:36 |
progr. |
changes affecting software product families |
изменения, затрагивающие семейства программных продуктов |
20.09.2013 |
21:39:20 |
progr. |
changes affecting individual products |
изменения, затрагивающие индивидуальные продукты |
20.09.2013 |
21:37:56 |
progr. |
individual products |
индивидуальные продукты |
20.09.2013 |
21:37:34 |
progr. |
individual product |
индивидуальный продукт |
20.09.2013 |
21:31:25 |
progr. |
series of steps toward systematic reuse |
серии шагов в направлении систематического повторного использования (кода) |
20.09.2013 |
21:30:38 |
progr. |
series of steps |
серии шагов |
20.09.2013 |
21:16:10 |
progr. |
informal code reuse based on copying and adaptation |
неформальное повторное использование кода, основанное на копировании и адаптации |
20.09.2013 |
21:14:06 |
progr. |
code reuse based on copying and adaptation |
повторное использование кода, основанное на копировании и адаптации |