Информатика и системы управления
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609

Построение и анализ систем синхронизации моделей данных при помощи методов теории процессов

Молодежный научно-технический вестник # 11, ноябрь 2014
УДК: 004.413
Файл статьи: Ошкало Д.В..pdf (318.54Кб)
автор: Ошкало Д. В.

1.      Haan J.D. 15 reasons why you should start using Model Driven Development. Available at: http://www.theenterprisearchitect.eu/blog/2009/11/25/15-reasons-why-you-should-start-using-model-driven-development, acessed: 20.11.2014.

2.     Leblebici E., Anjorin A., Schurr A., Hildebrandt S., Rieke J., Greenyer J. A Comparison of Incremental Triple Graph Grammar Tools. 13th International Workshop on Graph Transformation and Visual Modeling Techniques: proceedings (Grenoble, April, 05-06 2014). Grenoble, 2014. Vol. 67. P.1-14.

3.     Diskin, Z., Algebraic Models for Bidirectional Model Synchronization // 11th International Conference (Toulouse, June, 3-6 2008) : proceedings. Toulouse, 2008 . P.21-36.

4.     Antkiewicz M. and Czarnecki K. Design space of heterogeneous synchronization. In Generative and Transformational Techniques in Software Engineering (Berlin, July, 07-11 2008): proceedings. Berlin, 2008. P.3-46.

5.      OMG. MOF2.0 query/view/transformation (QVT) adopted specification. OMG document ptc/05-11-01, 2005. Available at: http://www.omg.org/ , accessed: 20.11.2014.

6.      Девятков В.В.Построение, оптимизация и модификация процессов / / Вестник МГТУ им. Н.Э.Баумана.  Сер. Приборостроение. 2012. № 2. С. 60-79.

7.      Миронов, А.М. Теория процессов. Режим доступа: http://intsys.msu.ru/ staff/mironov/processes.pdf  (дата обращения: 20.11.2014).

8.      Baeten J.C.M. A brief history of process algebra // Theoretical Computer Science. 2005. Vol. 335. Issue 2-3. P. 131-146.

9.      Glabbeek, R. J. van. Notes on the methodology of CCS and CSP // Theoretical Computer Science archive. 1997. Vol. 177. P. 329 – 349.

10. mCRL. A language and tool set to study communicating processes with data. Available at: http://homepages.cwi.nl/~mcrl/ , accessed: 20.11.2014.


Тематические рубрики:
Поделиться:
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2024 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98