de | en

Foundations of program and system development (IN2078)
Grundlagen der Programm- und Systementwicklung (IN2078)

Course 821092563 in WS 2019/20

General Data

Course Type lecture with integrated exercises
Semester Weekly Hours 5 SWS
Organisational Unit Informatics 4 - Chair of Software & Systems Engineering (Prof. Pretschner)
Lecturers Thomas Hutzelmann
Harald Rueß
Responsible/Coordination: Alexander Pretschner
Dates Tue, 09:45–12:15, MI HS2
Fri, 10:00–12:00, MI HS2

Assignment to Modules

Further Information

Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.

additional remarks System and program development cover all activities to build software and/or programs seen as descriptions of data and algorithms in a formal language to define an application and task-oriented software solution. One of the large difficulties of program development is founded in the precise and unambiguous description and documentation of the program based on the associated description media, underlying models, theories, structures, decisions and the used ideas. The lecture presents the scientific base, and thus logical and mathematical founding of the concepts, models and methods arising with it. Beside these models and description media a methodical framework is necessary development rules for the execution of design steps as well as a concept for the systematic program development. In the lecture only individual development steps are treated and the main focus is given by the methodical and description-technical foundation in software engineering. Topics are - Data modelling: Abstract description of data structures - Signatures, algebras, models and description media - Axiomatic descriptions - Data type declarations and object model - Change of the data structure; stepwise development of data - Modelling of program specifications and algorithms: - Functional programming: specification, refinement and verification - Procedure-oriented programming: specification, assumptions, Hoare-rules - Predicative specification, stepwise refinement, verification - Network structures - Sequential OO-programs and their specification
Links E-Learning course (e. g. Moodle)
TUMonline entry

Equivalent Courses (e. g. in other semesters)

SemesterTitleLecturersDates
WS 2018/9 Foundations of program and system development (IN2078) Pretschner, A.
Assistants: Hutzelmann, T.Ognawala, S.
Tue, 09:45–12:15, MI HS2
Fri, 10:00–12:00, MI HS2
WS 2017/8 Foundations of program and system development (IN2078) Pretschner, A.
Assistants: Hutzelmann, T.
Fri, 10:00–12:00, MI HS2
Tue, 09:45–12:15, MI HS2
WS 2016/7 Foundations of program and system development (IN2078)
Responsible/Coordination: Pretschner, A.
Assistants: Ognawala, S.
Tue, 09:45–12:15, MI HS2
Fri, 10:00–12:00, MI HS2
and singular or moved dates
WS 2015/6 Foundations of program and system development (IN2078) Thu, 10:00–12:00, MI 00.13.009A
Tue, 14:00–17:00, MI 00.13.009A
WS 2014/5 Foundations of program and system development (IN2078) Thu, 10:00–12:00, MI 00.13.009A
Tue, 13:00–16:00, MI 00.13.009A
WS 2013/4 Foundations of program and system development (IN2078) Mon, 08:00–10:00, MI HS2
Wed, 12:00–14:00, MI HS2
Thu, 11:00–12:00, MI 00.13.009A
and singular or moved dates
WS 2012/3 Foundations of program and system development (IN2078)
Top of page