Monika Müllerburg

According to our database, Monika Müllerburg authored at least 23 papers between 1980 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Technik begeistert Mädchen: Die Erfolgsgeschichte von Roberta.

Monika Müllerburg, Josef Börding, Ulrike Petersen, Gabi Theidig

LOG IN, 2005

Autonome intelligente Systeme Ein Überblick.

Bernhard Koerber, Monika Müllerburg

LOG IN, 2005

Informatikausbildung, Roboter und Mädchen.

Monika Müllerburg, Josef Börding, Gabi Theidig, Ulrike Petersen

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2001

Specifying and verifying reactive systems in a multi-language environment.

Agathe Merceron, Monika Müllerburg, G. Michele Pinna

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000

Validierung Software-intensiver eingebetteter Systeme.

Monika Müllerburg

Inform. Forsch. Entwickl., 2000

1999

Software intensive embedded systems.

Monika Müllerburg

Inf. Softw. Technol., 1999

1998

Verifying a Time-Triggered Protocol in a Multi-language Environment.

Agathe Merceron, Monika Müllerburg, G. Michele Pinna

Proceedings of the Computer Safety, 1998

1995

Systematic Testing: A Means for Validating Reactive Systems.

Monika Müllerburg

Softw. Test. Verification Reliab., 1995

Systematic testing and formal verification to validate reactive programs.

Monika Müllerburg, Leszek Holenderski, Olivier Maffeïs, Agathe Merceron, Matthew Morley

Softw. Qual. J., 1995

Editorial.

Monika Müllerburg, Ken Croucher

Softw. Qual. J., 1995

1994

Structured hypertext for using and learning function point analysis.

Alain Abran, Jean-Marc Desharnais, Dirk Meyerhoff, Monika Müllerburg, Denis St-Pierre

Proceedings of the SEKE'94, 1994

1993

The METKIT CAI system.

Monika Müllerburg, Dirk Meyerhoff

Inf. Softw. Technol., 1993

Technology transfer in software engineering measurement: ESPRIT II project METKIT.

Monika Müllerburg

Inf. Softw. Technol., 1993

1992

Zur Formalisierung von Testkonzepten.

Monika Müllerburg

Proceedings of the Testen, 1992

Structured Hypertext Applied to Software Measurement.

Dirk Meyerhoff, Monika Müllerburg

Proceedings of the Education and Society, 1992

Ein Ansatz zur systematischen Auswahl von Software-Testmethoden.

Monika Müllerburg

Proceedings of the Informatik zwischen Wissenschaft und Gesellschaft, 1992

1990

Measures of testability as a basis for quality assurance.

Richard Bache, Monika Müllerburg

Softw. Eng. J., 1990

Test Data Selection Criteria for (Software) Integration Testing.

Ursula Linnenkugel, Monika Müllerburg

Proceedings of the First International Conference on Systems Integration, 1990

1987

Über das Prüfen, Messen und Bewerten von Software: Methoden und Techniken der analytischen Software-Qualitätssicherung.

Hans-Ludwig Hausen, Monika Müllerburg, Monika Schmidt

Inform. Spektrum, 1987

1983

The role of debugging within software engineering environments.

Monika Müllerburg

Proceedings of the symposium on High-level debugging, 1983

1981

Software-Produktionsumgebungen: Entwicklungsstand und Trends.

Hans-Ludwig Hausen, Monika Müllerburg

Proceedings of the Werkzeuge der Programmiertechnik, 1981

Conspectus of Software Engineering Environments.

Hans-Ludwig Hausen, Monika Müllerburg

Proceedings of the 5th International Conference on Software Engineering, 1981

1980

Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments.

Hans-Ludwig Hausen, Monika Müllerburg

Proceedings of the Software Engineering, 1980