 | 2005 |
|---|
| 19 |       | Monika Müllerburg,
Josef Börding,
Gabi Theidig,
Ulrike Petersen:
Informatikausbildung, Roboter und Mädchen.
GI Jahrestagung (1) 2005: 143-147 |
| 18 |  | Bernhard Koerber,
Monika Müllerburg:
Autonome intelligente Systeme Ein Überblick.
LOG IN 25(134): 10-15 (2005) |
| 17 | | Monika Müllerburg,
Josef Börding,
Ulrike Petersen,
Gabi Theidig:
Technik begeistert Mädchen: Die Erfolgsgeschichte von Roberta.
LOG IN 25(134): 16-22 (2005) |
| 2001 |
|---|
| 16 | | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Specifying and verifying reactive systems in a multi-language environment.
Electr. Notes Theor. Comput. Sci. 62: 244-256 (2001) |
| 2000 |
|---|
| 15 | | Monika Müllerburg:
Validierung Software-intensiver eingebetteter Systeme.
Inform., Forsch. Entwickl. 15(3): 140-150 (2000) |
| 1999 |
|---|
| 14 | | Monika Müllerburg:
Software intensive embedded systems.
Information & Software Technology 41(14): 979-984 (1999) |
| 1998 |
|---|
| 13 | | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Verifying a Time-Triggered Protocol in a Multi-language Environment.
SAFECOMP 1998: 185-195 |
| 1995 |
|---|
| 12 | | Monika Müllerburg:
Systematic Testing: A Means for Validating Reactive Systems.
Softw. Test., Verif. Reliab. 5(3): 163-179 (1995) |
| 11 | | Monika Müllerburg,
Leszek Holenderski,
Olivier Maffeïs,
Agathe Merceron,
Matthew Morley:
Systematic testing and formal verification to validate reactive programs.
Software Quality Journal 4(4): 287-307 (1995) |
| 10 | | Monika Müllerburg,
Ken Croucher:
Editorial.
Software Quality Journal 4(4): i-iii (1995) |
| 1994 |
|---|
| 9 | | Alain Abran,
Jean-Marc Desharnais,
Dirk Meyerhoff,
Monika Müllerburg,
Denis St-Pierre:
Structured hypertext for using and learning function point analysis.
SEKE 1994: 164-171 |
| 1992 |
|---|
| 8 | | Dirk Meyerhoff,
Monika Müllerburg:
Structured Hypertext Applied to Software Measurement.
IFIP Congress (2) 1992: 246-252 |
| 7 | | Monika Müllerburg:
Ein Ansatz zur systematischen Auswahl von Software-Testmethoden.
Informatik zwischen Wissenschaft und Gesellschaft 1992: 163-179 |
| 6 | | Monika Müllerburg:
Zur Formalisierung von Testkonzepten.
Testen, Analysieren und Verifizieren von Software 1992: 35-44 |
| 1990 |
|---|
| 5 | | Ursula Linnenkugel,
Monika Müllerburg:
Test Data Selection Criteria for (Software) Integration Testing.
ICSI 1990: 709-717 |
| 1987 |
|---|
| 4 | | Hans-Ludwig Hausen,
Monika Müllerburg,
Monika Schmidt:
Über das Prüfen, Messen und Bewerten von Software: Methoden und Techniken der analytischen Software-Qualitätssicherung.
Informatik Spektrum 10(3): 123-144 (1987) |
| 1981 |
|---|
| 3 | | Hans-Ludwig Hausen,
Monika Müllerburg:
Conspectus of Software Engineering Environments.
ICSE 1981: 34-43 |
| 2 | | Hans-Ludwig Hausen,
Monika Müllerburg:
Software-Produktionsumgebungen: Entwicklungsstand und Trends.
Werkzeuge der Programmiertechnik 1981: 1-27 |
| 1980 |
|---|
| 1 | | Hans-Ludwig Hausen,
Monika Müllerburg:
Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments.
Software Engineering 1980: 342-344 |
Data released under the ODC-BY 1.0 license — See also our legal information page