UPM / IMDEA Software Institute Specialization Track in Software Development through Rigorous Methods (2017-2018)

Syllabuses





		UPM / IMDEA Software Institute Specialization Track in Software Development through Rigorous Methods (2017-2018) Table of Contents Syllabuses Fall semester Spring semester Spring / Fall semester Syllabuses Fall semester Computer security Directed study with adviser Foundations for programming languages Independent study with adviser Reading group on basic analysis of non-functional global properties Scientific research seminar Software construction: analysis of requirements Software construction: architecture and interface design issues Weekly presentation series: fall term Spring semester Abstract interpretation Advanced topics on computer security Formal methods for concurrent and reactive systems Reading group on advanced analysis of non-functional global properties Software construction: implementation issues Weekly presentation series: spring term Spring / Fall semester Seminars Master Thesis Back to the initial page Go to the IMDEA Software Institute page




Fractals are used with permission from their author Cory Ench \| © 2006-2007. IMDEA Software. All rights reserved \| Legal Notice \| Privacy Policy