Monika Müllerburg

23 papers A* 1B 1C 2Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2005 J jnl
Autonome intelligente Systeme Ein Überblick.
LOG IN
Bernhard Koerber, Monika Müllerburg
2005 — conf
Informatikausbildung, Roboter und Mädchen.
GI Jahrestagung (1)
Monika Müllerburg, Josef Börding, Gabi Theidig, Ulrike Petersen
2005 J jnl
Technik begeistert Mädchen: Die Erfolgsgeschichte von Roberta.
LOG IN
Monika Müllerburg, Josef Börding, Ulrike Petersen, Gabi Theidig
2001 — conf
Specifying and verifying reactive systems in a multi-language environment.
TOSCA
Agathe Merceron, Monika Müllerburg, G. Michele Pinna
2000 J jnl
Validierung Software-intensiver eingebetteter Systeme.
Inform. Forsch. Entwickl.
Monika Müllerburg
1999 J jnl
Software intensive embedded systems.
Inf. Softw. Technol.
Monika Müllerburg
1998 B conf
Verifying a Time-Triggered Protocol in a Multi-language Environment.
SAFECOMP
Agathe Merceron, Monika Müllerburg, G. Michele Pinna
1995 J jnl
Editorial.
Softw. Qual. J.
Monika Müllerburg, Ken Croucher
1995 J jnl
Systematic Testing: A Means for Validating Reactive Systems.
Softw. Test. Verification Reliab.
Monika Müllerburg
1995 J jnl
Systematic testing and formal verification to validate reactive programs.
Softw. Qual. J.
Monika Müllerburg, Leszek Holenderski, Olivier Maffeïs, Agathe Merceron, Matthew Morley
1994 C conf
Structured hypertext for using and learning function point analysis.
SEKE
Alain Abran, Jean-Marc Desharnais, Dirk Meyerhoff, Monika Müllerburg, Denis St-Pierre
1993 J jnl
Technology transfer in software engineering measurement: ESPRIT II project METKIT.
Inf. Softw. Technol.
Monika Müllerburg
1993 J jnl
The METKIT CAI system.
Inf. Softw. Technol.
Monika Müllerburg, Dirk Meyerhoff
1992 — conf
Ein Ansatz zur systematischen Auswahl von Software-Testmethoden.
Informatik zwischen Wissenschaft und Gesellschaft
Monika Müllerburg
1992 — conf
Structured Hypertext Applied to Software Measurement.
IFIP Congress (2)
Dirk Meyerhoff, Monika Müllerburg
1992 — conf
Zur Formalisierung von Testkonzepten.
Testen, Analysieren und Verifizieren von Software
Monika Müllerburg
1990 J jnl
Measures of testability as a basis for quality assurance.
Softw. Eng. J.
Richard Bache, Monika Müllerburg
1990 — conf
Test Data Selection Criteria for (Software) Integration Testing.
ICSI
Ursula Linnenkugel, Monika Müllerburg
1987 J jnl
Über das Prüfen, Messen und Bewerten von Software: Methoden und Techniken der analytischen Software-Qualitätssicherung.
Inform. Spektrum
Hans-Ludwig Hausen, Monika Müllerburg, Monika Schmidt
1983 — conf
The role of debugging within software engineering environments.
SIGSOFT
Monika Müllerburg
1981 A* conf
Conspectus of Software Engineering Environments.
ICSE
Hans-Ludwig Hausen, Monika Müllerburg
1981 — conf
Software-Produktionsumgebungen: Entwicklungsstand und Trends.
Werkzeuge der Programmiertechnik
Hans-Ludwig Hausen, Monika Müllerburg
1980 C conf
Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments.
Software Engineering
Hans-Ludwig Hausen, Monika Müllerburg