王咏

作品数:7被引量:8H指数:1
导出分析报告
供职机构:温州师范学院更多>>
发文主题:软件工程形式化研究事态应用软件INTERNET更多>>
发文领域:自动化与计算机技术哲学宗教更多>>
发文期刊:《凉山大学学报》《计算机工程与应用》《计算机时代》《计算机科学》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-7
视图:
排序:
信息系统的结构综述
《温州师范学院学报》2003年第5期107-111,共5页王咏 
从建造信息系统首先面临的体系结构选择问题出发,对目前信息系统所采用的几种主流 结构进行了介绍,并对每种结构相关的技术进行了分析,同时给出了具体的实现方案.
关键词:信息系统 软件体系结构 
基于客户端的Web使用挖掘被引量:5
《计算机时代》2003年第6期3-4,共2页黄风华 王咏 
本文介绍了一种从客户端挖掘用户Web使用过程的特点、应用与方法,它是Web数据挖掘的一个重要组成部分。
关键词:数据挖掘 客户端 个性服务 INTERNET 数据仓库 数据库 WEB 
一种获得应用软件规格说明的新途径
《计算机工程与应用》2003年第6期108-110,共3页王咏 
在4GL开发环境下,应用系统的开发都是以界面的设计为导向的。该文介绍了一种在4GL环境下获得应用软件规格说明的新途径,即通过确定界面模型来确定应用软件的规格说明,并详细介绍了确定界面模型的方法———OVID(ObjectViewInteractionDe...
关键词:软件规格说明 软件工程 软件开发 应用软件 
支持与证据的形式化研究
《凉山大学学报》2001年第4期39-41,19,共4页陈国祯 徐贯东 王咏 
关于不确定推理,从概率模型、可信度理论发展到证据理论和模糊推理,大大丰富了不确定推理的理论,在专家系统中的应用也日趋成熟,所有这些研究都是基于"一定意义"下的数值度量来研究证据与结论之间的关系,因而可以提出这样的问题,在非确...
关键词:支持逻辑 证据 不确定推理 事态 形式化 
支持与证据的形式化研究
《计算机科学》2001年第7期98-100,共3页陈国祯 徐贯东 王咏 
关于不确定推理,从概率模型、可信度理论发展到证据理论和模糊推理,大大丰富了不确定推理的理论,在专家系统中的应用也日趋成熟。所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系,因而可以提出这样的问题,在...
关键词:形式化方法 专家系统 不确定推理 证据 事态 
基于UM、DM和IM的应用软件开发方法
《温州师范学院学报》2001年第3期19-21,共3页王咏 
本文提出了一种基于用户模型 (UM )、设计者模型 (DM )和实现模型 (IM )的开发方法 ,该方法模拟了人类认知客观世界中新生事物的渐进过程 ,它认为应用软件的开发过程就是一个用户模型、设计者模型、实现模型的建立和使这三个模型实现一...
关键词:应用软件 开发方法 用户模型 设计者模型 实现模型 UM DM IM 开发过程 
面向GUI的软件开发模型——I&F模型被引量:3
《计算机科学》2000年第8期47-49,32,共4页王咏 徐贯东 
1 引言随着信息系统体系结构的不断发展,图形用户界面在软件中所处的重要地位越来越显著。一方面,友好、灵活、易学易用的人机界面,特别是交互式的图形用户界面(GUI)使得越来越多的非计算机专业人员成为了计算机用户,促成了计算机应用...
关键词:软件开发模型 I&F模型 GUI 软件工程 
检索报告 对象比较 聚类工具 使用帮助 返回顶部