diff --git a/1998.wiki b/1998.wiki index 342e4dd..7639aa6 100644 --- a/1998.wiki +++ b/1998.wiki @@ -1,7 +1,8 @@ Конференции, проведённые в 1998 году: * [[PEPM|DIKU PE]] * [[FSE]] +* [[OCL]] * [[PLDI]] * [[MoDELS|UML]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/1999.wiki b/1999.wiki index 002ad0c..c32cc22 100644 --- a/1999.wiki +++ b/1999.wiki @@ -1,9 +1,11 @@ Конференции, проведённые в 1999 году: * [[ESEC]] * [[FSE]] +* [[IFM]] +* [[OCL]] * [[PEPM]] * [[PEPM|PEPTD]] * [[PLDI]] * [[MoDELS|UML]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2000.wiki b/2000.wiki index 983526f..ddeb8d3 100644 --- a/2000.wiki +++ b/2000.wiki @@ -1,7 +1,10 @@ Конференции, проведённые в 2000 году: * [[FSE]] +* [[IFM]] +* [[OCL]] * [[PEPM]] * [[PLDI]] * [[MoDELS|UML]] +* [[XM|XPM]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2001.wiki b/2001.wiki index 5276287..68c0d16 100644 --- a/2001.wiki +++ b/2001.wiki @@ -1,7 +1,8 @@ Конференции, проведённые в 2001 году: * [[ESEC]] * [[FSE]] +* [[OCL]] * [[PLDI]] * [[MoDELS|UML]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2002.wiki b/2002.wiki index f6a0534..b0714b7 100644 --- a/2002.wiki +++ b/2002.wiki @@ -1,8 +1,9 @@ Конференции, проведённые в 2002 году: * [[PEPM|ASIA-PEPM]] * [[FSE]] +* [[IFM]] * [[PEPM]] * [[PLDI]] * [[MoDELS|UML]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-03'' diff --git a/2003.wiki b/2003.wiki index 52efcfb..db0446b 100644 --- a/2003.wiki +++ b/2003.wiki @@ -2,8 +2,9 @@ * [[SLE|ATEM]] * [[ESEC]] * [[FSE]] +* [[OCL]] * [[PEPM]] * [[PLDI]] * [[MoDELS|UML]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2004.wiki b/2004.wiki index bf492a9..4c3e5a6 100644 --- a/2004.wiki +++ b/2004.wiki @@ -1,8 +1,11 @@ Конференции, проведённые в 2004 году: * [[SLE|ATEM]] * [[FSE]] +* [[IFM]] +* [[MoDeVVa|MoDeVA]] +* [[OCL]] * [[PEPM]] * [[PLDI]] * [[MoDELS|UML]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2005.wiki b/2005.wiki index b8acfce..35ecd1c 100644 --- a/2005.wiki +++ b/2005.wiki @@ -2,7 +2,10 @@ * [[ESEC]] * [[FSE]] * [[GTTSE]] +* [[IFM]] * [[MoDELS]] +* [[MoDeVVa|MoDeVA]] +* [[OCL]] * [[PLDI]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2006.wiki b/2006.wiki index 2d250e3..c32f654 100644 --- a/2006.wiki +++ b/2006.wiki @@ -2,8 +2,11 @@ * [[SLE|ATEM]] * [[FSE]] * [[MoDELS]] +* [[MoDeVVa|MoDeV2a]] * [[MPM]] +* [[MRT]] +* [[OCL|OCLApps]] * [[PEPM]] * [[PLDI]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2007.wiki b/2007.wiki index 7be8649..e9050b2 100644 --- a/2007.wiki +++ b/2007.wiki @@ -3,9 +3,14 @@ * [[ESEC]] * [[FSE]] * [[GTTSE]] +* [[IFM]] * [[MoDELS]] +* [[MoDeVVa]] +* [[ME|MoDSE]] * [[MPM]] +* [[MRT]] +* [[OCL|OCL4All]] * [[PEPM]] * [[PLDI]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2008.wiki b/2008.wiki index 8be0b1b..77b94aa 100644 --- a/2008.wiki +++ b/2008.wiki @@ -1,8 +1,15 @@ Конференции, проведённые в 2008 году: +* [[ACES-MB|ACES MB]] * [[FSE]] +* [[ME|MCCM]] * [[MoDELS]] +* [[MoDeVVa]] +* [[ME|MoDSE]] +* [[MRT]] +* [[NFPinDSML]] +* [[OCL]] * [[PEPM]] * [[PLDI]] * [[SLE]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2009.wiki b/2009.wiki index 9edea27..db66725 100644 --- a/2009.wiki +++ b/2009.wiki @@ -1,12 +1,19 @@ Конференции, проведённые в 2009 году: +* [[ACES-MB|ACES MB]] * [[ESEC]] * [[FOSD]] * [[FSE]] * [[GTTSE]] +* [[IFM]] * [[MoDELS]] +* [[MoDeVVa]] +* [[ME|MoDSE/MCCM]] * [[MPM]] +* [[MRT]] +* [[NFPinDSML]] +* [[OCL]] * [[PEPM]] * [[PLDI]] * [[SLE]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2010.wiki b/2010.wiki index 4911c37..a0403a5 100644 --- a/2010.wiki +++ b/2010.wiki @@ -1,10 +1,17 @@ Конференции, проведённые в 2010 году: +* [[ACES-MB|ACES MB]] * [[FOSD]] * [[FSE]] +* [[IFM]] +* [[ME]] * [[MoDELS]] +* [[MoDeVVa]] * [[MPM]] +* [[MRT]] +* [[NFPinDSML]] +* [[OCL]] * [[PEPM]] * [[PLDI]] * [[SLE]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2011.wiki b/2011.wiki index 4f53ea4..bfc5878 100644 --- a/2011.wiki +++ b/2011.wiki @@ -1,12 +1,20 @@ Конференции, проведённые в 2011 году: +* [[ACES-MB|ACES MB]] +* [[CMA]] +* [[EESSMod]] * [[ESEC]] * [[FOSD]] * [[FSE]] * [[GTTSE]] +* [[ME]] * [[MoDELS]] +* [[MoDeVVa]] * [[MPM]] +* [[VARY|MPM]] +* [[MRT]] +* [[OCL]] * [[PEPM]] * [[PLDI]] * [[SLE]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/2012.wiki b/2012.wiki index ce773e5..0544f98 100644 --- a/2012.wiki +++ b/2012.wiki @@ -1,10 +1,25 @@ Конференции, проведённые в 2012 году: +* [[ACES-MB|ACES MB]] +* [[AMT]] +* [[CMA]] +* [[EESSMod]] * [[FOSD]] * [[FSE]] +* [[IFM]] +* [[MDHPCL]] +* [[MDsec]] +* [[ME]] * [[MoDELS]] +* [[MoDeVVa]] +* [[MotPW]] * [[MPM]] +* [[MRT]] +* [[NFPinDSML]] +* [[OCL]] * [[PEPM]] * [[PLDI]] * [[SLE]] +* [[VARY]] +* [[XM]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/ACES-MB.wiki b/ACES-MB.wiki new file mode 100644 index 0000000..02f25c3 --- /dev/null +++ b/ACES-MB.wiki @@ -0,0 +1,31 @@ +* Название: '''International Workshop on Model Based Architecting and Construction of Embedded Systems''' +* Перевод: '''Международная рабочая встреча по модельной архитектуре и созданию встроенных систем''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* … + +== Архив == +* ACES MB 2012 (Австрия, Иннсбрук) +** 5th International Workshop on Model Based Architecting and Construction of Embedded Systems +** [http://emsig.embedded-systems-portal.org/index.php/hosted-events/all/2012/aces-mb-2012/overview/ Сайт] +** Совместно с: [[MoDELS]] +* ACES MB 2011 (Новая Зеландия, Веллингтон) +** 4th International Workshop on Model Based Architecting and Construction of Embedded Systems +** [http://dblp.uni-trier.de/db/conf/models/models2011w.html DBLP] +** Совместно с: [[MoDELS]] +* ACES MB 2010 (Норвегия, Осло) +** 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems +** [http://dblp.uni-trier.de/db/conf/models/models2010w.html DBLP] +** Совместно с: [[MoDELS]] +* ACES MB 2009 (США, Денвер) +** 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems +** [http://dblp.uni-trier.de/db/conf/models/models2009w.html DBLP] +** Совместно с: [[MoDELS]] +* ACES MB 2008 (Франция, Тулуза) +** 1st International Workshop on Model Based Architecting and Construction of Embedded Systems +** [http://dblp.uni-trier.de/db/conf/models/models2008w.html DBLP] +** Совместно с: [[MoDELS]] + +== Ссылки == +* … diff --git a/AMT.wiki b/AMT.wiki new file mode 100644 index 0000000..d5bbc91 --- /dev/null +++ b/AMT.wiki @@ -0,0 +1,24 @@ +* Название: '''Workshop on the Analysis of Model Transformations''' +* Перевод: '''Рабочая встреча по анализу преобразований моделей''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* Тестирование и создание тестов для преобразований моделей +* Формальная спецификация и верификация преобразований моделей +* Абстрактная интерпретация преобразований моделей +* Статический и динамический анализ преобразований моделей +* Метрики для преобразований моделей +* Оценка последствий преобразований моделей +* Сертификация и накопительная ревалидация преобразований моделей +* Инструменты анализа преобразований моделей +* Преобразования преобразований моделей (преобразования высших порядков) +* Примеры применения анализа преобразований моделей + +== Архив == +* AMT 2012 (Австрия, Иннсбрук) +** 1st Workshop on the Analysis of Model Transformations +** [http://msdl.cs.mcgill.ca/conferences/AMT/ Сайт] +** Совместно с: [[MoDELS]] + +== Ссылки == +* … diff --git a/All.wiki b/All.wiki index 3933ecc..36abf97 100644 --- a/All.wiki +++ b/All.wiki @@ -1,13 +1,28 @@ Вики уже содержит следующие статьи: +* '''[[ACES-MB]]''': [[ACES-MB|Международная рабочая встреча по модельной архитектуре и созданию встроенных систем]] +* '''[[AMT]]''': [[AMT|Рабочая встреча по анализу преобразований моделей]] +* '''[[CMA]]''': [[CMA|Рабочая встреча по сравнению модельных подходов]] +* '''[[EESSMod]]''': [[EESSMod|Опыт моделирования и эмпирические исследования моделирования программного обеспечения]] * '''[[ESEC]]''': [[ESEC|Европейская конференция по разработке программного обеспечения]] * '''[[FOSD]]''': [[FOSD|Международная рабочая встреча по функционально-ориентированной разработке программного обеспечения]] * '''[[FSE]]''': [[FSE|Симпозиум по основам разработки программного обеспечения]] * '''[[GTTSE]]''': [[GTTSE|Летняя школа по порождающим и преобразующим техникам в разработке программного обеспечения]] +* '''[[IFM]]''': [[IFM|Международная конференция по интегрированным формальным методам]] +* '''[[MDHPCL]]''': [[MDHPCL|Международная рабочая встреча по модельной разработке высокопроизводительных и облачных вычислений]] +* '''[[MDsec]]''': [[MDsec|Рабочая встреча по безопасности в моделировании]] +* '''[[ME]]''': [[ME|Модели и эволюция]] * '''[[MoDELS]]''': [[MoDELS|Международная конференция по модельной разработке языков и систем]] +* '''[[MoDeVVa]]''': [[MoDeVVa|Рабочая встреча по модельным разработке, верификации и валидации]] +* '''[[MotPW]]''': [[MotPW|Рабочая встреча по моделированию материального мира]] * '''[[MPM]]''': [[MPM|Рабочая встреча по мультипарадигменному моделированию]] +* '''[[MRT]]''': [[MRT|Модели во время исполнения]] +* '''[[NFPinDSML]]''': [[NFPinDSML|Международная рабочая встреча по нефункциональным качествам систем в предметно-ориентированных языках моделирования]] +* '''[[OCL]]''': [[OCL|Рабочая встреча по OCL и текстовому моделированию]] * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] * '''[[PLDI]]''': [[PLDI|Конференция по разработке и реализации языков программирования]] * '''[[SLE]]''': [[SLE|Международная конференция по проектированию компьютерных языков]] +* '''[[VARY]]''': [[VARY|Изменчивость для вас]] +* '''[[XM]]''': [[XM|Рабочая встреча по экстремальному моделированию]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/CMA.wiki b/CMA.wiki new file mode 100644 index 0000000..adb3f9e --- /dev/null +++ b/CMA.wiki @@ -0,0 +1,19 @@ +* Название: '''Comparing Modeling Approaches Workshop''' +* Перевод: '''Рабочая встреча по сравнению модельных подходов''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +Это необычная рабочая встреча, потому что целью подготовки к ней является не написание статьи, а разработка модели заранее заданной системы (товарной линии системы обработки ДТП) в рамках своего модельного подхода, чтобы потом во время самой встречи сравнить модели и сделать выводы о сравнении самих подходов. + +== Архив == +* CMA 2012 (Австрия, Иннсбрук) +** 2nd International Comparing Modeling Approaches Workshop +** [http://cserg0.site.uottawa.ca/cma2012/ Сайт] +** Совместно с: [[MoDELS]] +* CMA 2011 (Новая Зеландия, Веллингтон) +** 1st International Comparing Modeling Approaches Workshop +** [http://dblp.uni-trier.de/db/conf/models/models2011w.html DBLP] • [http://cserg0.site.uottawa.ca/cma2011/ Сайт] +** Совместно с: [[MoDELS]] + +== Ссылки == +* [[AOM]] — рабочая встреча, на которой было сформулировано задание для CMA. diff --git a/Colloquium.wiki b/Colloquium.wiki index fd25d2f..1e27d01 100644 --- a/Colloquium.wiki +++ b/Colloquium.wiki @@ -1,4 +1,4 @@ Список коллоквиумов: * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/EESSMod.wiki b/EESSMod.wiki new file mode 100644 index 0000000..28c315d --- /dev/null +++ b/EESSMod.wiki @@ -0,0 +1,17 @@ +* Название: '''Experiences and Empirical Studies in Software Modelling''' +* Перевод: '''Опыт моделирования и эмпирические исследования моделирования программного обеспечения''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* … + +== Архив == +* EESSMod 2012 (Австрия, Иннсбрук) +** [http://www.eesmod.org/ Сайт] +** Совместно с: [[MoDELS]] +* EESSMod 2011 (Новая Зеландия, Веллингтон) +** [http://dblp.uni-trier.de/db/conf/models/eessmod2011.html DBLP] • [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17044 CfP] • [http://dl.dropbox.com/u/12330750/EESSMod%202011%20-%20Proceedings.pdf Сборник трудов] +** Совместно с: [[MoDELS]] + +== Ссылки == +* diff --git a/International-Conference.wiki b/International-Conference.wiki index a09e054..6eb9834 100644 --- a/International-Conference.wiki +++ b/International-Conference.wiki @@ -1,8 +1,9 @@ Список международных конференций: * '''[[ESEC]]''': [[ESEC|Европейская конференция по разработке программного обеспечения]] * '''[[GTTSE]]''': [[GTTSE|Летняя школа по порождающим и преобразующим техникам в разработке программного обеспечения]] +* '''[[IFM]]''': [[IFM|Международная конференция по интегрированным формальным методам]] * '''[[MoDELS]]''': [[MoDELS|Международная конференция по модельной разработке языков и систем]] * '''[[PLDI]]''': [[PLDI|Конференция по разработке и реализации языков программирования]] * '''[[SLE]]''': [[SLE|Международная конференция по проектированию компьютерных языков]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/MDHPCL.wiki b/MDHPCL.wiki new file mode 100644 index 0000000..2b3c12b --- /dev/null +++ b/MDHPCL.wiki @@ -0,0 +1,15 @@ +* Название: '''International Workshop on Model-Driven Engineering for High Performance and Cloud Computing''' +* Перевод: '''Международная рабочая встреча по модельной разработке высокопроизводительных и облачных вычислений''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* … + +== Архив == +* MDHPCL 2012 (Австрия, Иннсбрук) +** 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing +** [http://www.irit.fr/MDHPCL2012/MDHPCL2012/Home.html Сайт] +** Совместно с: [[MoDELS]] + +== Ссылки == +* diff --git a/MDsec.wiki b/MDsec.wiki new file mode 100644 index 0000000..4620967 --- /dev/null +++ b/MDsec.wiki @@ -0,0 +1,15 @@ +* Название: '''Model-Driven Security Workshop''' +* Перевод: '''Рабочая встреча по безопасности в моделировании''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* … + +== Архив == +* MDsec 2012 (Австрия, Иннсбрук) +** 1st Model-Driven Security Workshop +** [http://mdsec2012.pst.ifi.lmu.de/ Сайт] +** Совместно с: [[MoDELS]] + +== Ссылки == +* … diff --git a/ME.wiki b/ME.wiki new file mode 100644 index 0000000..00d2d17 --- /dev/null +++ b/ME.wiki @@ -0,0 +1,39 @@ +* Название: '''Models and Evolution''' +* Перевод: '''Модели и эволюция''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* … + +== Архив == +* ME 2012 (Австрия, Иннсбрук) +** Models and Evolution +** [http://www.models-and-evolution.com/ Сайт] +** Совместно с: [[MoDELS]] +* ME 2011 (Новая Зеландия, Веллингтон) +** Models and Evolution +** [http://dblp.uni-trier.de/db/conf/models/models2011w.html DBLP] • [http://www.di.univaq.it/ME2011/ Сайт] +** Совместно с: [[MoDELS]] +* ME 2010 (Норвегия, Осло) +** International Workshop on Models and Evolution +** [http://dblp.uni-trier.de/db/conf/models/models2010w.html DBLP] • [http://www.modse.fr/doku.php Сайт] +** Совместно с: [[MoDELS]] +* MoDSE/MCCM 2009 (США, Денвер) +** Joint MoDSE-MCCM 2009 Workshop +** [http://dblp.uni-trier.de/db/conf/models/models2009w.html DBLP] • [http://www.modse.fr/modsemccm09/doku.php Сайт] +** Совместно с: [[MoDELS]] +* MCCM 2008 (Франция, Тулуза) +** 1st International Workshop on Model Co-Evolution and Consistency Management +** [http://dblp.uni-trier.de/db/conf/models/models2008w.html DBLP] • [http://www.info.fundp.ac.be/mccm/2008/ Сайт] +** Совместно с: [[MoDELS]] +* MoDSE 2008 (Греция, Афины) +** 2nd Workshop on Model-Driven Software Evolution +** [http://www.lina.sciences.univ-nantes.fr/conf/MoDSE2008/index.html Сайт] +** Совместно с: [[CSMR]] +* MoDSE 2007 (Нидерланды, Амстердам) +** Workshop on Model-Driven Software Evolution +** [http://www.sciences.univ-nantes.fr/MoDSE2007/ Сайт] +** Совместно с: [[CSMR]] + +== Ссылки == +* … diff --git a/MRT.wiki b/MRT.wiki new file mode 100644 index 0000000..3a2eab2 --- /dev/null +++ b/MRT.wiki @@ -0,0 +1,39 @@ +* Название: '''Models@run.time''' +* Перевод: '''Модели во время исполнения''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* … + +== Архив == +* MRT 2012 (Австрия, Иннсбрук) +** 7th International Workshop on Models@run.time +** [http://www.comp.lancs.ac.uk/~bencomo/MRT12/ Сайт] +** Совместно с: [[MoDELS]] +* MRT 2011 (Новая Зеландия, Веллингтон) +** 6th international workshop models@run.time +** [http://dblp.uni-trier.de/db/conf/models/models2011w.html DBLP] • [http://www.comp.lancs.ac.uk/~bencomo/MRT11/ Сайт] • [http://ceur-ws.org/Vol-794 Сборник трудов] +** Совместно с: [[MoDELS]] +* MRT 2010 (Норвегия, Осло) +** 5th international workshop models@run.time +** [http://dblp.uni-trier.de/db/conf/models/models2010w.html DBLP] • [http://www.comp.lancs.ac.uk/~bencomo/MRT10/ Сайт] • [http://ceur-ws.org/Vol-641 Сборник трудов] +** Совместно с: [[MoDELS]] +* MRT 2009 (США, Денвер) +** 4th International Workshop Models@run.time +** [http://dblp.uni-trier.de/db/conf/models/models2009w.html DBLP] • [http://www.comp.lancs.ac.uk/~bencomo/MRT09/ Сайт] • [http://www.comp.lancs.ac.uk/~bencomo/MRT09/modelsatruntime09_Summary.pdf Отчёт] • [http://ceur-ws.org/Vol-509 Сборник трудов] +** Совместно с: [[MoDELS]] +* MRT 2008 (Франция, Тулуза) +** 3rd International workshop Models@run.time +** [http://dblp.uni-trier.de/db/conf/models/models2008w.html DBLP] • [http://www.comp.lancs.ac.uk/~bencomo/MRT08/ Сайт] • [http://www.comp.lancs.ac.uk/~bencomo/MRT08/modelsatruntime08_Summary.pdf Отчёт] • [http://www.comp.lancs.ac.uk/~bencomo/MRT08/MRT2008Proceedings.pdf Сборник трудов] +** Совместно с: [[MoDELS]] +* MRT 2007 (США, Нашвилл) +** 2nd International Workshop on Models@run.time +** [http://dblp.uni-trier.de/db/conf/models/models2007w.html DBLP] • [http://www.comp.lancs.ac.uk/~bencomo/MRT07/ Сайт] • [http://www.comp.lancs.ac.uk/~bencomo/MRT07/modelsatruntime07Final.pdf Отчёт] +** Совместно с: [[MoDELS]] +* MRT 2006 (Италия, Генуя) +** Model@run.time +** [http://dblp.uni-trier.de/db/conf/models/models2006w.html DBLP] • [http://www.comp.lancs.ac.uk/~bencomo/MRT06/ Сайт] • [http://www.comp.lancs.ac.uk/computing/users/bencomo/MART06/modelsatruntimeSummary.pdf Отчёт] +** Совместно с: [[MoDELS]] + +== Ссылки == +* … diff --git a/Miniconference.wiki b/Miniconference.wiki index 9fd8252..8968e30 100644 --- a/Miniconference.wiki +++ b/Miniconference.wiki @@ -1,3 +1,3 @@ Миниконференции в этой вики не представлены, и не факт, что ближайшее время появятся. ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/MoDELS.wiki b/MoDELS.wiki index 6d7e70a..d812ec4 100644 --- a/MoDELS.wiki +++ b/MoDELS.wiki @@ -25,7 +25,7 @@ * MoDELS 2012 (Австрия, Иннсбрук) ** ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems ** [http://models2012.info/ Сайт] • [http://wikicfp.com/cfp/servlet/event.showcfp?eventid=21525©ownerid=25474 CfP] -** Совместно с: [[VL/HCC]], [[ME]], [[OCL]], [[CMA]], [[ACES MB]], [[MoDeVVa]], [[VARY]], [[XM]], [[MPM]], [[MDsec]], [[NFSP-DSML]], [[MOTPW]], [[AMT]], [[MRT]], [[MDHPCL]], [[EESSMod]] +** Совместно с: [[VL/HCC]], [[ME]], [[OCL]], [[CMA]], [[ACES MB]], [[MoDeVVa]], [[VARY]], [[XM]], [[MPM]], [[MDsec]], [[NFSP-DSML]], [[MotPW]], [[AMT]], [[MRT]], [[MDHPCL]], [[EESSMod]] * MoDELS 2011 (Новая Зеландия, Веллингтон) ** ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems ** [http://dblp.uni-trier.de/db/conf/models/models2011.html DBLP] • [http://ecs.victoria.ac.nz/Events/MODELS2011/ Сайт] • [http://wikicfp.com/cfp/servlet/event.showcfp?eventid=14009©ownerid=2 CfP] @@ -37,11 +37,11 @@ * MoDELS 2009 (США, Денвер) ** ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems ** [http://dblp.uni-trier.de/db/conf/models/models2009.html DBLP] • [http://www.cs.colostate.edu/models09/index.html Сайт] • [http://wikicfp.com/cfp/servlet/event.showcfp?eventid=4470©ownerid=619 CfP] -** Совместно с: [[GPCE]], [[SLE]], [[ACES MB]], [[AOM]], [[FOSD]], [[MODSE]], [[MCCM]], [[MRT]], [[MoDeVVa]], [[MPM]], [[NFPinDSML]], [[OCL]], [[TWOMDE]] +** Совместно с: [[GPCE]], [[SLE]], [[ACES MB]], [[AOM]], [[FOSD]], [[MODSE]], [[ME|MCCM]], [[MRT]], [[MoDeVVa]], [[MPM]], [[NFPinDSML]], [[OCL]], [[TWOMDE]] * MoDELS 2008 (Франция, Тулуза) ** ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems ** [http://dblp.uni-trier.de/db/conf/models/models2008.html DBLP] • [http://www.irit.fr/models/index.html Сайт] • [http://wikicfp.com/cfp/servlet/event.showcfp?eventid=1272©ownerid=2 CfP] -** Совместно с: [[SLE]], [[MRT]], [[ModSec]], [[ChaMDE]], [[NFPinDSML]], [[TWOMDE]], [[ESMDE]], [[ACES MB]], [[MCCM]], [[QiM]], [[MOTHIS]], [[MDWE]], [[OCL]] +** Совместно с: [[SLE]], [[MRT]], [[ModSec]], [[ChaMDE]], [[NFPinDSML]], [[TWOMDE]], [[ESMDE]], [[ACES MB]], [[ME|MCCM]], [[QiM]], [[MOTHIS]], [[MDWE]], [[OCL]] * MoDELS 2007 (США, Нашвилл) ** ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems ** [http://dblp.uni-trier.de/db/conf/models/models2007.html DBLP] • [http://models2007.isis.vanderbilt.edu/index.html Сайт] • [http://wikicfp.com/cfp/servlet/event.showcfp?eventid=1271©ownerid=2 CfP] @@ -55,30 +55,30 @@ ** [http://dblp.uni-trier.de/db/conf/models/../uml/models2005.html DBLP] • [http://www.cs.colostate.edu/models05/ Сайт] ** Совместно с: [[OCL]], [[MoDeVVa|MoDeVA]], [[MARTES]], [[AOM]], [[MTP]], [[WiSME]], [[MDDAUI]], [[NfC]], [[MDD SPL]], [[WUsCaM]] * UML 2004 (Португалия, Лиссабон) -** 7th Conference on the Unified Modeling Language +** 7th Conference on the Unified Modeling Language, Modelling Languages and Applications ** [http://dblp.uni-trier.de/db/conf/uml/uml2004.html DBLP] • [http://ctp.di.fct.unl.pt/UML2004/ Сайт] ** Совместно с: [[ConsistencyUML]], [[AOM]], [[SADUML]], [[SVERTS]], [[WiSME]], [[IUCM]], [[NfC]], [[OCL]], [[CSDUML]] * UML 2003 (США, Сан-Франциско) -** 6th International Conference on the Unified Modeling Language +** 6th International Conference on the Unified Modeling Language, Modeling Languages and Applications ** [http://dblp.uni-trier.de/db/conf/uml/uml2003.html DBLP] • [http://web.archive.org/web/20041207030726/http://ase.arc.nasa.gov/uml03/ Архив сайта] ** Совместно с: [[CSDUML]], [[WiSME]], [[SIVOES-MDA]], [[AOM]], [[SVERTS]], [[CompUML]], [[ConsistencyUML]], [[SAP-UML]], [[OCL]] * UML 2002 (Германия, Дрезден) -** 5th International Conference on the Unified Modeling Language — the Language and Its Applications +** 5th International Conference on the Unified Modeling Language, the Language and Its Applications ** [http://dblp.uni-trier.de/db/conf/uml/uml2002.html DBLP] • [http://web.archive.org/web/20021109171924/www.inf.tu-dresden.de/uml/index.html Архив сайта] ** Совместно с: [[CSDUML]], [[AOM]], [[WiSME]], [[NfC|SIVOES-MONA]], [[ConsistencyUML]] * UML 2001 (Канада, Торонто) -** 4th International Conference on the Unified Modeling Language +** 4th International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools ** [http://dblp.uni-trier.de/db/conf/uml/uml2001.html DBLP] • [http://www.cs.toronto.edu/uml2001/ Сайт] ** Совместно с: [[PracticalUML]], [[ConcurrencyUML]], [[ConstraintUML]] * UML 2000 (Англия, Йорк) -** 3rd International Conference on the Unified Modeling Language +** 3rd International Conference on the Unified Modeling Language, Advancing the Standard ** [http://dblp.uni-trier.de/db/conf/uml/uml2000.html DBLP] • [http://web.archive.org/web/20011211123038/http://www.cs.york.ac.uk/uml2000/ Архив сайта] -** Совместно с: [[WebUML]], [[DynamicUML]], [[TUPIS]], [[RT UML]], [[OCL]], [[XPM]] +** Совместно с: [[WebUML]], [[DynamicUML]], [[TUPIS]], [[RT UML]], [[OCL]], [[XM|XPM]] * UML 1999 (США, Форт-Коллинз) -** The 2nd International Conference on The Unified Modeling Language +** The 2nd International Conference on The Unified Modeling Language, Beyond the Standard ** [http://dblp.uni-trier.de/db/conf/uml/uml1999.html DBLP] • [http://web.archive.org/web/200012180046/http://www.cs.colostate.edu/UML99/ Архив сайта] * UML 1998 (Франция, Мюлуз) -** International Workshop on UML: Beyond the Notation +** International Workshop on UML, Beyond the Notation ** [http://dblp.uni-trier.de/db/conf/uml/uml1998.html DBLP] • [http://web.archive.org/web/20001205155000/www.essaim.univ-mulhouse.fr/uml/evenements/index.html Архив сайта] * UML 1997 (Германия, Мангейм) ** Слабо связанная с серией одноимённых конференций немецкая рабочая встреча diff --git a/MoDeVVa.wiki b/MoDeVVa.wiki new file mode 100644 index 0000000..8fc41ea --- /dev/null +++ b/MoDeVVa.wiki @@ -0,0 +1,48 @@ +* Название: '''Workshop on Model-Driven Engineering, Verification, and Validation''' +* Перевод: '''Рабочая встреча по модельным разработке, верификации и валидации''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* Интегрирование методов верификации и валидации в модельное проектирование +* Определение методов верификации и валидации, полагающихся на модельные подходы +* Моделирование правил объединения подмоделей для улучшения композиционности +* Накопительная верификация и валидация +* Любое скрещивание тем верификации и валидации с модельным подходом + +== Архив == +* MoDeVVa 2012 (Австрия, Иннсбрук) +** 9th Workshop on Model-Driven Engineering, Verification and Validation +** [http://wwwdi.supelec.fr/modevva/ Сайт] +** Совместно с: [[MoDELS]] +* MoDeVVa 2011 (Новая Зеландия, Веллингтон) +** Model-Driven Engineering, Verification, And Validation: Integrating Verification And Validation In MDE +** [http://dblp.uni-trier.de/db/conf/models/models2011w.html DBLP] • [http://www.model-based-testing.de/modevva11/ Сайт] +** Совместно с: [[MoDELS]] +* MoDeVVa 2010 (Норвегия, Осло) +** [http://dblp.uni-trier.de/db/conf/models/models2010w.html DBLP] • [http://www.model-based-testing.de/modevva10/ Сайт] +** Совместно с: [[MoDELS]] +* MoDeVVa 2009 (США, Денвер) +** [http://dblp.uni-trier.de/db/conf/models/models2009w.html DBLP] • [http://www.model-based-testing.de/modevva09/ Сайт] +** Совместно с: [[MoDELS]] +* MoDeVVa 2008 (Норвегия, Лиллехаммер) +** Model Driven Engineering, Verification, And Validation: Integrating Verification And Validation In MDE +** [http://www.cs.colostate.edu/~ghosh/modevva2008/ Сайт] +** Совместно с: [[ICST]], [[MoVaH]] +* MoDeVVa 2007 (США, Нашвилл) +** 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE +** [http://dblp.uni-trier.de/db/conf/models/models2007w.html DBLP] • [http://www.modeva.org/2007/index.html Сайт] +** Совместно с: [[MoDELS]] +* MoDeV2a 2006 (Италия, Генуя) +** 3rd Workshop on Model Design and Validation +** [http://dblp.uni-trier.de/db/conf/models/models2006w.html DBLP] • [http://modeva.itee.uq.edu.au/ Сайт] +** Совместно с: [[MoDELS]] +* MoDeVA 2005 (Ямайка, Монтего-Бей) +** 2nd Workshop on Model Development and Validation +** [http://dblp.uni-trier.de/db/conf/uml/models2005se.html DBLP] • [http://www.modeva.org/2005/index.htm Сайт] +** Совместно с: [[MoDELS]] +* MoDeVA 2004 (Франция, Ренн) +** [http://www.issre.org/2004/program-modeva.php Сайт] +** Совместно с: [[ISSRE]] + +== Ссылки == +* … diff --git a/MotPW.wiki b/MotPW.wiki new file mode 100644 index 0000000..4190856 --- /dev/null +++ b/MotPW.wiki @@ -0,0 +1,22 @@ +* Название: '''Modelling of the Physical World Workshop''' +* Перевод: '''Рабочая встреча по моделированию материального мира''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* Фундаментальные подходы к моделированию материальных объектов (геометрия, физика, химия, биология, …) +* Подходы к моделированию и симуляции физических систем +* Отношения между физическими и виртуальными моделями +* Методологии и экспериментальные подходы к созданию моделей +* Применение модельных техник к таким областям, как архитектура, биология, электроника и пр. +* Применение модельных техник к эффективной реализации вычислительных моделей в материальных объектах +* Применение техник и технологий физического моделирования к компьютерному моделированию +* Обмен моделями и взаимодействие моделей между технологическими областями + +== Архив == +* MotPW 2012 (Австрия, Иннсбрук) +** Modelling of the Physical World Workshop +** [https://sites.google.com/site/motpw2012/ Сайт] +** Совместно с: [[MoDELS]] + +== Ссылки == +* … diff --git a/NFPinDSML.wiki b/NFPinDSML.wiki new file mode 100644 index 0000000..663740a --- /dev/null +++ b/NFPinDSML.wiki @@ -0,0 +1,29 @@ +* Название: '''International Workshop on Non-functional System Properties in Domain Specific Modeling Languages''' +* Перевод: '''Международная рабочая встреча по нефункциональным качествам систем в предметно-ориентированных языках моделирования''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* Моделирования языковых спецификаций +* Механизмы интегрирования языков +* Оценка нефункциональных качеств программного обеспечения + +== Архив == +* NFPinDSML 2012 (Австрия, Иннсбрук) +** Fourth International Workshop on Non-functional System Properties in Domain Specific Modeling Languages +** [https://nfpindsml.semtech.athabascau.ca/ Сайт] • [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23426 CfP] +** Совместно с: [[MoDELS]] +* NFPinDSML 2010 (Норвегия, Осло) +** 3rd International Workshop on Non-functional Properties in Domain Specific Languages +** [http://dblp.uni-trier.de/db/conf/models/models2010w.html DBLP] • [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10451 CfP] • [http://www.artist-embedded.org/artist/Overview,2133.html Сайт] +** Совместно с: [[MoDELS]] +* NFPinDSML 2009 (США, Денвер) +** 2nd International Workshop on Non-functional System Properties and Domain Specific Modeling Languages +** [http://dblp.uni-trier.de/db/conf/models/models2009w.html DBLP] • [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=5919 CfP] +** Совместно с: [[MoDELS]] +* NFPinDSML 2008 (Франция, Тулуза) +** 1st International Workshop on Non-functional System Properties in Domain Specific Modeling Languages +** [http://dblp.uni-trier.de/db/conf/models/models2008w.html DBLP] • [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3110 CfP] +** Совместно с: [[MoDELS]] + +== Ссылки == +* … diff --git a/OCL.wiki b/OCL.wiki new file mode 100644 index 0000000..3528464 --- /dev/null +++ b/OCL.wiki @@ -0,0 +1,67 @@ +* Название: '''Workshop on OCL and Textual Modelling''' +* Перевод: '''Рабочая встреча по OCL и текстовому моделированию''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +* … + +== Архив == +* OCL 2012 (Австрия, Иннсбрук) +** 12th Workshop on OCL and Textual Modelling +** [http://st.inf.tu-dresden.de/OCL2012/ Сайт] +** Совместно с: [[MoDELS]] +* OCL 2011 (Швейцария, Цюрих) +** 11th International Workshop on OCL and Textual Modelling +** [http://gres.uoc.edu/OCL2011/ Сайт] +** Совместно с: [[TOOLS]], [[ICMT]], [[SAP]], [[SC]] +* OCL 2010 (Норвегия, Осло) +** 10th Workshop on OCL and Textual Modelling +** [http://dblp.uni-trier.de/db/conf/models/models2010w.html DBLP] • [http://modeling-languages.com/events/OCLWorkshop2010/ Сайт] +** Совместно с: [[MoDELS]] +* OCL 2009 (США, Денвер) +** 9th OCL Workshop on the Pragmatics of OCL and Other Textual Specification Languages +** [http://dblp.uni-trier.de/db/conf/models/models2009w.html DBLP] • [http://modeling-languages.com/events/OCLWorkshop2009/ Сайт] +** Совместно с: [[MoDELS]] +* OCL 2008 (Франция, Тулуза) +** 8th Workshop on OCL Concepts and Tools: From Implementation to Evaluation and Comparison +** [http://dblp.uni-trier.de/db/conf/models/models2008w.html DBLP] • [http://fots.ua.ac.be/events/ocl2008/ Сайт] +** Совместно с: [[MoDELS]] +* OCL4All 2007 (США, Нашвилл) +** 7th Workshop on Modelling Systems with OCL +** [http://dblp.uni-trier.de/db/conf/models/models2007w.html DBLP] • [http://st.inf.tu-dresden.de/Ocl4All2007/ Сайт] +** Совместно с: [[MoDELS]] +* OCLApps 2006 (Италия, Генуя) +** 6th Workshop on OCL for (Meta-)Models in Multiple Application Domains +** [http://dblp.uni-trier.de/db/conf/models/models2006w.html DBLP] • [http://st.inf.tu-dresden.de/OCLApps2006/ Сайт] +** Совместно с: [[MoDELS]] +* OCL 2005 (Ямайка, Монтего-Бей) +** 5th Workshop on Tool Support for OCL and Related Formalisms: Needs and Trends +** [http://dblp.uni-trier.de/db/conf/uml/models2005se.html DBLP] • [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.175.1503&rep=rep1&type=pdf Сборник трудов] • [http://web.archive.org/web/20070206060141/http://lgl.epfl.ch/members/baar/oclwsAtModels05/ Архив сайта] +** Совместно с: [[MoDELS]] +* OCL 2004 (Португалия, Лиссабон) +** 4th Workshop on OCL and Model Driven Engineering +** [http://dblp.uni-trier.de/db/conf/uml/ml2004.html DBLP] • [http://www.cs.kent.ac.uk/projects/ocl/oclmdewsuml04/ Сайт] +** Совместно с: [[MoDELS|UML]] +* OCL 2003 (США, Сан-Франциско) +** 3rd Workshop on OCL 2.0: Industry Standard or Scientific Playground? +** [http://dblp.uni-trier.de/db/journals/entcs/entcs102.html DBLP] +** Совместно с: [[MoDELS|UML]] +* OCL 2001 (Канада, Торонто) +** 2nd Workshop on the Constraint Language for UML 2.0 +** [http://www.cs.toronto.edu/uml2001/workshop.html Описание] +** Совместно с: [[MoDELS|UML]] +* OCL 2000 (Англия, Йорк) +** Workshop on the Future of the UML Object Constraint Language +** [http://www.comp.brad.ac.uk/research/OCL2000/index.html Сайт] +** Совместно с: [[MoDELS|UML]] +* OCL 1999 +** The Kent Workshop on OCL +** Страница рабочей группы канула в лету вместе со всей информацией, но на сайте OCL 2000 говорится, что такая встреча была. +* OCL 1998 (Нидерланды, Амстердам) +** Meeting of the Amsterdam Group on OCL Development +** [http://web.archive.org/web/20050327085952/http://www.trireme.com/amsterdam/19981112mtg.htm Архив сайта] +** Одна из рабочих групп, ставшая предшественником серии при [[MoDELS|UML/MoDELS]]. + +== Ссылки == +* [http://en.wikipedia.org/wiki/Object_Constraint_Language OCL] в английской Википедии +* [http://www-st.inf.tu-dresden.de/ocl/ OCL Portal] diff --git a/Seminar.wiki b/Seminar.wiki index 854239e..644a3e4 100644 --- a/Seminar.wiki +++ b/Seminar.wiki @@ -1,4 +1,4 @@ Список семинаров: * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/Summer-School.wiki b/Summer-School.wiki index 6218bc5..0648d4d 100644 --- a/Summer-School.wiki +++ b/Summer-School.wiki @@ -1,4 +1,4 @@ Список летних школ: * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/Symposium.wiki b/Symposium.wiki index fc078b1..aaf5da8 100644 --- a/Symposium.wiki +++ b/Symposium.wiki @@ -3,4 +3,4 @@ * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] * '''[[PLDI]]''': [[PLDI|Конференция по разработке и реализации языков программирования]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/TODO.wiki b/TODO.wiki index e46e2d8..8c00e6c 100644 --- a/TODO.wiki +++ b/TODO.wiki @@ -1,17 +1,16 @@ Статьи, требующие создания: -* '''[[ACES-MB]]''' (⇐ [[FOSD]], [[MoDELS]]) +* '''[[ABZ]]''' (⇐ [[IFM]]) * '''[[AISE]]''' (⇐ [[FSE]]) * '''[[AMP]]''' (⇐ [[PLDI]]) -* '''[[AMT]]''' (⇐ [[MoDELS]]) -* '''[[AOM]]''' (⇐ [[FOSD]], [[MoDELS]]) +* '''[[AOM]]''' (⇐ [[CMA]], [[FOSD]], [[MoDELS]]) * '''[[AOSD]]''' (⇐ [[Home]]) * '''[[APLWACA]]''' (⇐ [[PLDI]]) * '''[[APPLC]]''' (⇐ [[PLDI]]) * '''[[ASAS]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[ASE]]''' (⇐ [[Home]]) * '''[[ASPLOS]]''' (⇐ [[Home]]) -* '''[[Academic]]''' (⇐ [[ESEC]], [[Home]], [[MoDELS]], [[PEPM]], [[PLDI]]) +* '''[[Academic]]''' (⇐ [[ESEC]], [[Home]], [[IFM]], [[MoDELS]], [[PEPM]], [[PLDI]]) * '''[[Alloy]]''' (⇐ [[FSE]]) * '''[[Bugs]]''' (⇐ [[PLDI]]) * '''[[CASTA]]''' (⇐ [[ESEC]], [[FSE]]) @@ -25,10 +24,10 @@ * '''[[CIKM]]''' (⇐ [[Home]]) * '''[[CISS]]''' (⇐ [[Home]]) * '''[[CIVR]]''' (⇐ [[Home]]) -* '''[[CMA]]''' (⇐ [[MoDELS]]) * '''[[COMPSAC]]''' (⇐ [[Home]]) * '''[[CREWS]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[CSDUML]]''' (⇐ [[MoDELS]]) +* '''[[CSMR]]''' (⇐ [[ME]]) * '''[[CSXW]]''' (⇐ [[GTTSE]]) * '''[[CVPR]]''' (⇐ [[Home]]) * '''[[ChaMDE]]''' (⇐ [[MoDELS]]) @@ -38,7 +37,7 @@ * '''[[ConstraintUML]]''' (⇐ [[MoDELS]]) * '''[[DAC]]''' (⇐ [[Home]]) * '''[[DATE]]''' (⇐ [[Home]]) -* '''[[DBLP]]''' (⇐ [[ESEC]], [[FSE]], [[GTTSE]], [[Home]], [[MoDELS]], [[MPM]], [[PEPM]], [[PLDI]], [[SLE]]) +* '''[[DBLP]]''' (⇐ [[ESEC]], [[FSE]], [[GTTSE]], [[Home]], [[IFM]], [[MoDELS]], [[MPM]], [[PEPM]], [[PLDI]], [[SLE]]) * '''[[DOSTA]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[DSPL]]''' (⇐ [[FOSD]]) * '''[[Dagstuhl]]''' (⇐ [[PEPM]]) @@ -47,18 +46,20 @@ * '''[[ECIR]]''' (⇐ [[Home]]) * '''[[ECOOP]]''' (⇐ [[Home]], [[PLDI]]) * '''[[EDBT]]''' (⇐ [[Home]]) -* '''[[EESSMod]]''' (⇐ [[MoDELS]]) * '''[[EFTS]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[EOOLT]]''' (⇐ [[MoDELS]]) * '''[[ESMDE]]''' (⇐ [[MoDELS]]) * '''[[ESOP]]''' (⇐ [[Home]]) * '''[[ESSPE]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[ESWS]]''' (⇐ [[Home]]) +* '''[[ETAPS]]''' (⇐ [[XM]]) * '''[[EUROSYS]]''' (⇐ [[Home]]) * '''[[EVOL]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[EWSPT]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[FCRC]]''' (⇐ [[PEPM]], [[PLDI]]) * '''[[FLOPS]]''' (⇐ [[PEPM]]) +* '''[[FM+AM]]''' (⇐ [[XM]]) +* '''[[FM-SOA]]''' (⇐ [[IFM]]) * '''[[FMICS]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[FMSPLE]]''' (⇐ [[FOSD]]) * '''[[FOCS]]''' (⇐ [[Home]]) @@ -84,10 +85,12 @@ * '''[[ICFP]]''' (⇐ [[Home]]) * '''[[ICMCS]]''' (⇐ [[Home]]) * '''[[ICML]]''' (⇐ [[Home]]) +* '''[[ICMT]]''' (⇐ [[OCL]]) * '''[[ICPT]]''' (⇐ [[Home]]) * '''[[ICS]]''' (⇐ [[Home]]) * '''[[ICSE]]''' (⇐ [[Home]]) * '''[[ICSOC]]''' (⇐ [[Home]]) +* '''[[ICST]]''' (⇐ [[MoDeVVa]]) * '''[[ICTEI]]''' (⇐ [[Home]]) * '''[[ICWSM]]''' (⇐ [[Home]]) * '''[[INFOCOM]]''' (⇐ [[Home]]) @@ -99,6 +102,7 @@ * '''[[ISMM]]''' (⇐ [[PLDI]]) * '''[[ISNN]]''' (⇐ [[Home]]) * '''[[ISQED]]''' (⇐ [[Home]]) +* '''[[ISSRE]]''' (⇐ [[MoDeVVa]]) * '''[[ISSTA]]''' (⇐ [[Home]]) * '''[[ISWC]]''' (⇐ [[Home]]) * '''[[ITC]]''' (⇐ [[Home]]) @@ -121,33 +125,26 @@ * '''[[LinkedIn]]''' (⇐ [[Home]]) * '''[[MAPLE]]''' (⇐ [[FOSD]]) * '''[[MARTES]]''' (⇐ [[MoDELS]]) -* '''[[MCCM]]''' (⇐ [[FOSD]], [[MoDELS]]) +* '''[[MCCM]]''' (⇐ [[FOSD]]) * '''[[MDD-SPL]]''' (⇐ [[MoDELS]]) * '''[[MDDAUI]]''' (⇐ [[MoDELS]]) -* '''[[MDHPCL]]''' (⇐ [[MoDELS]]) * '''[[MDI]]''' (⇐ [[MoDELS]]) * '''[[MDWE]]''' (⇐ [[MoDELS]]) -* '''[[MDsec]]''' (⇐ [[MoDELS]]) -* '''[[ME]]''' (⇐ [[MoDELS]]) * '''[[MICRO]]''' (⇐ [[Home]]) * '''[[MM]]''' (⇐ [[Home]]) * '''[[MNAC]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[MODSE]]''' (⇐ [[FOSD]], [[MoDELS]]) * '''[[MOTHIS]]''' (⇐ [[MoDELS]]) -* '''[[MOTPW]]''' (⇐ [[MoDELS]]) -* '''[[MRT]]''' (⇐ [[FOSD]], [[MoDELS]]) * '''[[MSM]]''' (⇐ [[MoDELS]]) * '''[[MSP]]''' (⇐ [[PLDI]]) * '''[[MSPC]]''' (⇐ [[PLDI]]) * '''[[MTP]]''' (⇐ [[MoDELS]]) -* '''[[MoDeVVa]]''' (⇐ [[FOSD]], [[MoDELS]]) +* '''[[MoVaH]]''' (⇐ [[MoDeVVa]]) * '''[[ModSec]]''' (⇐ [[MoDELS]]) -* '''[[NFPinDSML]]''' (⇐ [[FOSD]], [[MoDELS]]) * '''[[NFSP-DSML]]''' (⇐ [[MoDELS]]) * '''[[NIPS]]''' (⇐ [[Home]]) * '''[[NSDI]]''' (⇐ [[Home]]) * '''[[NfC]]''' (⇐ [[MoDELS]]) -* '''[[OCL]]''' (⇐ [[FOSD]], [[MoDELS]]) * '''[[OOR]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[OSDI]]''' (⇐ [[Home]]) * '''[[PACT]]''' (⇐ [[Home]]) @@ -170,11 +167,12 @@ * '''[[RoSyM]]''' (⇐ [[MoDELS]]) * '''[[SAC]]''' (⇐ [[Home]]) * '''[[SADUML]]''' (⇐ [[MoDELS]]) +* '''[[SAP]]''' (⇐ [[OCL]]) * '''[[SAP-UML]]''' (⇐ [[MoDELS]]) * '''[[SAS]]''' (⇐ [[PEPM]], [[PLDI]]) * '''[[SAVCBS]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[SAW]]''' (⇐ [[PLDI]]) -* '''[[SC]]''' (⇐ [[Home]]) +* '''[[SC]]''' (⇐ [[Home]], [[OCL]]) * '''[[SCALE]]''' (⇐ [[FOSD]]) * '''[[SCArVeS]]''' (⇐ [[FOSD]]) * '''[[SCM]]''' (⇐ [[ESEC]], [[FSE]]) @@ -206,12 +204,12 @@ * '''[[TACAS]]''' (⇐ [[Home]]) * '''[[TASE]]''' (⇐ [[Home]]) * '''[[TIS]]''' (⇐ [[ESEC]], [[FSE]]) +* '''[[TOOLS]]''' (⇐ [[OCL]]) * '''[[TRANSACT]]''' (⇐ [[PLDI]]) * '''[[TUPIS]]''' (⇐ [[MoDELS]]) * '''[[TWOMDE]]''' (⇐ [[FOSD]], [[MoDELS]]) * '''[[Twitter]]''' (⇐ [[Home]], [[PLDI]], [[SLE]]) * '''[[USENIX]]''' (⇐ [[Home]]) -* '''[[VARY]]''' (⇐ [[MoDELS]]) * '''[[VEE]]''' (⇐ [[PLDI]]) * '''[[VL/HCC]]''' (⇐ [[MoDELS]]) * '''[[VLDB]]''' (⇐ [[Home]]) @@ -223,6 +221,7 @@ * '''[[WOSS]]''' (⇐ [[FSE]]) * '''[[WOWMOM]]''' (⇐ [[Home]]) * '''[[WSDM]]''' (⇐ [[Home]]) +* '''[[WTS]]''' (⇐ [[IFM]]) * '''[[WUsCaM]]''' (⇐ [[MoDELS]]) * '''[[WWW]]''' (⇐ [[Home]]) * '''[[WebQUeST]]''' (⇐ [[ESEC]], [[FSE]]) @@ -230,7 +229,6 @@ * '''[[WiSME]]''' (⇐ [[MoDELS]]) * '''[[WoSQ]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[X10]]''' (⇐ [[PLDI]]) -* '''[[XM]]''' (⇐ [[MoDELS]]) -* '''[[XPM]]''' (⇐ [[MoDELS]]) +* '''[[XP]]''' (⇐ [[XM]]) ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/VARY.wiki b/VARY.wiki new file mode 100644 index 0000000..0f66236 --- /dev/null +++ b/VARY.wiki @@ -0,0 +1,28 @@ +* Название: '''VARiability for You''' +* Перевод: '''Изменчивость для вас''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +«Изменчивость» в контексте данной рабочей встречи понимается в основном в рамках товарных групп (software product lines). + +* Категоризация моделей изменчивости +* Модели решений +* Модели функциональности +* Ограничение изменчивости +* Анализ моделей изменчивости +* Инструментарий для поддержки моделирования изменчивости +* Конкретный синтаксис моделей изменчивости +* Изменчивость и приспособляемость +* Выполнение и динамические свойства моделей изменчивости + +== Архив == +* VARY 2012 (Австрия, Иннсбрук) +** VARiability for You +** [http://vary2012.irisa.fr/ Сайт] +** Как часть: [[MoDELS]] +* MPM 2011 (Новая Зеландия, Веллингтон) +** [http://dblp.uni-trier.de/db/conf/models/models2011w.html DBLP] • [http://vary2011.irisa.fr/ Сайт] • [http://itu.dk/en/Forskning/Technical-Reports/2011/TR-2011-144 Сборник трудов] +** Как часть: [[MoDELS]] + +== Ссылки == +* [http://en.wikipedia.org/wiki/Software_product_line Software product line] в английской Википедии diff --git a/Working-Conference.wiki b/Working-Conference.wiki index d0f629b..fae7316 100644 --- a/Working-Conference.wiki +++ b/Working-Conference.wiki @@ -1,3 +1,3 @@ Рабочие конференции в этой вики пока не представлены. ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/Workshop.wiki b/Workshop.wiki index f4db5fc..7c3996b 100644 --- a/Workshop.wiki +++ b/Workshop.wiki @@ -1,6 +1,20 @@ Список рабочих встреч: +* '''[[ACES-MB]]''': [[ACES-MB|Международная рабочая встреча по модельной архитектуре и созданию встроенных систем]] +* '''[[AMT]]''': [[AMT|Рабочая встреча по анализу преобразований моделей]] +* '''[[CMA]]''': [[CMA|Рабочая встреча по сравнению модельных подходов]] +* '''[[EESSMod]]''': [[EESSMod|Опыт моделирования и эмпирические исследования моделирования программного обеспечения]] * '''[[FOSD]]''': [[FOSD|Международная рабочая встреча по функционально-ориентированной разработке программного обеспечения]] +* '''[[MDHPCL]]''': [[MDHPCL|Международная рабочая встреча по модельной разработке высокопроизводительных и облачных вычислений]] +* '''[[MDsec]]''': [[MDsec|Рабочая встреча по безопасности в моделировании]] +* '''[[ME]]''': [[ME|Модели и эволюция]] * '''[[MPM]]''': [[MPM|Рабочая встреча по мультипарадигменному моделированию]] +* '''[[MRT]]''': [[MRT|Модели во время исполнения]] +* '''[[MoDeVVa]]''': [[MoDeVVa|Рабочая встреча по модельным разработке, верификации и валидации]] +* '''[[MotPW]]''': [[MotPW|Рабочая встреча по моделированию материального мира]] +* '''[[NFPinDSML]]''': [[NFPinDSML|Международная рабочая встреча по нефункциональным качествам систем в предметно-ориентированных языках моделирования]] +* '''[[OCL]]''': [[OCL|Рабочая встреча по OCL и текстовому моделированию]] * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] +* '''[[VARY]]''': [[VARY|Изменчивость для вас]] +* '''[[XM]]''': [[XM|Рабочая встреча по экстремальному моделированию]] ---''Список обновлён 2012-08-01'' +--''Список обновлён 2012-08-04'' diff --git a/XM.wiki b/XM.wiki new file mode 100644 index 0000000..e14190d --- /dev/null +++ b/XM.wiki @@ -0,0 +1,24 @@ +* Название: '''Extreme Modeling Workshop''' +* Перевод: '''Рабочая встреча по экстремальному моделированию''' +* Статус: [[Workshop|рабочая встреча]] + +== Тематика == +Вкратце, «экстремальное моделирование» было предложено [http://modeldrivensoftware.net/profile/MarkoBoger Марко Богером] в 2000 году как попытка объединить тогдашние подходы к моделированию (в первую очередь RUP и UML) с гибкой разработкой программного обеспечения (в те годы это было только XP). Богер открыл сайт, сделал доклад на [[XP]] 2000, прочёл лекцию на [[ETAPS]] 2001 и организовал круглый стол и рабочую встречу на [[MoDELS|UML]] 2000, после чего, судя по всему, его интерес к этому вопросу иссяк. + +Вторая попытка организовать стабильную рабочую встречу по экстремальным методам в моделировании была предпринята годы спустя совсем другими людьми, и говорить о её успехе пока рано. В целом её тематикой предлагается что угодно, что +* либо попадает в категорию между «точными моделями в определённом формате» (например, Ecore/EMF) и «каракулями на бумажке», +* либо позволяет осуществить переход от менее точных (более экстремальных) моделей к более точным (позволяющим больший спектр формальных методов) + +== Архив == +* XM 2012 (Австрия, Иннсбрук) +** Extreme Modeling Workshop +** [http://www.di.univaq.it/XM2012/ Сайт] +** Совместно с: [[MoDELS]] +* XPM 2000 (Англия, Йорк) +** eXtreme Programming and Modeling: bridging the gap +** [http://dblp.uni-trier.de/db/conf/uml/uml2000.html DBLP] • [http://web.archive.org/web/20011104192807/http://www.extrememodeling.org/XpmWorkshop.html Архив сайта] +** Совместно с: [[MoDELS|UML]] + +== Ссылки == +* [http://web.archive.org/web/20011126225221/http://www.extrememodeling.org/ Архив eXtremeModeling.org] (теперь по этому адресу модельное агентство или что-то вроде этого) +* [[FM+AM]] — более успешная рабочая встреча близкой тематики diff --git a/Years.wiki b/Years.wiki index 7633cf2..fb78a49 100644 --- a/Years.wiki +++ b/Years.wiki @@ -1,70 +1,70 @@ Конференции по годам: ; [[1970]] -: [[PLDI|SCO]] +: ; [[1979]] -: [[PLDI|SCC]] +: ; [[1982]] -: [[PLDI|SСС]] +: ; [[1983]] -: [[PLDI|SPLISS]] +: ; [[1984]] -: [[PLDI|SCC]] +: ; [[1985]] -: [[PLDI|SLIPE]] +: ; [[1986]] -: [[PLDI|SCC]] +: ; [[1987]] -: [[ESEC]] • [[PLDI]] • [[PEPM|WPEMC]] +: ; [[1988]] -: [[PLDI]] +: ; [[1989]] -: [[ESEC]] • [[PLDI]] +: ; [[1990]] -: [[PLDI]] +: ; [[1991]] -: [[ESEC]] • [[PEPM]] • [[PLDI]] +: ; [[1992]] -: [[PEPM]] • [[PLDI]] +: ; [[1993]] -: [[ESEC]] • [[FSE]] • [[PEPM]] • [[PLDI]] +: ; [[1994]] -: [[FSE]] • [[PEPM]] • [[PLDI]] +: ; [[1995]] -: [[ESEC]] • [[FSE]] • [[PEPM]] • [[PLDI]] +: ; [[1996]] -: [[FSE]] • [[PEPM|PE]] • [[PLDI]] +: ; [[1997]] -: [[ESEC]] • [[FSE]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] +: ; [[1998]] -: [[PEPM|DIKU PE]] • [[FSE]] • [[PLDI]] • [[MoDELS|UML]] +: [[PEPM|DIKU PE]] • [[FSE]] • [[OCL]] • [[PLDI]] • [[MoDELS|UML]] ; [[1999]] -: [[ESEC]] • [[FSE]] • [[PEPM]] • [[PEPM|PEPTD]] • [[PLDI]] • [[MoDELS|UML]] +: [[ESEC]] • [[FSE]] • [[IFM]] • [[OCL]] • [[PEPM]] • [[PEPM|PEPTD]] • [[PLDI]] • [[MoDELS|UML]] ; [[2000]] -: [[FSE]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] +: [[FSE]] • [[IFM]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] • [[XM|XPM]] ; [[2001]] -: [[ESEC]] • [[FSE]] • [[PLDI]] • [[MoDELS|UML]] +: [[ESEC]] • [[FSE]] • [[OCL]] • [[PLDI]] • [[MoDELS|UML]] ; [[2002]] -: [[PEPM|ASIA-PEPM]] • [[FSE]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] +: ; [[2003]] -: [[SLE|ATEM]] • [[ESEC]] • [[FSE]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] +: [[SLE|ATEM]] • [[ESEC]] • [[FSE]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] ; [[2004]] -: [[SLE|ATEM]] • [[FSE]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] +: [[SLE|ATEM]] • [[FSE]] • [[IFM]] • [[MoDeVVa|MoDeVA]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] ; [[2005]] -: [[ESEC]] • [[FSE]] • [[GTTSE]] • [[MoDELS]] • [[PLDI]] +: [[ESEC]] • [[FSE]] • [[GTTSE]] • [[IFM]] • [[MoDELS]] • [[MoDeVVa|MoDeVA]] • [[OCL]] • [[PLDI]] ; [[2006]] -: [[SLE|ATEM]] • [[FSE]] • [[MoDELS]] • [[MPM]] • [[PEPM]] • [[PLDI]] +: [[SLE|ATEM]] • [[FSE]] • [[MoDELS]] • [[MoDeVVa|MoDeV2a]] • [[MPM]] • [[MRT]] • [[OCL|OCLApps]] • [[PEPM]] • [[PLDI]] ; [[2007]] -: [[SLE|ATEM]] • [[ESEC]] • [[FSE]] • [[GTTSE]] • [[MoDELS]] • [[MPM]] • [[PEPM]] • [[PLDI]] +: [[SLE|ATEM]] • [[ESEC]] • [[FSE]] • [[GTTSE]] • [[IFM]] • [[MoDELS]] • [[MoDeVVa]] • [[ME|MoDSE]] • [[MPM]] • [[MRT]] • [[OCL|OCL4All]] • [[PEPM]] • [[PLDI]] ; [[2008]] -: [[FSE]] • [[MoDELS]] • [[PEPM]] • [[PLDI]] • [[SLE]] +: [[ACES-MB|ACES MB]] • [[FSE]] • [[ME|MCCM]] • [[MoDELS]] • [[MoDeVVa]] • [[ME|MoDSE]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] ; [[2009]] -: [[ESEC]] • [[FOSD]] • [[FSE]] • [[GTTSE]] • [[MoDELS]] • [[MPM]] • [[PEPM]] • [[PLDI]] • [[SLE]] +: [[ACES-MB|ACES MB]] • [[ESEC]] • [[FOSD]] • [[FSE]] • [[GTTSE]] • [[IFM]] • [[MoDELS]] • [[MoDeVVa]] • [[ME|MoDSE/MCCM]] • [[MPM]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] ; [[2010]] -: [[FOSD]] • [[FSE]] • [[MoDELS]] • [[MPM]] • [[PEPM]] • [[PLDI]] • [[SLE]] +: [[ACES-MB|ACES MB]] • [[FOSD]] • [[FSE]] • [[IFM]] • [[ME]] • [[MoDELS]] • [[MoDeVVa]] • [[MPM]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] ; [[2011]] -: [[ESEC]] • [[FOSD]] • [[FSE]] • [[GTTSE]] • [[MoDELS]] • [[MPM]] • [[PEPM]] • [[PLDI]] • [[SLE]] +: [[ACES-MB|ACES MB]] • [[CMA]] • [[EESSMod]] • [[ESEC]] • [[FOSD]] • [[FSE]] • [[GTTSE]] • [[ME]] • [[MoDELS]] • [[MoDeVVa]] • [[MPM]] • [[VARY|MPM]] • [[MRT]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] ; [[2012]] -: [[FOSD]] • [[FSE]] • [[MoDELS]] • [[MPM]] • [[PEPM]] • [[PLDI]] • [[SLE]] +: [[ACES-MB|ACES MB]] • [[AMT]] • [[CMA]] • [[EESSMod]] • [[FOSD]] • [[FSE]] • [[IFM]] • [[MDHPCL]] • [[MDsec]] • [[ME]] • [[MoDELS]] • [[MoDeVVa]] • [[MotPW]] • [[MPM]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] • [[VARY]] • [[XM]] ; [[2013]] -: [[PLDI]] ---''Список обновлён 2012-08-01'' +: +--''Список обновлён 2012-08-04'' diff --git a/lists.py b/lists.py index 8f162bc..c0bb822 100755 --- a/lists.py +++ b/lists.py @@ -83,16 +83,33 @@ for year in sorted(byyear.keys()): y = [] f.write('\n; [[%s]]\n: ' % year) - g = open(year+'.wiki','w') - g.write('Конференции, проведённые в %s году:\n' % year) - for c in sorted(byyear[year],key=lambda x:x[1].lower()): - if c[0]==c[1]: - g.write('* [[%s]]\n' % c[0]) - y.append('[[%s]]' % c[0]) + g = open(year+'.wiki','r') + csold = [] + for c in filter(lambda x:x.startswith('* '),map(lambda x:x.strip(),g.readlines())): + a = c.split('[[')[1].split(']]')[0].split('|') + if len(a)==1: + csold.append((a[0],a[0])) else: - g.write('* [[%s|%s]]\n' % c) - y.append('[[%s|%s]]' % c) + csold.append((a[0],a[1])) + g.close() + csnew = sorted(byyear[year],key=lambda x:x[1].lower()) + if csnew == csold: + print 'Year %s is unchanged.' % year + else: + csupd = [] + g = open(year+'.wiki','w') + g.write('Конференции, проведённые в %s году:\n' % year) + for c in csnew: + if c not in csold: + csupd.append(c[0]) + if c[0]==c[1]: + g.write('* [[%s]]\n' % c[0]) + y.append('[[%s]]' % c[0]) + else: + g.write('* [[%s|%s]]\n' % c) + y.append('[[%s|%s]]' % c) + sign(g) + print 'Year %s is updated with %s.' % (year,', '.join(csupd)) f.write(' • '.join(y)) - sign(g) sign(f) print 'Done, %i venues done, %i yet to go.' % (cx1, cx2)