Found 14 relevant results in 0.73s where lecturer="Peter Müller"
Course that focuses on an in-depth understanding of object-oriented programming and compares designs of object-oriented programming languages. Topics include different flavors of type systems, inheritance models, encapsulation in the presence of aliasing, object and class initialization, program correctness, reflection
Concepts of Object-Oriented Programming
Konzepte objektorientierter Programmierung
Course that focuses on an in-depth understanding of object-oriented programming;object model, components, frameworks, reuse, encapsulation, type systems, aliasing, concurrency, distributed programming, reflection, interface specifications, invariants
In this course, participants will learn about new ways of specifying, reasoning about, and developing programs and computer systems. The first half will focus on using functional programs to express and reason about computation. The second half presents methods for developing and verifying programs represented as discrete transition systems.
IT Project Management
Informatik-Projektentwicklung
Course that provides an overview of modern project management methods; Project Life Cycle and Project Management Life Cycle, Initiation, Planning, Scheduling, Cost Management, Change Management, Risk Management, Communication and HR Management, Team Building, Procurement Management, Legal Issues.
A hands-on introduction to the theory and construction of deductive program verifiers, covering both powerful techniques for formal program reasoning, and a perspective over the tool stack making up modern verification tools.
No description available.
This seminar is an opportunity to become familiar with current research in software engineering and more generally with the methods and challenges of scientific research.
No description available.
Principles, methods, and tools of software engineering;requirements analysis, design, implementation, test, maintenance;project management
Principles, methods, and tools of software engineering;requirements analysis, design, implementation, test, maintenance;project management
The course is an introduction to research in software engineering, based on reading and presenting high quality research papers in the field. The instructor may choose a variety of topics or one topic that is explored through several papers.
Seminar that focuses on the understanding and discussion of recent scientific publicationsInterface specifications, program verification, model checking, testing, advanced type systems, alias and pointer analysis
Seminar that focuses on the understanding and discussion of recent scientific publicationsInterface specifications, program verification, model checking, testing, advanced type systems, alias and pointer analysis