Einige aktuelle Vorträge von PD Dr. Jan Bredereke

-> English

• Automatisierung des Entwicklungs-, Verifikations-, Validations- und Test-Prozesses für die Bahnsteuerungs-Domäne
  Wissenschaftlicher Vortrag zum Habilitationskolloquium, Universität Bremen, 16.9.2005, Folien
• Lehrprobe aus "SCS4: Engineering of Embedded Software Systems"
  für das Habilitationskolloquium, Universität Bremen, 16.9.2005, Webseite der Originalveranstaltung im WiSe 2002/03
• Configuring Members of a Family of Requirements Using Features
  ICFI'05, Leicester, UK, 28.-30.6.2005, Zusammenfassung - Folien
• Configuring Members of a Family of Requirements Using Features
  AGBS-Kolloquium, Universität Bremen, 1.3.2005, Folien, und 8.3.2005, Folien
• Modular Requirements Against Feature Interaction Problems
  Dagstuhl Seminar Nr. 04511 - Architecting Systems with Trustworthy Components, Schloß Dagstuhl,
  12.-17.12.2004, Zusammenfassung - Folien
• Struktur eines wissenschaftlichen Textes
  Kurzvortrag im stud. Projekt TRACS, Universität Bremen, 16.7.2004, Folien
• Familien von Anforderungen für eingebettete Systeme
  AGBS-Kolloquium, Universität Bremen, 19.11.2003.
• Ein Suchalgorithmus für die Testdatengenerierung
  AGBS-Workshop "Testen & Testdatengenerierung", Universität Bremen, 28.7.2003, Folien
• Suchalgorithmen für die Testdatengenerierung
  AGBS-Kolloquium, Universität Bremen, 18.7.2003, Folien
• On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions
  FIW'03, Ottawa, Kanada, 11.-13. Jun. 2003, Zusammenfassung - Folien
• Introduction to Tabular Expressions
  AGBS-Kolloquium, Universität Bremen, 7.3.2003, Folien
• Kanäle in SDL
  AGBS-Kolloquium, Universität Bremen, 7.3.2003, Notizen
• Feature Orientation Considered Harmful?
  Dagstuhl Seminar 03081 - Objects, Agents and Features, Schloß Dagstuhl,
  16.-21. Feb. 2003, Zusammenfassung - Folien
• A Tool for Generating Specifications from a Family of Formal Requirements
  Dagstuhl Seminar 02451 - Dependability of Component Based Systems, Schloß Dagstuhl,
  3.-8. Nov. 2002, Zusammenfassung - Folien
• A Rigorous View of Mode Confusion
  SafeComp 2002, Catania, Sizilien, Italien, 10.-13.9.2002, Zusammenfassung
• An Automated, Flexible Testing Environment for UMTS
  TestCom 2002, Berlin, 19.-22.3.2002, Zusammenfassung
• Was um alles in der Welt ist eine Mode-Confusion? - Eine präzise Definition und einige Abhilfen
  AGBS-Kolloquium, Universität Bremen, 22.2.2002.
• A Tool for Generating Specifications from a Family of Formal Requirements
  FORTE 2001, Cheju Island, Korea, 28.-31.8.2001, Zusammenfassung
• Hierarchische Familien formaler Anforderungen
  FBT 2000, Lübeck, 22.-23. Juni 2000, Zusammenfassung
• Generating Specifications from a Family of Formal Requirements
  Dagstuhl Seminar 01221 - can formal methods cope with software-intensive systems?, Schloß Dagstuhl,
  27. Mai-1. Juni 2001, Zusammenfassung
• Families of Formal Requirements in Telephone Switching
  FIW'00, Glasgow, Schottland, 17.-19. Mai 2000, Zusammenfassung - Folien
• Specifying Features in Requirements using CSP-OZ
  Workshop on Language Constructs for Describing Features, Glasgow, Schottland,
  15.-16. Mai 2000, Zusammenfassung
• Modular, Changeable Requirements for Telephone Switching
  Dagstuhl Seminar 99451 - rigorous analysis and design for software intensive systems, Schloß Dagstuhl,
  7.-12. Nov. 1999, Zusammenfassung
• Maintaining Telephone Switching Software Requirements
  Dagstuhl Seminar 99071 - software engineering research and education: seeking a new agenda, Schloß Dagstuhl,
  14.-19. Feb. 1999, Zusammenfassung
• Specification Style and Efficiency in Estelle
  Estelle'98, Evry, Frankreich, 2 Nov. 1998, Zusammenfassung
• Avoiding feature interactions in the users' interface
  FIW'98, Lund, Schweden, 1. Okt. 1998, Zusammenfassung
• Avoiding Telephone Feature Interactions in the Users' Interface
  Bell Labs, Naperville, IL, USA, 18. Aug. 1998, Zusammenfassung - Folien
• Tackling Feature Interactions in the Intelligent (telephone) Network
  Univ. of Ottawa, 5. März 1998, Zusammenfassung - Folien

[Uni Bremen, FB Informatik] - [AG BS] - [PD Dr. Jan Bredereke] - [Vorträge]