Foundations of program and system development (IN2078)
Grundlagen der Programm- und Systementwicklung (IN2078)
Course 821092563 in WS 2017/8
General Data
Course Type | Lecture w/ Exercise |
---|---|
Semester Weekly Hours | 5 SWS |
Organisational Unit | Informatics 4 - Chair of Software & Systems Engineering (Prof. Pretschner) |
Lecturers |
Alexander Pretschner Assistants: Thomas Hutzelmann |
Dates |
Tue, 09:45–12:15, MI HS2 Fri, 10:00–12:00, MI HS2 |
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)
Semester | Title | Lecturers | Dates |
---|---|---|---|
WS 2022/3 | Foundations of program and system development (IN2078) |
Rueß, H.
Responsible/Coordination: Pretschner, A. |
Fri, 10:00–12:00, MI 00.08.038 |
WS 2020/1 | Foundations of program and system development (IN2078) |
Rueß, H.
Responsible/Coordination: Pretschner, A. |
Tue, 10:00–10:45, virtuell Fri, 10:00–12:00, virtuell |
WS 2019/20 | Foundations of program and system development (IN2078) |
Hutzelmann, T.
Rueß, H.
Responsible/Coordination: Pretschner, A. |
Tue, 09:45–12:15, MI HS2 Fri, 10:00–12:00, MI HS2 |
WS 2018/9 | Foundations of program and system development (IN2078) |
Pretschner, A.
Assistants: Hutzelmann, T. |
Tue, 09:45–12:15, MI HS2 Fri, 10:00–12:00, MI HS2 |
WS 2016/7 | Foundations of program and system development (IN2078) | Pretschner, A. |
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) |
Tue, 14:00–17:00, MI 00.13.009A Thu, 10:00–12:00, MI 00.13.009A |
|
WS 2014/5 | Foundations of program and system development (IN2078) |
Tue, 13:00–16:00, MI 00.13.009A Thu, 10:00–12:00, MI 00.13.009A |
|
WS 2013/4 | Foundations of program and system development (IN2078) |
Wed, 12:00–14:00, MI HS2 Thu, 11:00–12:00, MI 00.13.009A Mon, 08:00–10:00, MI HS2 and singular or moved dates |
|
WS 2012/3 | Foundations of program and system development (IN2078) |