Другие журналы
|
электронный журналМОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИКИздатель Академия инженерных наук им. А.М. Прохорова. Эл 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. Публикации с ключевыми словами: синхронизация моделей, исчисление процессов, верификация процессов Публикации со словами: синхронизация моделей, исчисление процессов, верификация процессов Тематические рубрики: Поделиться:
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|