U.S. - UK Cooperative Research: Formal Specification of Software Systems
U.S. - UK Cooperative Research: Formal Specification of Software Systems
批准号:
8814459
负责人:
Stephen Fickas
金额:
$1.62万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1989
资助国家:
美国
项目状态:
已结题
起止时间:
1989-01-01 至 1992-06-30
中文摘要
该奖项将支持美国和英国计算机科学家在软件系统正式规范领域的合作研究。美国调查人员是斯蒂芬·菲克斯博士;参与研究的英国研究人员是爱丁堡大学人工智能系的Alan Bundy博士和伦敦帝国理工学院计算机科学系的Anthony Finkelstein博士。构建完整且一致的软件规范对于现代软件工程方法至关重要。与此同时,建筑过程本身的特征仍然是一个开放的研究问题。从本质上讲,驱动我们的实现系统的正式规范是需要的,但是以任何有纪律的方式构建这样的规范的方法仍然缺乏。首席研究员建议与两个英国研究小组合作,一个在爱丁堡大学,另一个在伦敦帝国理工学院,努力将规范设计模型形式化并自动化。到目前为止,三个小组中的每一个都专注于规范问题的不同方面:爱丁堡专注于从非正式描述到正式规范的映射。Imperial College专注于识别必要的规范活动,并跟踪它们之间的依赖关系;首席研究员专注于以知识为基础的规范分析方法。Fickas博士与两个英国小组合作,将领导将这三种方法集成到一个更通用的规范构建模型中的工作。结果将是双重的。首先,集成尝试本身将迫使其他三个当前模型中的每一个都变得更加精细。其次,Fickas博士计划将Edinburgh和Imperial模型的一部分合并到他现有的基于计算机的系统中,从而为规范构建提供进一步的扩展。
英文摘要
This award will support collaborative research between U.S. and British computer scientists in the area of the formal specification of software systems. The U.S. investigator is Dr. Stephen Fickas; the British researchers involved are Dr. Alan Bundy, Department of Artificial Intelligence, University of Edinburgh, and Dr. Anthony Finkelstein, Computer Science Department, Imperial College of Science and Technology, London. The construction of a complete and consistent software specification is critical to modern software engineering methodologies. At the same time, a characterization of the construction process itself remains an open research question. In essence, formal specifications to drive our implementation systems are needed, but the means of constructing such specifications in any disciplined manner are still lacking. The principal investigator proposes to collaborate with two U.K. research groups, one at the University of Edinburgh and one at Imperial College, London, in an effort to both formalize and automate a model of specification design. Up until this time, each of the three groups has focused on a different aspect of the specification problem: Edinburgh has focused on mapping from informal descriptions to formal specifications. Imperial College has focused on identifying necessary specification activities, and tracking the dependencies among them; the principal investigator has focused on knowledge-based approaches to specification analysis. Dr. Fickas, in cooperation with the two U.K. groups, will lead an effort to integrate the three approaches into a more general model of specification construction. The results will be twofold. First, the integration attempt itself will force each of other three current models to become more refined. Second, Dr. Fickas plans to incorporate parts of the Edinburgh and Imperial models into his existing computer-based system, thus providing further extensions to an automated tool for specification construction.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
HCC: Large: Collaborative Research: Delivery of Personalized Reading Strategies for People with Cognitive Impairments in Post-Secondary Settings
-
批准号:1013054
-
项目类别:Continuing Grant
-
资助金额:$267.59万
-
财政年份:2010
-
负责人:Stephen Fickas
-
依托单位:
Workshop: International Conference on Software Engineering 2009: Student Travel Support
-
批准号:0840392
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2008
-
负责人:Stephen Fickas
-
依托单位:
Software Pharmacies: Design of Personalized Assistive Devices for People with Cognitive Impairments
-
批准号:0725368
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2007
-
负责人:Stephen Fickas
-
依托单位:
The First Hundred Yards: Navigation Planning Systems for People with Cognitive Impairments
-
批准号:0512071
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Stephen Fickas
-
依托单位:
Community Access for the Brain Injury Population
-
批准号:0313324
-
项目类别:Continuing Grant
-
资助金额:$42.8万
-
财政年份:2003
-
负责人:Stephen Fickas
-
依托单位:
Building and Monitoring Models of the Environment
-
批准号:0234571
-
项目类别:Continuing Grant
-
资助金额:$39.24万
-
财政年份:2002
-
负责人:Stephen Fickas
-
依托单位:
Construction of an Intranet
-
批准号:9615556
-
项目类别:Standard Grant
-
资助金额:$7.44万
-
财政年份:1996
-
负责人:Stephen Fickas
-
依托单位:
Automating the Specification Process
-
批准号:8804085
-
项目类别:Continuing Grant
-
资助金额:$33.61万
-
财政年份:1988
-
负责人:Stephen Fickas
-
依托单位:
REU: A Knowledge-Based Approach to Specification Acquisitionand Construction
-
批准号:8312578
-
项目类别:Standard Grant
-
资助金额:$24.45万
-
财政年份:1984
-
负责人:Stephen Fickas
-
依托单位:
国内基金
海外基金
登录
查看更多内容
LncRNA-lincUK介导邻近基因UK组蛋白修
饰调控褐飞虱繁殖力的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2025
-
负责人:刘凯
-
依托单位:
CREKA/rhPro-UK靶向载药微泡在腔内超声场下对静脉血栓的除栓作用及机理研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:55万元
-
批准年份:2021
-
负责人:陈跃鑫
-
依托单位:
EEID:US-UK-China: 新发禽流感病毒的演进与生态传播动力学的前瞻性研究
-
批准号:--
-
项目类别:--
-
资助金额:450万元
-
批准年份:2020
-
负责人:刘文军
-
依托单位:
抗真菌药物UK-2A的组合生物合成研究
-
批准号:31970054
-
项目类别:面上项目
-
资助金额:62.0万元
-
批准年份:2019
-
负责人:瞿旭东
-
依托单位:
超低温(uK-mK)离子+原子+原子三体复合的全维量子力学理论研究
-
批准号:21873016
-
项目类别:面上项目
-
资助金额:64.0万元
-
批准年份:2018
-
负责人:韩永昌
-
依托单位:
两种温度指标(Uk'37和TEX86) 的现代水体调查和沉积记录整合研究
-
批准号:41376046
-
项目类别:面上项目
-
资助金额:80.0万元
-
批准年份:2013
-
负责人:李丽
-
依托单位:
新型多肽UK12抑制视网膜新生血管作用及机制研究
-
批准号:81302683
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2013
-
负责人:苏莉
-
依托单位:
牛UK株轮状病毒拮抗Ⅰ型IFN信号转导通路机制的研究
-
批准号:31201909
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:闻晓波
-
依托单位:
UK37和藻类分子标志物——研究白令海、北冰洋浮游植物群落结构变化对北极气候变暖和ENSO的响应和反馈
-
批准号:41276199
-
项目类别:面上项目
-
资助金额:90.0万元
-
批准年份:2012
-
负责人:张海生
-
依托单位:
UK37和分子化石及其单体δ13C、δD特殊形式记录——浙江沿海浮游植物对Ei Nino / La Nina 响应及其可能机理
-
批准号:40876063
-
项目类别:面上项目
-
资助金额:47.0万元
-
批准年份:2008
-
负责人:卢冰
-
依托单位: