Some Recent Talks of PD Dr. Jan Bredereke

-> Deutsch

• Automatisierung des Entwicklungs-, Verifikations-, Validations- und Test-Prozesses für die Bahnsteuerungs-Domäne
  Scientific talk for the "Habilitation" examination seminar, University of Bremen, Germany, Sep. 16, 2005, slides
• Examination lecture from "SCS4: Engineering of Embedded Software Systems"
  for the "Habilitation" examination seminar, University of Bremen, Germany, Sep. 16, 2005,
  web site of the original lecture in the winter term 2002/03
• Configuring Members of a Family of Requirements Using Features
  ICFI'05, Leicester, UK, June 28-30, 2005, abstract - slides
• Configuring Members of a Family of Requirements Using Features
  AGBS-Kolloquium, University of Bremen, Mar. 1, 2005, slides, and Mar. 8, 2005, slides
• Modular Requirements Against Feature Interaction Problems
  Dagstuhl Seminar Nr. 04511 - Architecting Systems with Trustworthy Components, Schloß Dagstuhl, Germany
  Dec. 12-17, 2004, abstract - slides
• Struktur eines wissenschaftlichen Textes
  Short presentation for the stud. project TRACS, University of Bremen, Jul 16, 2004, slides
• Familien von Anforderungen für eingebettete Systeme
  AGBS-Kolloquium, University of Bremen, Nov. 19, 2003.
• Ein Suchalgorithmus für die Testdatengenerierung
  AGBS-Workshop "Testen & Testdatengenerierung", University of Bremen, Jul. 28, 2003, slides
• Suchalgorithmen für die Testdatengenerierung
  AGBS-Kolloquium, University of Bremen, Jul. 18, 2003, slides
• On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions
  FIW'03, Ottawa, Canada, Jun. 11-13, 2003, abstract - slides
• Introduction to Tabular Expressions
  AGBS-Kolloquium, University of Bremen, Mar. 7, 2003, slides
• Kanäle in SDL
  AGBS-Kolloquium, University of Bremen, Mar. 7, 2003, notes
• Feature Orientation Considered Harmful?
  Dagstuhl Seminar 03081 - Objects, Agents and Features, Schloß Dagstuhl, Germany
  Feb. 16-21, 2003, abstract - slides
• A Tool for Generating Specifications from a Family of Formal Requirements
  Dagstuhl Seminar 02451 - Dependability of Component Based Systems, Schloß Dagstuhl, Germany
  Nov. 3-8, 2002, abstract - slides
• A Rigorous View of Mode Confusion
  SafeComp 2002, Catania, Sicily, Italy, Sep. 10-13, 2002, abstract
• An Automated, Flexible Testing Environment for UMTS
  TestCom 2002, Berlin, Germany, Mar. 19-22, 2002, abstract
• Was um alles in der Welt ist eine Mode-Confusion? - Eine präzise Definition und einige Abhilfen
  AGBS-Kolloquium, University of Bremen, Feb. 22, 2002.
• A Tool for Generating Specifications from a Family of Formal Requirements
  FORTE 2001, Cheju Island, Korea, Aug. 28-31, 2001, abstract
• Hierarchische Familien formaler Anforderungen
  FBT 2000, Lübeck, Germany, June 22-23, 2000, abstract
• Generating Specifications from a Family of Formal Requirements
  Dagstuhl Seminar 01221 - can formal methods cope with software-intensive systems?, Schloß Dagstuhl, Germany
  May 27-June 1, 2001, abstract
• Families of Formal Requirements in Telephone Switching
  FIW'00, Glasgow, Scotland, May 17-19, 2000, abstract - slides
• Specifying Features in Requirements using CSP-OZ
  Workshop on Language Constructs for Describing Features, Glasgow, Scotland,
  May 15-16, 2000, abstract
• Modular, Changeable Requirements for Telephone Switching
  Dagstuhl Seminar 99451 - rigorous analysis and design for software intensive systems, Schloß Dagstuhl, Germany,
  Nov. 7-12, 1999, abstract
• Maintaining Telephone Switching Software Requirements
  Dagstuhl Seminar 99071 - software engineering research and education: seeking a new agenda, Schloß Dagstuhl, Germany,
  Feb. 14-19, 1999, abstract
• Specification Style and Efficiency in Estelle
  Estelle'98, Evry, France, Nov. 2, 1998, abstract
• Avoiding feature interactions in the users' interface
  FIW'98, Lund, Sweden, Oct. 1, 1998, abstract
• Avoiding Telephone Feature Interactions in the Users' Interface
  Bell Labs, Naperville, IL, USA, Aug. 18, 1998, abstract - slides
• Tackling Feature Interactions in the Intelligent (telephone) Network
  Univ. of Ottawa, Mar 5, 1998, abstract - slides

[Uni Bremen, FB Informatik] - [AG BS] - [PD Dr. Jan Bredereke] - [Talks]