SEGRAVIS · Syntactic and semantic integration of visual modelling techniques
5РП — Човешки потенциал в науката
- Период
- 2002-10-01 → 2006-09-30
- Финансиране от ЕС
- 1 497 585 €
- Участници
- 13
- Схема
- NET
Линиите свързват координатора с партньорите.
Накратко на български
Визуалните техники за моделиране изследват как схеми и графики могат да дефинират структурата и логиката на софтуерни системи. Това помага за по-доброто разбиране, анализ и проверка на сложни цифрови приложения.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
The training content corresponds to the research objectives of the network. It is arranged around the topics of(i) meta-level solutions for the definition and implementation of visual modeling techniques,(ii) UML-based and net-based modeling techniques, and(iii) domain-specific applications of visual techniques. The first category includes training in meta-level techniques for the definition of syntax and semantics, analysis and verification, modularity, refinement and evolution as well as integration and meta CASE tool support. The primary form of training is joint research of visiting researchers in cooperation with the staff at the hosting site. This is supplemented by network-wide training activities like a one-week school, invited lectures from researchers and industrial practitioners from inside and outside of the network, and tutorials given by experts at relevant conferences and workshops. The training of young researchers is rounded up by university courses. The primary training is joint research of visiting researchers in cooperation with the staff at the
Оригинален текст от CORDIS (на английски).
Участници
- UNIVERSITAET - GESAMTHOCHSCHULE PADERBORN · PADERBORNКоординаторГермания
- LEIDEN UNIVERSITY · LEIDENНидерландия
- TECHNISCHE UNIVERSITAET BERLIN · BERLINГермания
- UNIVERSITA DEGLI STUDI DI PISA · PISAИталия
- UNIVERSITAET BREMEN · BREMENГермания
- UNIVERSITAET DARMSTADT/TU · DARMSTADTГермания
- UNIVERSITAIRE INSTELLING ANTWERPEN - UNIVERSITEIT ANTWERPEN · WILRIJK (ANTWERPEN)Белгия
- UNIVERSITAT POLITECNICA DE CATALUNYA · BARCELONAИспания
- UNIVERSITY COLLEGE LONDON · LONDONОбединеното кралство
- UNIVERSITY OF KENT AT CANTERBURY · CanterburyОбединеното кралство
- UNIVERSITY OF LEICESTER · LEICESTERОбединеното кралство
- UNIVERSITY OF ROME LA SAPIENZA"" · ROMAИталия
- UNIVERSITÀ DEGLI STUDI DI MILANO-BICOCCA · MILANOИталия
Връзки
Данни: CORDIS, © Европейски съюз
