vertical_beam

Lehrstuhlseminar [mehr

Hier finden Sie die Lehrstuhlseminare dieses Semesters in chronologischer Reihenfolge geordnet.

Forschungsbesprechungen [zurück

Diskussion aktueller Forschungsfragen in der ST-Gruppe.

DatumZeitArtInhaltVortragenderRaum
01.01.197000:00:14FBAustausch von jüngst gelesenen PapierenalleINF 2101
01.01.197000:00:00FBHow to write a paper?INF 2101
01.01.197000:00:00FBRole-Based Design-Patterns ModellingINF 2101
01.01.197000:00:00FBStructuring Paragraphs IINF 2101
01.01.197000:00:00FBStructuring Paragraphs IIINF 2101
01.01.197000:00:00FBKlassifizierung von Forschungspapieren (Shaw)INF 2101
01.01.197000:00:00FBXOCLINF 2101
01.01.197000:00:00FBLehrstuhl-Web-SeitenMike RetzlaffINF 2101
01.01.197000:00:00FBIKOSOFrau Prof. SonnentagINF 2101
01.01.197014:50:00FBBesprechung jüngst gelesener PapierealleINF 2101
01.01.197009:20:00FBGuizzardi-Buch erster TeilSteffen ZschalerINF 2101
01.01.197009:20:00FBGuizzardi-Buch, Chapter 5 (Parts and Wholes)Birgit DemuthINF 2101
01.01.197009:20:00FBGuizzardi-Buch, Chapter 6 (Properties)Simone RöttgerINF 2101
01.01.197009:20:00FBGuizzardi-Buch, Chapter 7 (Roles)Ilie SavgaINF 2101
01.01.197011:10:00FBOntology-Driven Software Development. An overview about the MOST project. Uwe AßmannINF 2042
01.01.197009:00:00FBDemo-Tag der Gruppe. Git. AG-Sprache mit EMFText. FlowR. Henne/Ei/Produkt-Analyse. Uwe AßmannINF 2042
01.01.197009:20:00FBApplying Futamura projections to Java-based model interpretersMirko SeifertINF 3105
01.01.197009:20:00FBModelSoC - Multi-Dimensional Separation of Concerns in MDSDJendrik JohannesINF 3105
01.01.197009:20:00FBProjektvorstellung FITTEST - Future Internet TestingClaas WilkeINF 3105
01.01.197009:20:00FBOWLText DemoChristian WendeINF 3105
01.01.197009:20:00FBKickoff AG ModellierungINF 3105
01.01.197009:20:00FBRefactorings als Quick-FixesJan ReimannINF 3105
01.01.197009:20:00FBSemi-automated Ontology Generation for Biocuration and Semantic SearchThomas WächterINF 3105
01.01.197009:20:00FBVorstellung Diplomthema "Über Minoren gerichteter Graphen"Steffen SeidlerINF 3105
01.01.197009:20:00FBProbevortrag DissertationJendrik JohannesINF 3105
01.01.197009:20:00FBDokumentation mit DEFT - aktueller Stand und AusblickAndreas BarthoINF 3105
01.01.197009:20:00FBSemantische Makros angewendet auf ConcernsCarl-Philip HaenschINF 3105
01.01.197009:20:00FBVorstellung des Paperlocator - Kollaborative Verwaltung wiss. Veröffentlichungen und schnelles Durchsuchen der DokumenteJulia SchroeterINF 3105
01.01.197009:20:00FB GBVerteidigung GB: A Common Runtime for Predicate Dispatch - entstand in Kooperation mit Lehrstuhl für BetriebssystemeFriedrich GräterINF 3105
01.01.197009:20:00FBZVTG GB: Übersetzung von BPMN 2.0 nach BPEL 1.3André PietschINF 3105
01.01.197009:20:00FBAG Modellierung - Dropsbox Build mit HudsonJendrik JohannesINF 3105
01.01.197009:20:00FBMigration von funktionsblockorientierten Entwürfen für den Einsatz mit generativer ProgrammierungUwe RysselINF 3105
01.01.197009:20:00FB"Designing Round-trip Systems by Model Partitioning and Composition" - Generalprobe Statusvortrag im Rahmen der PromotionMirko SeifertINF 3105
01.01.197009:20:00FBinter:gator Enterprise-Search - Wie man Suchen besser findetJulia SchroeterINF 3105
01.01.197013:00:00FBNAO RobotersAndrea MestreINF 2101
01.01.197013:00:00FBCyber-Physical SystemsClaas WilkeINF 2101
01.01.197013:00:00FBCoolSoftwareSebastian CechINF 2101
01.01.197013:00:00FBProbevortrag im Rahmen der Promotion: "Sichere templategestützte Verarbeitung von XML-Dokumenten"Falk HartmannINF 2101
01.01.197013:00:00FBAdvanced NAO Programming and DevelopmentClaas WilkeINF 2101
01.01.197013:00:00FBUML is still inconsistentClaas WilkeINF 2101
01.01.197013:00:00FBProbevortrag im Rahmen der Promotion: "Sichere templategestützte Verarbeitung von XML-Dokumenten"Falk HartmannINF 2101
01.01.197013:15:00FBProbevortrag im Rahmen der Promotion: "Designing Round-Trip Systems by Model Partitioning, Change Propagation and Support for Non-Injective Transformations"Mirko SeifertINF 2101
01.01.197013:15:00FBRole-based Object-Relational Co-Evolution (Probevortrag für RAM-SE @ TOOLS)Sebastian GötzINF 2101
01.01.197013:00:00FBProbevortrag Fachvortrag: Protocol Engineering: Beschreibung und Entwicklung von KommunikationsprotokollenFalk HartmannINF 2101
01.01.197013:00:00FBTowards Generating Multi-Tenant Applications (Probevortrag für den SLE Student Workshop)Julia SchroeterINF 2101
01.01.197013:00:00FBPaper Planning: SoSyM Dropsboxalle AutorenINF 2101
01.01.197013:00:00FBPredicate-C - An Efficient and Generic Runtime System for Predicate DispatchFriedrich GräterINF 2101
01.01.197013:00:00FBPaper Planning: SoSyM Dropsboxalle AutorenINF 2101
01.01.197014:00:00FBStatusvortrag im Rahmen des Promotionsverfahrens: "Towards an RDFS- and OWL-aware Visualization Design System Supporting Explicit, Shareable and Composable Mappings"Jan PolowinskiINF 2101
01.01.197013:00:00FBDiVA WorkshopJulia SchroeterINF 2101
01.01.197013:00:00FBInterne Besprechung zum DA-Thema von Silvio Goethel.INF 2101
01.01.197013:00:00FBProbevortrag MODELs "Vision Paper: Towards Model-Based Energy Testing"

Probevortrag Models@Runtime "Runtime Variability Management for Energy-Efficient Software by Contract Negotiation"
Claas WilkeINF 2101
01.01.197013:00:00FBProbevortrag im Rahmen der Promotion: "Structural Graph-based Metamodel Matching"Konrad VoigtINF 2101
01.01.197013:00:00FBDropsbox-Tools in der industriellen PraxisJendrik JohannesINF 2101
01.01.197013:00:00FBCompositional Service Engineering with ArctisClaas WilkeINF 2101
01.01.197013:00:00FBVaMoS 2012 EvaluationINF 2101
01.01.197013:00:00FBVorstellung der eigenen ArbeitenRolf-Helge PfeifferINF 2101
01.01.197013:00:00FBVorstellung der eigenen ArbeitenRolf-Helge PfeifferINF 2101
01.01.197013:00:00FBPaper Planning: SoSyM DropsboxDropsboxlerINF 2101
01.01.197013:00:00FBForschungsmethodik und Schreiben einer DissertationUwe AßmannINF 2078
01.01.197014:00:00FBSURiCATS - Assurance in Collective Adaptive Transport SystemsSebastian GötzINF 2078
01.01.197013:00:00FBResilient ETL: Discussion on applicability of SMAGs and MQuAT to ETL processes.Sebastian GötzINF 2101
01.01.197013:00:00FBDiskussion über Kooperationsmöglichkeiten mit kommenden Gastforschern:
  • Joan Atlee
  • Harry Sneed
  • Jim Cordi
INF 2101
01.01.197011:00:00FBDoktorandenvortragChristoff BürgerINF 2101
01.01.197011:00:00FBDoktorandenvortragChristoff BürgerINF 2101
01.01.197011:00:00FBDoktorandenvortragJan ReimannINF 2101
01.01.197011:00:00FBDoktorandenvortragClaas WilkeINF 2101
01.01.197011:00:00FBA journey through three modularization mechanisms: Aspects, Event Modules, Gummy Modules Somayeh MalakutiINF 2078
01.01.197014:50:00FBEuroTrackExChristian Wende and Benjamin Klatt (FZI)INF 2101
01.01.197014:50:00FBModel Checking SMAGs on Petri-netsChristian PiechnickINF 2101
01.01.197014:50:00FBBroken Promises: Problems in Java Programs Caused by Incompatible Library UpgradesJens DietrichINF 2078
01.01.197014:50:00FBIntegrating Design Rationale Capture into Existing Software Development ProcessesMathias Schubanz (BTU Cottbus)INF 2101
01.01.197014:50:00FBProbe-Statusvortrag "Variability in Space and Time in Software Families"Christoph SeidlINF 2101
01.01.197013:00:00FBRTT - Regression Test Tool: EMF IntegrationChristian OelsnerINF 2078
01.01.197013:15:00FBProbevortrag DissertationAndreas BarthoINF 2101
01.01.197013:00:00FBVerifikation Selbst-adaptiver Software mit PetrinetzenChristian PiechnickINF 2101
01.01.197011:30:00FBDistributed Execution of Model-Based Processes in Ubiquitous SystemsRonny SeigerINF 2101
01.01.197013:00:00FBModular Composition of Multiple Applications with Application-level Event ModulesSomayeh MalakutiINF 2101
01.01.197013:00:00FBForschungsaufenthalt in MailandThomas KühnINF 2101
01.01.197013:15:00FBILP Squeezing mit MDSKarsten WendtINF 2101
01.01.197013:00:00FBOpenLicht Project MeetingRene SchöneINF 2101
01.01.197013:00:00FBGUIDES Project MeetingKarsten Wendt, Dimitrii Pukhkaiev, Johannes MeyINF 2101
01.01.197008:00:00FBOpenLicht Verbundtreffen (keine Verteidungen)René SchöneINF 2101
01.01.197009:00:00FBWorkshop on Reference Attribute Grammars and Roles with Prof. Anthony Sloane

Targeted for investigation during this workshop are possible collaborations with regard to the interactions of Reference Attribute Grammars, Contexts and Roles. Hence, the current work of our chairs in these research areas will be presented and joinpoints are discussed. Traditionally, Reference Attribute Grammars have been rather disjoint from OOP. This workshop will explore some of the possible interconnections.

Prof. Anthony Sloane
Prof. Anthony Sloane is an Associate Professor in the Department of Computing in the Faculty of Science and Engineering at Macquarie University in Sydney. His interests are in software design and development, programming language design and implementation, language processing, and programming environments and tools. The main focus of his research at present is the Kiama project that is investigating language embedding using language processing in the Scala language as a major case study. He has also been a co-investigator on the Eli language processor generation project. Prof. Sloane is the leader of the Programming Languages Research Group (PLRG) in the Department of Computing at Macquarie University.

Agenda
Time Speaker Topic
09.00 - 09.30 Prof. Aßmann Opening Session "Adaptive RAGs, Contexts and Roles"
09.30 - 09.45 All Discussions
09.45 - 10.00 Coffee Break
10.00 - 10.30 Prof. Sloane "Kiama's embedding of attribute grammars"
10.30 - 10.45 All Discussions
10.45 - 11.00 Coffee Break
11.00 - 11.30 Johannes Mey, René Schöne "Roles & RAGs and the Train Benchmark"
11.30 - 11.45 All Discussions
11.45 - 12.45 Lunch
12.45 - 13.15 Max Leuthäuser "How to combine SCROLL and Kiama" (tentative)
13.15 - 13.30 All Discussions
13.30 - 14.00 Lars Schütze "Compilation and Interpretation Techniques for Role-based Programming Languages"
14.00 - 14.15 All Discussions
14:15-14:30 Coffee Break
14.30 - 15.00 Philipp Chrzson "Model Checking of Role-Play Automata"
15.00 - 15.30 Prof. Aßmann "Why Object-Oriented Programming must be extended with CR-RAGs"
INF 3105

Reading Group [mehr

Die Reading Group des Lehrstuhls ST.

Raumreservierung

Hier können Mitarbeiter des Lehrstuhls ST das Labor 2078 buchen.

Raumbuchung

Stellenangebote/Jobs

Hier finden Sie job die Stellenangebote.

Calls for Papers [mehr] [erstellen]

Hier finden Sie Informationen zu für die Gruppe relevanten "Calls for Papers" und anderen "Calls for Contributions". Die North Carolina State University hat eine interessante Übersicht von SE-Konferenzen., die nun auch mit einer Karte verfügbar ist.

Wiederkehrende Ereignisse

In diesem Artikel sammeln wir Informationen zu wiederkehrenden, für die Gruppe relevanten Ereignissen. Beispielsweise erscheinen hier Informationen zu regelmäßigen Konferenzen.

Hinweise zu Vorträgen und zum wissenschaftlichen Arbeiten (z.B. DA / GB /BA /MA)

Im Folgenden sind einige Referenzen aufgelistet, die Hinweise und Tips zum Halten von Vorträgen und zum Anfertigen wissenschaftlicher Arbeiten enthalten. Die Liste erhebt keinen Anspruch auf Vollständigkeit. Hinweise auf weitere nützliche Referenzen nehmen wir gern entgegen.

Hinweise zu mündlichen Prüfungen

Hier finden Sie die Hinweise zu mündlichen Prüfungen

Werkzeuge

Werkzeuge, die in der Gruppe verwendet werden.

Lehrstuhlseminar und Forschungsbesprechungen - Archiv [mehr

Hier finden Sie alle bisherigen Lehrstuhlseminare und Forschungsbesprechungen in chronologischer Reihenfolge geordnet.

Miscellaneous Links [mehr]

Hier finden Sie Web-Links, die keinem Thema zugeordnet sind, aber trotzdem interessante Information enthalten.

Hinweise für Doktoranden

Literatursuche und -auswertung

Hier finden Sie Hinweise zur Arbeit mit der Literatur.