Fakultät für Informatik

TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

TUM
 
 

Arbeitsgemeinschaft Methoden des Software und Systems Engineerings


Die Arbeitsgemeinschaft Methoden des Software und Systems Engineerings bildet den Rahmen für Vorträge von Gästen des Lehrstuhls, sowie für Vorträge von Studenten über ihre abgeschlossenen Diplom-, Bachelor- und Masterarbeiten und Systementwicklungsprojekte.

Termine für Vorträge können über das Webformular angefragt werden.

Für weitere Informationen bitte Mail an Maximilian Irlbeck.



Termine:

SS 2014
16.7.14
13:00 (s.t.)
Studenten-AG (noch Plätze frei)
4.7.14
09:00 (s.t.)
Studenten-AG (noch Plätze frei)
26.6.14
13:00 (s.t.)
Studenten-AG (noch Plätze frei)
24.6.14
16:00 (s.t.)
Dr. Alexander Malkis
24.6.14
10:00 (s.t.)
Dr. Erik W. Aslaksen
The Engineering Paradigm and the Influence of Computing
30.4.14
12:00 (s.t.)
Studenten-AG (noch Plätze frei)
23.4.14
13:00 (s.t.)
Studenten-AG
10.4.14
13:00 (s.t.)
Studenten-AG
WS 2013/2014
18.3.14
10:00 (s.t.)
Studenten-AG
21.2.14
09:00 (s.t.)
Dr. Jens Krinke, University College London
Identifying, Modelling, and Analysing Dependence Structures in Software
5.2.14
15:45 (s.t.)
Studenten-AG
23.1.14
13:45 (s.t.)
Studenten-AG
20.1.14
11:00 (s.t.)
Ketil Stølen
Modeling, semantics and modularity in the context of (security) risk analysis
9.1.14
13:00 (s.t.)
Studenten-AG
16.12.13
13:00 (s.t.)
Studenten-AG
9.12.13
11:00 (s.t.)
Dr. Andreas Bauer
Who I am and what I do, or how formal methods can contribute to SE
6.12.13
10:00 (s.t.)
Prof. Gul Agha (University of Illinois at Urbana-Champaign)
The Actor Model: Foundations, Languages and Open Problems
25.11.13
13:00 (s.t.)
Studenten-AG
14.11.13
13:00 (s.t.)
Studenten-AG
7.11.13
15:00 (s.t.)
Dr. Ulrich Klank (scitics GmbH)
YSbox - Datamining für Softwareentwickler
6.11.13
09:00 (s.t.)
Studenten-AG
31.10.13
13:00 (s.t.)
Studenten-AG
22.10.13
14:00 (s.t.)
Dr. Daniel Méndez Fernández
Naming the Pain in Requirements Engineering - First Results and Next Steps from a globally distributed Family of Surveys
17.10.13
13:00 (s.t.)
Studenten-AG
25.9.13
12:00 (s.t.)
Studenten-AG
16.9.13
10:00 (s.t.)
Studenten-AG
SS 2013
19.8.13
11:00 (s.t.)
Studenten-AG
13.8.13
11:00 (s.t.)
Studenten-AG
12.8.13
11:00 (s.t.)
Studenten-AG
27.6.13
13:00 (s.t.)
Studenten-AG
14.6.13
10:00 (s.t.)
Studenten-AG
3.6.13
14:00 (s.t.)
Studenten-AG
6.5.13
13:00 (s.t.)
Studenten-AG
17.4.13
13:00 (s.t.)
Studenten-AG
15.4.13
12:00 (s.t.)
Diego Marmsoler
On the Laws of Failure: A Theory of Compensable Programs
WS 2012/2013
6.3.13
11:30 (s.t.)
Studenten-AG
6.2.13
13:00 (s.t.)
Studenten-AG
31.1.13
10:00 (s.t.)
Krzysztof Wnuk
Visualizing, Analyzing and Managing the Scope of Software Releases in Large-Scale Requirements Engineering
23.1.13
13:00 (s.t.)
Studenten-AG
22.1.13
10:15 (s.t.)
Dr. Alexander Malkis
On Automation in the Verification of Software Barriers: Experience Report
9.1.13
13:00 (s.t.)
Studenten-AG
20.12.12
14:00 (s.t.)
Studenten-AG
11.12.12
09:00 (s.t.)
Martin Robillard
Documentation Analysis for API Usability
10.12.12
12:00 (s.t.)
Studenten-AG
20.11.12
11:00 (s.t.)
Studenten-AG
5.11.12
10:00 (s.t.)
Antonio Vetro
Empirical Assessment of the Impact on Code Quality of Applying Automatic Static Analysis
29.10.12
12:00 (s.t.)
Michael Jackson
Problem Frames and Behaviours in Cyber-Physical Systems
24.10.12
12:00 (s.t.)
Studenten-AG
8.10.12
13:00 (s.t.)
Studenten-AG
4.10.12
10:00 (s.t.)
Sabine Teufl, Dongyue Mou
MIRA - Requirements Engineering in AutoFOCUS3 (Software Demo)
2.10.12
11:00 (s.t.)
Janos Sztipanovits
Model - Based Design of Cyber Physical Systems
27.9.12
11:00 (s.t.)
Dr. Pieter J. Mosterman
A Computational Semantics of Timebased Models and Its Role in Model-Based Design
11.9.12
13:00 (s.t.)
Studenten-AG
SS 2012
30.7.12
13:00 (s.t.)
Studenten-AG
5.7.12
13:00 (s.t.)
Studenten-AG
28.6.12
13:00 (s.t.)
Studenten-AG
28.6.12
11:00 (s.t.)
Jens Borchers
Software-Qualitaetssicherung fuer die SCHUFA-Kernanwendungen - Organisation, Prozesse, Werkzeuge
18.6.12
13:30 (s.t.)
Helmut Scherzer
Moderne Dokumentationstechnik fuer nachhaltige Softwarequalitaet
5.6.12
10:00 (s.t.)
Prof. Pallab Dasgupta
Reasoning with Formal Specifications - From Theory to Practice
31.5.12
11:00 (s.t.)
Tilman Seifert
Impaktanalysen auf Architekturebene
30.5.12
16:00 (s.t.)
Dr. Andreas Bauer
Runtime verification for the masses
30.5.12
12:30 (s.t.)
Studenten-AG
3.5.12
13:00 (s.t.)
Studenten-AG





© Lehrstuhl IV: Software & Systems Engineering
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2004-06-10 11:47:58