莫妮卡·穆勒堡
人员信息
优化列表
2000 – 2009
2005 [公元11年] 伯恩哈德·科尔伯 , 莫妮卡·穆勒堡 :
Autonome智能系统。 登录 25 ( 134 ) : 10-15 ( 2005 ) [公元10年] 莫妮卡·穆勒堡 , 约瑟夫·伯瑞丁 , 乌尔里克·彼得森 , 加比·提迪格 :
Technik begeistert Mädchen:Die Erfolgsgeschichte von Roberta。 登录 25 ( 134 ) : 16-22 ( 2005 ) [第12条] 莫妮卡·穆勒堡 , 约瑟夫·伯瑞丁 , 加比·西迪格 , 乌尔里克·彼得森 :
Informationkausbildung、Roboter und Mädchen。 吉米·贾赫雷斯塔贡(1) 2005 : 143-147 2001 [第11条] 阿加瑟·梅塞隆 , 莫妮卡·米勒堡 , G.米歇尔·平纳 :
在多语言环境中指定和验证反应式系统。 TOSCA公司 2001 : 244-256 2000 [公元9年] 莫妮卡·穆勒堡 :
Validierung软件密集型eingebetter Systeme。 通知。 福施。 恩特维克。 15 ( 三 ) : 140-150 ( 2000 )
1990 – 1999
1999 [j8] 莫妮卡·穆勒堡 :
软件密集型嵌入式系统。 Inf.软件。 Technol公司。 41 ( 14 ) : 979-984 ( 1999 ) 1998 [第10条] 阿加瑟·梅塞隆 , 莫妮卡·穆勒堡 , G.米歇尔·平纳 :
在多语言环境中验证时间触发协议。 SAFECOMP公司 1998 : 185-195 1995 [j7] 莫妮卡·穆勒堡 , 莱泽克·霍伦德斯基 , 奥利维尔·马菲斯 , 阿加瑟·梅塞隆 , 马修·莫利 :
系统测试和正式验证,以验证反应性程序。 柔和。 资格。 J。 4 ( 4 ) : 287-307 ( 1995 ) [j6] 莫妮卡·穆勒堡 , 肯·克劳彻 :
编辑。 柔和。 资格。 J。 4 ( 4 ) : i-iii类 ( 1995 ) [j5] 莫妮卡·米勒堡 :
系统测试:验证无功系统的方法。 柔和。 测试。 验证可靠性。 5 ( 三 ) : 163-179 ( 1995 ) 1994 【c9】 阿兰·阿布兰 , Jean-Marc Desharnais牛仔裤 , 德克·梅耶霍夫 , 莫妮卡·穆勒堡 , 丹尼斯·圣皮埃尔 :
用于使用和学习功能点分析的结构化超文本。 瑞典克朗 1994 : 164-171 1993 【j4】 莫妮卡·穆勒堡 :
软件工程测量中的技术转让:ESPRIT II项目METKIT。 Inf.软件。 Technol公司。 35 ( 2 ) : 107 ( 1993 ) [j3] 莫妮卡·穆勒堡 , 德克·梅耶霍夫 :
METKIT CAI系统。 Inf.软件。 Technol公司。 35 ( 2 ) : 120-126 ( 1993 ) 1992 【c8】 莫妮卡·穆勒堡 :
Ein Ansatz zur systemischen Auswahl von Software测试方法。 Informatik zwischen Wissenschaft和Gesellschaft 1992 : 163-179 【c7】 德克·梅耶霍夫 , 莫妮卡·穆勒堡 :
结构化超文本在软件测量中的应用。 IFIP大会(2) 1992 : 246-252 【c6】 莫妮卡·穆勒堡 :
Zur Formalisierung von Testkonzepten公司。 软件测试、分析和验证 1992 : 35-44 1990 [注2] 理查德·巴赫 , 莫妮卡·穆勒堡 :
作为质量保证基础的可测试性措施。 柔和。 工程师J。 5 ( 2 ) : 86-92 ( 1990 ) 【c5】 乌苏拉·林恩库格尔 , 莫妮卡·穆勒堡 :
(软件)集成测试的测试数据选择标准。 集成电路集成电路 1990 : 709-717
1980 – 1989
1987 [j1] 汉斯·卢德维格·豪森 , 莫妮卡·米勒堡 , 莫妮卡·施密特 :
U-ber das Prüfen,Messen und Bewerten von Software:分析软件的方法和技术-质量。 通知。 Spektrum公司 10 ( 三 ) : 123-144 ( 1987 ) 1983 【c4】 莫妮卡·穆勒堡 :
在软件工程环境中调试的作用。 SIGSOFT公司 1983 : 81-90 1981 【c3】 汉斯·卢德维格·豪森 , 莫妮卡·穆勒堡 :
软件工程环境概论。 ICSE公司 1981 : 34-43 【c2】 汉斯·卢德维格·豪森 , 莫妮卡·穆勒堡 :
软件产品概述:Entwicklungsstand und Trends。 Werkzeuge der Programmiertechnik公司 1981 : 1-27 1980 【c1】 汉斯·路德维希·豪森 , 莫妮卡·穆勒堡 :
软件工程环境中的Beschreibungsmittel und Werkzeuge für Spezifikation。 软件工程 1980 : 342-344