First lecture is on 16/04/2013.

Topics of this lecture are:

• problem statement and goals
• essential activities
• general aspects of notation, methodology, tools
• basic concepts and formalisms
• specific approaches: structured and object-oriented methods
• conclusion and outlook
• intensive use of tools