Methods and techniques in software engineering and information systems, requirements engineering, software design, program analysis, software testing, program comprehension and empirical methods, software generation, formal methods, software project management and software development models.
