Dr. Jan Bredereke

 

1 Publications (BibTeX Source)

@INPROCEEDINGS{bre:fiw00,
  AUTHOR = {Jan Bredereke},
  TITLE = {Families of Formal Requirements in Telephone Switching},
  BOOKTITLE = {Feature Interactions in Telecommunications and Software
                  Systems {VI}},
  PUBLISHER = {{IOS Press}},
  YEAR = {2000},
  MONTH = {May},
  ADDRESS = {Amsterdam},
  NOTE = {Submitted. An abstract is available
    {\url{http://csd.informatik.uni-oldenburg.de/~jan/abstracts/Bre99e.html}
      {here}}},
}


@INPROCEEDINGS{bre:dagstuhl-se-requirements-noproc,
  AUTHOR = {Joanne Atlee and Wolfram Bartussek and Jan Bredereke and
                  Martin Glinz and Ridha Khedri and Lutz Prechelt and David
                  Weiss},
  TITLE = {Requirements},
  PAGES = {9--16},
  BOOKTITLE = {Software Engineering Research and Education: Seeking a new
                  Agenda},
  YEAR = {1999},
  MONTH = {Feb.},
  EDITOR = {Ernst Denert and Daniel Hoffman and Jochen Ludewig and
                  David Parnas},
  NUMBER = {230},
  KEY = {Dagstuhl},
  SERIES = {Dagstuhl-Seminar-Report, ISSN 0940-1121}
}


@INPROCEEDINGS{bre:dagstuhl-se-maintenance-noproc,
  AUTHOR = {Jan Bredereke and Karol Fr{\"u}hauf and Ridha Khedri and
                  Stefan Krau{\ss} and Andreas Zeller},
  TITLE = {Maintenance},
  PAGES = {41--43},
  BOOKTITLE = {Software Engineering Research and Education: Seeking a new
                  Agenda},
  YEAR = {1999},
  MONTH = {Feb.},
  EDITOR = {Ernst Denert and Daniel Hoffman and Jochen Ludewig and
                  David Parnas},
  NUMBER = {230},
  KEY = {Dagstuhl},
  SERIES = {Dagstuhl-Seminar-Report, ISSN 0940-1121}
}


@ARTICLE{bre:ieee-commag-maint-telsoft,
  AUTHOR = {Jan Bredereke},
  TITLE = {Maintaining Telephone Switching Software Requirements},
  JOURNAL = {IEEE Communications Magazine},
  YEAR = {1999},
  NOTE = {Submitted. An abstract is available
    {\url{http://csd.Informatik.Uni-Oldenburg.DE/~jan/abstracts/Bre99b.html}
      {here}}}
}


@ARTICLE{bre:change-tab-telsys,
  AUTHOR = {Jan Bredereke},
  TITLE = {Modular, Changeable Requirements in Functional
                  Documentation for Telephone Switching},
  JOURNAL = {Formal Methods in System Design},
  YEAR = {1999},
  NOTE = {Special issue on Tabular Notation. Submitted. 
    An extended abstract is available
   
{\url{http://csd.Informatik.Uni-Oldenburg.DE/~jan/abstracts/Bre99c.html}{here}}}
}


@TECHREPORT{bre:change-req-cspoz-techrep,
  AUTHOR = {Jan Bredereke},
  TITLE = {Modular, Changeable Requirements for Telephone Switching
                  in {CSP-OZ}},
  INSTITUTION = {{University of Oldenburg}},
  YEAR = {1999},
  TYPE = {{Interner Bericht}},
  NUMBER = {IBS-99-1},
  ADDRESS = {Oldenburg, Germany},
  MONTH = {Oct.},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/ibs-99-1.ps.gz}
}


@INPROCEEDINGS{bre:dagstuhl-se-agenda,
  AUTHOR = {Jan Bredereke},
  TITLE = {Maintaining Telephone Switching System Requirements},
  BOOKTITLE = {Participants' notes of {Dagstuhl} seminar 99071 --
    software engineering research and education: seeking a new agenda},
  YEAR = {1999},
  MONTH = {15--19~Feb.}
}


@TECHREPORT{bre:study-pots-func-doc,
  AUTHOR = {Jan Bredereke},
  TITLE = {Requirements Specification and Design of a Simplified
    Telephone Network by Functional Documentation},
  INSTITUTION = {McMaster University},
  YEAR = {1998},
  TYPE = {CRL Report},
  NUMBER = {367},
  ADDRESS = {Hamilton, Ontario, Canada},
  MONTH = {Dec.},
  PAGES = {86},
  ISSN = {0381-9337},
  URL = {http://csd.Informatik.Uni-Oldenburg.DE/~jan/papers/Bre98c.ps.gz}
}


@INPROCEEDINGS{bre:estelle98,
  AUTHOR = {Jan Bredereke},
  TITLE = {Specification Style and Efficiency in {E}stelle},
  PAGES = {165--186},
  BOOKTITLE = {Proc. of the 1st Int'l. Workshop on the Formal Description
    Technique {E}stelle -- {E}stelle'98},
  YEAR = {1998},
  EDITOR = {Stanislaw Budkowski and Stefan Fischer and Reinhard
Gotzhein},
  ADDRESS = {Evry, France},
  MONTH = {2~Nov.},
  ORGANIZATION = {Institut National des T{\'e}l{\'e}communications},
  URL = {http://csd.Informatik.Uni-Oldenburg.DE/~jan/papers/Bre98b.ps.gz}
}


@INCOLLECTION{bre:avoid-fi-uif-isbn,
  AUTHOR = {Jan Bredereke},
  TITLE = {Avoiding Feature Interactions in the Users' Interface},
  PAGES = {305--317},
  EDITOR = {Kristofer Kimbler and L. G. Bouma},
  BOOKTITLE = {Feature Interactions in Telecommunications and Software
		  Systems {V}},
  PUBLISHER = {{IOS Press}},
  YEAR = {1998},
  MONTH = {Sep.},
  ADDRESS = {Amsterdam},
  ISBN = {90-5199-431-1},
  NOTE = {This publication is available
		  {\url{http://theoretica.Informatik.Uni-Oldenburg.DE/~jan/papers/Bre98a.ps.gz}{here}}},
}