Véronique Donzeau-Gouge公司
人员信息
优化列表
2000 – 2009
2008 [注2] 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
从Focal到UML的正式而合理的转换:机场安全法规的应用。 因诺夫。 系统。 柔和。 工程师。 4 ( 三 ) : 267-274 ( 2008 ) [第16条] 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
使用焦点环境对机场安全法规进行形式化建模。 重新焊接 2008 : 16-20 [第15条] 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
从焦点规范生成UML模型:机场安全法规的应用。 TASE公司 2008 : 121-124 2007 [c14] 雷金·拉劳 , 伊夫·莱德鲁 , 迪迪埃·伯特 , 织物花束 , 米歇尔·莱莫恩 , 凯瑟琳·杜布瓦 , Véronique Donzeau-Gouge公司 , 西尔维·维格斯 :
使用计算机科学建模技术进行机场安全认证。 RCIS公司 2007 : 61-72 2006 [j1] 雷金·拉劳 , 西尔维·维格斯 , 伊夫·莱德鲁 , 米歇尔·莱莫恩 , 迪迪埃·伯特 , Véronique Donzeau-Gouge公司 , 凯瑟琳·杜布瓦 , 法比安·佩鲁克斯 :
采用态势需求工程方法分析民航安全标准。 柔和。 过程。 改进。 实际。 11 ( 5 ) : 487-503 ( 2006 ) [第13条] 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
重点模拟机场安全条例。 ReMo2V型 2006 [第12条] 伊夫·莱德鲁 , 雷金·拉劳 , 米歇尔·莱莫恩 , 西尔维·维格斯 , 迪迪埃·伯特 , Véronique Donzeau-Gouge公司 , 凯瑟琳·杜布瓦 , 法比安·佩鲁克斯 :
试图结合UML和形式化方法来建模机场安全。 CAiSE论坛 2006 [第11条] 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
使用焦点环境认证机场安全条例。 调频 2006 : 48-63 [第10条] 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
利用焦点环境推理机场安全条例。 ISoLA公司 2006 : 45-52 [电子1] 埃利·纳伊姆 , Jean-François Pradat-Peyre女士 , Véronique Donzeau-Gouge公司 :
网络和分布式系统的形式化技术——FORTE 2006,第26届IFIP WG 6.1国际会议,法国巴黎,2006年9月26-29日。 计算机科学课堂讲稿 4229, 施普林格 2006 ,国际标准图书编号 3-540-46219-8 [目录] 2004 【c9】 凯瑟琳·杜布瓦 , 塞雷斯·哈丁 , Véronique Donzeau-Gouge公司 :
在FOCAL中构建认证组件。 函数式编程趋势 2004 : 33-48 2002 【c8】 内斯托·洛佩兹 , 玛丽安·西蒙诺 , Véronique Donzeau-Gouge公司 :
大型系统设计的方法论过程:两个工业案例研究。 飞行管理信息系统 2002 : 84-103 2000 【c7】 内斯托·洛佩兹 , 玛丽安·西蒙诺 , Véronique Donzeau-Gouge公司 :
从基于事件的模型导出软件规范。 ZB公司 2000 : 209-229
1980 – 1989
1987 【c6】 Véronique Donzeau-Gouge公司 , 凯瑟琳·杜布瓦 , 菲利普·法孔 , F.让 :
Setl编程环境的开发。 欧洲经济共同体 1987 : 21-32 1985 【c5】 Véronique Donzeau-Gouge公司 , 伯纳德·朗 , 贝特朗·梅莱斯 :
Ada程序操作工具:导师-Ada。 SIGAda公司 1985 : 297-308 1984 【c4】 Véronique Donzeau-Gouge公司 , 伯纳德·朗 , 贝特朗·梅莱斯 :
语法导向程序操作环境的实际应用。 ICSE公司 1984 : 346-357 【c3】 Véronique Donzeau-Gouge公司 , 吉尔斯·卡恩 , 伯纳德·朗 , 贝特朗·梅莱斯 :
Mentor中的文档结构和模块化。 软件开发环境(SDE) 1984 : 141-148 1983 【c2】 Véronique Donzeau-Gouge公司 , 吉尔斯·卡恩 , 伯纳德·朗 , 贝特朗·梅莱斯 , Elham Morcos公司 :
文档操作工具概述。 IFIP大会 1983 : 615-620 1980 【c1】 Véronique Donzeau-Gouge公司 , 吉尔斯·卡恩 , 伯纳德·朗 :
关于ADA的形式定义。 语义定向编译器生成 1980 : 475-489