Correct System Design

Dr. Jan Bredereke

email: Jan.Bredereke

Since October 2000 Jan Bredereke is with the University of Bremen at the Bremen Institute for Safe Systems (BISS).

 

top of page

Publications

[Bre00]
Jan Bredereke. Families of formal requirements in telephone switching. In Feature Interactions in Telecommunications and Software Systems VI, Amsterdam, May 2000. IOS Press. Submitted. An abstract is available here.
[ bib ]

[ABB+99]
Joanne Atlee, Wolfram Bartussek, Jan Bredereke, Martin Glinz, Ridha Khedri, Lutz Prechelt, and David Weiss. Requirements. In Ernst Denert, Daniel Hoffman, Jochen Ludewig, and David Parnas, editors, Software Engineering Research and Education: Seeking a new Agenda, number 230 in Dagstuhl-Seminar-Report, ISSN 0940-1121, pages 9-16, Feb. 1999.
[ bib ]

[BFK+99]
Jan Bredereke, Karol Frühauf, Ridha Khedri, Stefan Krauß, and Andreas Zeller. Maintenance. In Ernst Denert, Daniel Hoffman, Jochen Ludewig, and David Parnas, editors, Software Engineering Research and Education: Seeking a new Agenda, number 230 in Dagstuhl-Seminar-Report, ISSN 0940-1121, pages 41-43, Feb. 1999.
[ bib ]

[Bre99a]
Jan Bredereke. Maintaining telephone switching software requirements. IEEE Communications Magazine, 1999. Submitted. An abstract is available here.
[ bib ]

[Bre99d]
Jan Bredereke. Modular, changeable requirements in functional documentation for telephone switching. Formal Methods in System Design, 1999. Special issue on Tabular Notation. Submitted. An extended abstract is available here.
[ bib ]

[Bre99c]
Jan Bredereke. Modular, changeable requirements for telephone switching in CSP-OZ. Interner Bericht IBS-99-1, University of Oldenburg, Oldenburg, Germany, Oct. 1999.
[ bib | .ps.gz ]

[Bre99b]
Jan Bredereke. Maintaining telephone switching system requirements. In Participants' notes of Dagstuhl seminar 99071 - software engineering research and education: seeking a new agenda, 15-19 Feb. 1999.
[ bib ]

[Bre98b]
Jan Bredereke. Requirements specification and design of a simplified telephone network by functional documentation. CRL Report 367, McMaster University, Hamilton, Ontario, Canada, Dec. 1998.
[ bib | .ps.gz ]

[Bre98c]
Jan Bredereke. Specification style and efficiency in Estelle. In Stanislaw Budkowski, Stefan Fischer, and Reinhard Gotzhein, editors, Proc. of the 1st Int'l. Workshop on the Formal Description Technique Estelle - Estelle'98, pages 165-186, Evry, France, 2 Nov. 1998. Institut National des Télécommunications.
[ bib | .ps.gz ]

[Bre98a]
Jan Bredereke. Avoiding feature interactions in the users' interface. In Kristofer Kimbler and L. G. Bouma, editors, Feature Interactions in Telecommunications and Software Systems V, pages 305-317. IOS Press, Amsterdam, Sep. 1998. This publication is available here.
[ bib ]