SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

TC CCX

adelie avatar
adelie
4 diapositives · 212 Views · Aug 16, 2014

TC CCX. Complexity in Computing. Deals with mechanisms for addressing, identifying and controling complexity Formal methods, agent-based systems, real-time systems, software product lines, MDE, measurement, system specification. May 4-5, 2011 TAC Workshop. 1. TC CCX. Conferences

TC CCX - slide 1
01 / 4TC CCX
1 / 17

Télécharger la présentation

TC CCX
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. TC CCX Complexity in Computing • Deals with mechanisms for addressing, identifying and controling complexity • Formal methods, agent-based systems, real-time systems, software product lines, MDE, measurement, system specification May 4-5, 2011 TAC Workshop 1

  2. TC CCX • Conferences • ICECCS (Engineering Complex Computer Systems), 50-100 • SMC-IT (Space Mission Challenges for IT, 75%), 300+ • ISoLA (Leveraging Applications of Formal Methods), 100-150 • MODELS (Model-Based Development), 200+ • Publications • Proceedings of each of the above conferences, special issues May 4-5, 2011 TAC Workshop 2

  3. TC CCX • Reaching the Members • Newsletter, new Blog planned, regular TC meeting at ICECCS • Europe (60%), Asia (20%), Americas (20%) • 20-30% industry/government • Community built up over time, and has become more specialized May 4-5, 2011 TAC Workshop 3

  4. TC CCX • Recent Accomplishments / Highlights • Book, “Conquering Complexity” in final stages of preparation • Plans • New Blog, new outreach mechanisms • Challenges • Like all conferences, attendance is down due to budgetary constraints • Regular members but little new active members.b May 4-5, 2011 TAC Workshop 4