Beiträge in Workshop-Tagungsbänden

Bredereke, J.:
A Survey of Time and Space Partitioning for Space Avionics.
In: "DASIA 2018 Data Systems In Aerospace". (Oxford, UK, 29th-31st May 2018). Session A10: TSP including Multicore & PU. Eurospace. (abstract - pdf - slide handout in pdf - slides in pdf)

Bredereke, J.:
Modular Requirements Against Feature Interaction Problems (abstract).
In: Reussner, R., Stafford, J., Szyperski, C. (editors), "Architecting Systems with Trustworthy Components", No. 04511 in Dagstuhl Seminar Proceedings, p. 10 (Mar. 2006). (full text of abstract - slides in PDF)

Bredereke, J., Larsson, S., Krishnamurthi, S., Stuckenholz, A., Sulzmann, C., van Ommering, R., Szyperski, C., and Weck, W.:
04511 Breakout Group -- Blame Assignment (abstract).
In: Reussner, R., Stafford, J., Szyperski, C. (editors), "Architecting Systems with Trustworthy Components", No. 04511 in Dagstuhl Seminar Proceedings, p. 5 (Mar. 2006). (full text of abstract)

Bredereke, J.:
Feature Orientation Considered Harmful? (abstract).
In Ehrich, H.-D., Meyer, J.-J., and Ryan, M. (editors), "Objects, Agents and Features", Materials of Dagstuhl Seminar No. 03081 (Feb. 2003). (full text of abstract - slides in PDF)

Bredereke, J.:
A Tool for Generating Specifications from a Family of Formal Requirements (abstract).
In: Anderson, S., Bloomfield, R., Heisel, M., Krämer, B. (editors), "Dependability of Component Based Systems", no. 359 in Dagstuhl-Seminar-Report, pp. 1-2 (Nov. 2002). (full text of abstract - slides in ps/gzip)

Bredereke, J.:
Ein Werkzeug zum Generieren von Spezifikationen aus einer Familie formaler Anforderungen.
In: Fischer, S., Jung, H. W. (editors), " Formale Beschreibungstechniken - 11. GI/ITG-Fachgespräch", Bruchsal, Germany (21-22 June 2001). (abstract - ps/gzip - PDF)

Bredereke, J., Schlingloff, B.-H.:
Specification Based Testing of the UMTS Protocol Stack.
In: "Proc. of the 14th Int'l. Software & Internet Quality Week - QW2001", San Francisco, USA (29 May - 1 June 2001). On CD-ROM. (abstract - slides in ps/gzip - ps/gzip - PDF)

Bredereke, J.:
Generating Specifications from a Family of Formal Requirements.
In: Jähnichen, S., Kramer, J., Lemoine, M., and Wirsing, M. (editors), "Can Formal Methods Cope with Software-Intensive Systems?", no. 308 in Dagstuhl-Seminar-Report, p. 15 (Jun. 2001). (full text of abstract)

Bredereke, J.:
Hierarchische Familien formaler Anforderungen.
In: Grabowski, J., Heymer, S. (editors), " Formale Beschreibungstechniken für verteilte Systeme - 10. GI/ITG-Fachgespräch", pp. 31-40, Lübeck, Germany (22-23 June 2000). Shaker Verlag, Aachen, Germany. (abstract - ps/gzip)

Bredereke, J.:
Specifying Features in Requirements using CSP-OZ.
In: Gilmore, S. and Ryan, M. (eds.), "Proc. of Workshop on Language Constructs for Describing Features", pp. 87-88, Glasgow, Scotland (15-16 May 2000). ESPRIT Working Group 23531 - Feature Integration in Requirements Engineering. (abstract)

Bredereke, J.:
Modular, Changeable Requirements for Telephone Switching (abstract).
In: Jähnichen, S., Lemoine, M., Maibaum, T., and Wirsing, M. (editors), "Rigorous Analysis and Design for Software Intensive Systems", no. 258 in Dagstuhl-Seminar-Report, p. 10 (Nov. 1999). (full text of abstract)

Bredereke, J., Frühauf, K., Khedri, R., Krauß, S., Zeller, A.:
Maintenance.
In: Denert, E., Hoffman, D., Ludewig, J., Parnas, D. (eds.): "Software Engineering Research and Education: Seeking a new Agenda", no. 230 in Dagstuhl-Seminar-Report, ISSN 0940-1121, pp. 41-43 (Feb. 1999). (report in ps/gzip)

Atlee, J., Bartussek, W., Bredereke, J., Glinz, M., Khedri, R., Prechelt, L., Weiss, D.:
Requirements.
In: Denert, E., Hoffman, D., Ludewig, J., Parnas, D. (eds.): "Software Engineering Research and Education: Seeking a new Agenda", no. 230 in Dagstuhl-Seminar-Report, ISSN 0940-1121, pp. 9-16 (Feb. 1999). (report in ps/gzip)

Bredereke, J.:
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). (Available on request / Erhältlich auf Anfrage)

Bredereke, J.:
Specification Style and Efficiency in Estelle.
In: Budkowski, S., Fischer, S., and Gotzhein, R., (eds.), "Proc. of the Int'l. Workshop on the Formal Description Technique Estelle - Estelle'98", Evry, France (2 Nov. 1998). Institut National des Télécommunications. (abstract - ps/gzip)

Bredereke, J.:
Automata-Theoretic vs. Property-Oriented Approaches for the Detection of Feature Interactions in IN.
In: Margaria, T. (ed.), " International Workshop on Advanced Intelligent Networks 1996 - AIN96, Proceedings", Tech. Rep. MIP-9604, pp. 56-70. Univ. of Passau, Germany (25-26 Mar. 1996). (abstract - ps/gzip)

Bredereke, J.:
Formal Criteria for Feature Interactions in Telecommunications Systems.
In: Iversen, V. B. and Nørgaard, J. (eds.), " IFIP International Working Conference on Intelligent Networks - IWCIN95, Proceedings", pp. 83-97, Copenhagen, Denmark (28-31 Aug. 1995). (abstract - ps/gzip)

Thees, J. and Bredereke, J.:
Ein Werkzeug zur Analyse von Feature-Interaktionen in IN.
In: Gotzhein and Bredereke "[GoBr95]", pp. 199-208. (abstract - ps/gzip)

Bredereke, J.:
Spezifikationsstil und Effizienz in Estelle.
4. GI/ITG-Fachgespräch für Verteilte Systeme, Kiel, Germany (16-17 June 1994).