编辑配置文件(在新选项卡中打开) Wing,珍妮特·玛丽 合著者距离 作者ID: wing.jeannette米 发布日期: 珍妮特·温格。;珍妮特·温格 外部链接: 管理程序·维基数据·数据库许可证·接地·ID参考 已编制索引的文档: 15出版物自1982年以来 2作为编辑的贡献 合著者: 15位合著者具有11联合出版物 183位合作作者 全部的 前5名合著者 6 单作者的 1 马里奥·巴巴奇。 1 吉姆·戴维斯 1 龚、春 1 约翰·V·古塔格。 1 霍宁,吉姆 1 丹尼尔·杰克逊 1 Gary T.Leavens。 1 巴巴拉·利斯科夫 1 Lily B.Mummert。 1 吴宇昌 1 马克·尼克松。 1 乔恩·平卡斯 1 马哈德夫·萨蒂亚纳亚纳扬 1 奥列格·谢纳 1 詹姆斯·伍德科克。 全部的 前5名系列 2 计算的形式方面 1 程序设计语言与系统学报 1 计算机程序设计科学 1 国际并行程序设计杂志 1 并行与分布式计算杂志 1 IEEE软件工程汇刊 1 系统设计中的形式化方法 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 计算机科学课堂讲稿 字段 17 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 2 数学教育(97-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用23中的次22文件 引用人▼ 年份▼ 用于生成和分析攻击图的工具。 Zbl 1104.68424号 奥列格·谢纳;珍妮特·温格 9 2004 编写Larch接口语言规范。 Zbl 0627.68014号 珍妮特·温格。 6 1987 受邀演讲:将正式方法融入本科计算机科学课程。(扩展摘要)。 Zbl 0983.68772号 珍妮特·温格。 2 2000 测试和验证并发对象。 Zbl 0780.68093号 珍妮特·温格。;龚、春 2 1993 关于将正式规范用于生产的一些注释。 Zbl 0491.68012号 约翰·古塔格;霍宁,吉姆;珍妮特·温格 2 1982 保护接口规范。 Zbl 0910.68140号 Gary T.Leavens。;Wing,Jeannette M。 1 1998 FM'99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。2卷。 Zbl 0929.00076号 1 1999 用于生成和分析攻击图的工具。 Zbl 1104.68424号 奥列格·谢纳;珍妮特·温格 9 2004 受邀演讲:将正式方法融入本科计算机科学课程。(扩展摘要)。 Zbl 0983.68772号 珍妮特·温格。 2 2000 FM'99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。2卷。 Zbl 0929.00076号 1 1999 保护接口规范。 Zbl 0910.68140号 Gary T.Leavens。;珍妮特·温格。 1 1998 测试和验证并发对象。 Zbl 0780.68093号 珍妮特·温格。;龚、春 2 1993 编写Larch接口语言规范。 Zbl 0627.68014号 Wing,Jeannette M。 6 1987 关于将正式规范用于生产的一些注释。 Zbl 0491.68012号 约翰·古塔格;霍宁,吉姆;珍妮特·温格 2 1982 所有引用的出版物 前5名被引用出版物 全部的 前5名被50位作者引用 三 Gary T.Leavens。 三 唐林清 三 张鹏 2 彼得·米勒 1 巴尔,杰伊 1 塔梅尔·巴沙尔 1 马丁·伯杰(Martin J.Berger)。 1 拉纳德普·比斯沃斯 1 艾哈迈德·博阿贾尼 1 蔡金毅 1 帕特里斯·沙林 1 维克多·库克 1 库尔特·德巴蒂斯塔 1 戴米安·德切夫 1 艾登,阿姆农·H·。 1 康斯坦丁·埃纳 1 穆罕默德·埃尔拉迪 1 傅斌 1 D.Yu Gamayunov。 1 E·加斯帕里斯。 1 龚、春 1 乔·佩德罗·赫斯帕尼亚 1 本田、高黑 1 巴特·雅各布斯 1 里克·卡兹曼 1 丹尼斯·尼古拉埃维奇·科列戈夫 1 哈金德·辛格·拉利 1 Leino,K.Rustan M。 1 林惠民 1 约翰·安德烈亚斯·马考斯基 1 何塞·梅塞盖尔·瓜伊塔 1 伊琳娜·纳扎罗娃。 1 乔恩·尼科尔森 1 克里斯蒂娜·彼得森。 1 弗兰克·皮森斯 1 阿恩·施·赫夫特 1 唐纳德·桑内拉。 1 沃尔夫拉姆·舒尔特 1 斯曼斯(Jan Smans) 1 斯迈扬斯基,R.L。 1 保罗·塔布阿达 1 安德烈·塔莱基 1 Masashi Wakaiki 1 William E.Weihl。 1 谢洪亮 1 吉田、Nobuko 1 安娜·扎曼斯基 1 拉希德·泽诺 1 赵文波 1 朱全燕 全部的 前5名16篇连载文章中引用 4 计算的形式方面 2 系统设计中的形式化方法 1 信息学报 1 计算 1 编程和计算机软件 1 计算机科学与技术杂志 1 算法 1 信息与计算 1 国际计算机与系统科学杂志 1 函数编程杂志 1 组合优化期刊 1 逻辑与代数程序设计杂志 1 并行与计算:实践与经验 1 动态游戏和应用 1 计算机科学评论 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名在8个字段中引用 18 计算机科学(68至XX) 5 运筹学、数学规划(90-XX) 2 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 系统论;控制(93至XX) 1 组合数学(05-XX) 1 信息和通信理论,电路(94-XX) 1 数学教育(97-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.