 | 2005 |
|---|
| 15 |       | Monika Müllerburg,
Josef Börding,
Gabi Theidig,
Ulrike Petersen:
Informatikausbildung, Roboter und Mädchen.
GI Jahrestagung (1) 2005: 143-147 |
| 2001 |
|---|
| 14 |  | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Specifying and verifying reactive systems in a multi-language environment.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 2000 |
|---|
| 13 | | Monika Müllerburg:
Validierung Software-intensiver eingebetteter Systeme.
Inform., Forsch. Entwickl. 15(3): 140-150 (2000) |
| 1999 |
|---|
| 12 | | Monika Müllerburg:
Software intensive embedded systems.
Information & Software Technology 41(14): 979-984 (1999) |
| 1998 |
|---|
| 11 | | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Verifying a Time-Triggered Protocol in a Multi-language Environment.
SAFECOMP 1998: 185-195 |
| 1995 |
|---|
| 10 | | Monika Müllerburg:
Systematic Testing: A Means for Validating Reactive Systems.
Softw. Test., Verif. Reliab. 5(3): 163-179 (1995) |
| 1994 |
|---|
| 9 | | Alain Abran,
Jean-Marc Desharnais,
Dirk Meyerhoff,
Monika Müllerburg,
D. 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 |
