Research Initiation Award: Incorporating Formal Specification Techniques into Structure and Object-Oriented Analysis and Design Processes
研究启动奖:将形式化规范技术纳入结构和面向对象的分析和设计过程
基本信息
- 批准号:9410396
- 负责人:
- 金额:$ 11.47万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1994
- 资助国家:美国
- 起止时间:1994-09-01 至 1998-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
9410396 France A significant reason for the rare use of formal specification techniques (FSTs) in the software development industry is a lack of understanding of how FSTs can be incorporated into current industrial-strength software development processes. Current industrial software development environments tend to favor the use of informal Structured Specification Methods(SSMs) and Object- Oriented Methods(OOMs) because of their use of relatively simple, intuitive notations and concepts. Lack of understanding of how FSTs can be effectively applied in the context of practical development processes based on SSMs and OOMs often leads to the perception that the use of one precludes the other. This research is concerned with bridging the gap between FSTs and the less formal SSMs and OOMs. The research program has three components: the technical component is concerned with how integration of formal and informal techniques is accomplished, the organizational component is concerned with when, how, and under what circumstances integrated specification techniques can be applied, and the experimental component is concerned with evaluating the techniques, supporting tools and processes through experimental application. ***
9410396法国在软件开发行业中很少使用正式规范技术(FST)的一个重要原因是缺乏对FST如何被纳入当前工业强度软件开发过程的理解。 当前的工业软件开发环境倾向于使用非正式的结构化规范方法(SSM)和面向对象方法(OOM),因为它们使用相对简单、直观的符号和概念。 由于不了解如何在基于特别措施和对象管理措施的实际发展进程中有效地应用第一阶段技术,往往会导致一种看法,即使用一种措施就排除了另一种措施。 本研究关注的是弥合FST与不太正式的SSM和OOM之间的差距。 该研究计划有三个组成部分:技术部分是关于如何集成的正式和非正式的技术是完成,组织的组成部分是关于何时,如何,以及在什么情况下集成规范技术可以应用,和实验组件是关于评估的技术,支持工具和过程,通过实验应用。 ***
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Robert France其他文献
The journal on Software and Systems Modeling Matures
- DOI:
10.1007/s10270-012-0287-3 - 发表时间:
2012-09-26 - 期刊:
- 影响因子:3.200
- 作者:
Robert France;Bernhard Rumpe - 通讯作者:
Bernhard Rumpe
Data warehouse concepts for model artifacts?
- DOI:
10.1007/s10270-012-0244-1 - 发表时间:
2012-04-03 - 期刊:
- 影响因子:3.200
- 作者:
Robert France;Bernhard Rumpe - 通讯作者:
Bernhard Rumpe
Correct development of real time and embedded systems
- DOI:
10.1007/s10270-008-0087-y - 发表时间:
2008-03-18 - 期刊:
- 影响因子:3.200
- 作者:
Robert France;Bernhard Rumpe - 通讯作者:
Bernhard Rumpe
Use of sequential sampling of amphipod abundance to classify the biotic integrity of acid-sensitive lakes
- DOI:
10.1007/bf02393821 - 发表时间:
1992-03-01 - 期刊:
- 影响因子:3.000
- 作者:
Robert France - 通讯作者:
Robert France
A newly introduced Industry Voice Column
- DOI:
10.1007/s10270-013-0361-5 - 发表时间:
2013-06-18 - 期刊:
- 影响因子:3.200
- 作者:
Tony Clark;Gabor Karsai;Roel J. Wieringa;Robert France;Bernhard Rumpe - 通讯作者:
Bernhard Rumpe
Robert France的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Robert France', 18)}}的其他基金
Computer and Software Engineering Curricula Development Workshops
计算机和软件工程课程开发研讨会
- 批准号:
1338752 - 财政年份:2013
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Collaborative Research:CI-ADDO-NEW: Research Repository for Model-Driven Software Development (REMODD)
协作研究:CI-ADDO-NEW:模型驱动软件开发研究存储库 (REMODD)
- 批准号:
0854988 - 财政年份:2009
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
CRI: Collaborative Project - Repository for Model Driven Development
CRI:协作项目 - 模型驱动开发存储库
- 批准号:
0551718 - 财政年份:2006
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Planning Visits: Collaborative Research on Model-Driven Development of Complex Software Systems
计划访问:复杂软件系统模型驱动开发的协作研究
- 批准号:
0539179 - 财政年份:2005
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Testing Unified Modeling Language (UML) Designs
测试统一建模语言 (UML) 设计
- 批准号:
0203285 - 财政年份:2002
- 资助金额:
$ 11.47万 - 项目类别:
Continuing Grant
A Formal Basis for Object-Oriented Modeling Techniques
面向对象建模技术的形式基础
- 批准号:
9803491 - 财政年份:1998
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
1995 Workshop on Industrial-Strength Formal Specification Techniques WIFT'95, April 5-8, l995, Boca Raton, Florida
1995 年工业强度形式规范技术研讨会 WIFT95,1995 年 4 月 5-8 日,佛罗里达州博卡拉顿
- 批准号:
9505000 - 财政年份:1995
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
相似海外基金
Research Initiation Award: Integrated Approach Toward Examining Fecal Indicator Bacteria Trends in a Coastal Watershed
研究启动奖:检查沿海流域粪便指示细菌趋势的综合方法
- 批准号:
2300319 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Research Initiation Award: Turan-type problems on partially ordered sets
研究启动奖:偏序集上的图兰型问题
- 批准号:
2247163 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Research Initiation Award: A GNN+BiMCLSTM Based Framework to Model, Predict, and Traceback Malware Strains
研究启动奖:基于 GNN BiMCLSTM 的框架,用于建模、预测和追溯恶意软件菌株
- 批准号:
2300405 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Research Initiation Award: Uncovering and Extracting Biological Information from Nanopore Long-read Sequencing Data with Machine Learning and Mathematical Approaches
研究启动奖:利用机器学习和数学方法从纳米孔长读长测序数据中发现和提取生物信息
- 批准号:
2300445 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Research Initiation Award: Highly Stable Nanoparticle-Doped Metal-Organic Frameworks for Applications in Water Purification
研究启动奖:用于水净化应用的高度稳定的纳米颗粒掺杂金属有机框架
- 批准号:
2344742 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Research Initiation Award: Implementing the Next-Generation IoT Ecosystem with AI Capabilities
研究启动奖:利用人工智能能力实施下一代物联网生态系统
- 批准号:
2200377 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Research Initiation Award: Thermal Decomposition of Four-membered Heterocyclic Peroxides, Data Mining in Nonadiabatic Trajectories, and Chemiexcitation Efficiency
研究启动奖:四元杂环过氧化物的热分解、非绝热轨迹数据挖掘、化学激发效率
- 批准号:
2300321 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Research Initiation Award: Analysis of Glycoprotein Composition and Function of PGE2 EP Receptors in Mammary-derived Cells
研究启动奖:乳腺细胞中 PGE2 EP 受体的糖蛋白组成和功能分析
- 批准号:
2300448 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Research Initiation Award: Investigating Instructional Conditions for Robust Learning in Biology
研究启动奖:研究生物学稳健学习的教学条件
- 批准号:
2300454 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant
Research Initiation Award: Exploring Class A G-Protein Coupled Receptors (GPCRs)-Ligand Interaction through Machine Learning Approaches
研究启动奖:通过机器学习方法探索 A 类 G 蛋白偶联受体 (GPCR)-配体相互作用
- 批准号:
2300475 - 财政年份:2023
- 资助金额:
$ 11.47万 - 项目类别:
Standard Grant