compass-research.eu
COMPASS
http://www.compass-research.eu/approach.html
The COMPASS Technology in a Nutshell. The target of our research is the integration of well-founded engineering notations, methods and tools to support developers in building models of SoSs and analysing the global SoS-level properties of these models. These integrated techniques are intended to allow the comparison of alternative architectures and allocations of responsibilities to constituent subsystems. 1 October 2011 - 30 September 2014. Page Top ↑.
compass-research.eu
COMPASS
http://www.compass-research.eu/index.html
The COMPASS Project oficially ended on 30 September 2014. In the three years of the project, COMPASS made significant progress in providing and evaluating advanced model-based methods and tools for development and analysis of SoS models. The COMPASS Club gathers together the key project outputs and acts as a home for further development of the COMPASS ecosystem. To receive updates on COMPASS Club developments - join the COMPASS Club. COMPASS presenting at Model Based Safety Symposium ( IMBSA. If you woul...
compass-research.eu
COMPASS
http://www.compass-research.eu/newsletters.html
Guide to COMPASS Deliverables. An Introduction to COMPASS;The First Six Months; Upcoming Conferences and Workshops; Meet the Partners: Bang and Olufsen; The COMPASS Interest Group. CML Tool Initial Release; Project Update; Upcoming Conferences and Workshops; Public Deliverables; The COMPASS Interest Group. Smart Grid Challenge Problem; Project Update; Model-Based System Engineering; COMPASS Interest Group workshop. The COMPASS Summer School, Project update and reports from EDSoS, INCOSE. Page Top ↑.
compass-research.eu
COMPASS
http://www.compass-research.eu/consortium.html
COMPASS Project Consortium Members. Universidade Federal de Pernambuco. 1 October 2011 - 30 September 2014. Page Top ↑.
lmf.di.uminho.pt
Site Map | Theory and Formal Methods
http://lmf.di.uminho.pt/site_map.html
Theory and Formal Methods. Universidade do Minho - DI/CCTC. Summer School on Generative and Transformational Techniques in Software Engineering. Computer Science and Technology Center (CCTC). Tallinn University of Technology. U Beira Interior (DCC). U Minho Maths Dept. Algebraic and Coalgebraic Methods in Computing. External Research Students (co-supervised). Summer School on Generative and Transformational Techniques in Software Engineering. Jornada de Ciências da Computação. 2nd LerNet Project Meeting.
nicoplat.com
Activities | NicoPlat.com
http://www.nicoplat.com/node/368
Skip to main content. Working for West Consulting BV. Chairman of the Overture Language Board. Organiser of various workshops related to software engineering and formal methods, amongst which: FormaliSE. Part of ICSE 2013, ICSE 2014 and ICSE 2015), FormSERA (part of ICSE 2012), the 10th Overture workshop, (part of FM 2012), and the 8th Overture Workshop. Tutorial Chair of FM 2011 (Limerick, Ierland, juni 2011). Representative of Formal Methods Europe. Part of ICSE 2009 (Vancouver) and ICSE 2011 (Hawaii).
SOCIAL ENGAGEMENT