Specialization Track in Software Development through Rigorous Methods





		UPM / IMDEA Track in Software Development through Rigorous Methods Table of Contents Syllabuses Fall semester Spring semester Spring / Fall semester Syllabuses Fall semester Abstract interpretation Reading group on analysis of global non-functional properties I Reading group on computer security I Rigorous software development Personal work with adviser I Personal work with adviser II Practical project I Practical project II Scientific research seminar Weekly theory seminar I Spring semester Analysis of concurrent systems Computer security Formal methods for concurrent and reactive systems Practical project III Reading group on analysis of global non-functional properties II Reading group on computer security II Techniques and tools for program analysis, verification, and transformation Types for Programming Languages Weekly Theory Seminar II 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

UPM / IMDEA Track in Software Development through Rigorous Methods