Towards a Formalized Ontology-Based Requirements Model

来源 :上海交通大学学报：英文版 | 被引量 : 0次 | 上传用户：lwj2005

【摘要】

：

The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was di

【作者】

：

蒋丹东张申生王英林

【机构】

：

Dept.ofComputerScienceandEng.

【出处】

：

上海交通大学学报：英文版

【发表日期】

：

2005年1期

【关键词】

：

需求模型本体论软件工程知识表达 requirements ontology ontology meta-ontology requirements

【基金项目】

：

国家高技术研究发展计划(863计划)，国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ontology were given. Then, it presented a

其他文献

Stability Analysis for Stochastic Optimization Problems

Stochastic optimization offers a means of considering the objectives and constrains with stochastic parameters. However, it is generally difficult to solve the

期刊

随机实验计算数学最佳化稳定性stochastic optimization stability convergence in distributio

医院经营数据每日发布系统设计与应用

介绍医院经营数据每日发布系统的设计思路、采用的技术方法、数据库设计、系统架构及程序运行环境，阐述系统功能设计、功能实现，对系统的数据发布对象、发布内容、发布形式及未

期刊

经营数据每日发布程序设计Operating data Release every day Program design

Analysis of Information Leakage in Quantum Key Agreement

期刊

分析方法信息泄露量子管理方法quantum key agreement analysis

Structural Performance Evaluation Procedure for Large Flexible Airship of HALE Stratospheric Platfo

Basic loads applied on the airship envelope were analyzed.The resultant forces,the static bending moment and the dynamic bending moment were formulated.Based on

期刊

同温层飞艇平台结构评价airship stratospheric platform minimum pressure structural per

A Model of Federated Evidence Fusion for Real-time Urban Traffic State Estimation

In order to make full use of heterogeneous multi-sensor data to serve urban intelligent transportation systems, a real-time urban traffic state fusion model was proposed, named federated evidence fusi

期刊

TRAFFICstateestimationD-SEVIDENCEtheoryinformationFUSIONINTELLIGENTTRAN

Fault Detection Observer Design for LSFDJ： A Factorization Approach

Based on a new special co-inner-outer factorization, a factorization approach for design fault detection observer for LSFDJ was proposed. It is a simple state-s

期刊

故障探测器跳转系统因子分解黎卡提方程LSFDJfault detection jump system factorization Riccati

基于PageRank的机构科研影响力评价

提出基于PageRank算法的机构科研影响力评价方法,针对PageRank经典算法中存在的平分网页权值问题,应用篇均被引频次来配置利用各机构的初始权重。应用2015年部分高校发表的医

期刊

机构评价PAGERANK引文网络Institution evaluation PageRank Citation network

A Novel Model of F0 Contours Prediction for Continuous Speech

F0 (fundamental frequency) contour was studied under different prosodic environment in continuous speech and a novel model of F0 contours prediction was propose

期刊

信号处理控制参数决策树计算机CARTsignal processing F0 prediction cluster decision tre

A Comparative Study of Three Machine Learning Methods for Software Fault Prediction

The contribution of this paper is comparing three popular machine learning methods for software fault prediction. They are classification tree, neural network a

期刊

软件质量预测分级回归树人工神经网络software quality prediction classification and regression

An Improved Group Space-Time Block Code Through Constellation Rotation

A new improved group space-time block code (G-STBC) based on constellation rotation for four transmit antennas was proposed. In comparison with the traditional

期刊

技术改进空间时间密码识别技术group space-time block code constellation rotation multiple

Towards a Formalized Ontology-Based Requirements Model

与本文相关的学术论文