期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

面向对象结合形式化技术的框架式开发方法被引量：1

下载PDF

导出

摘要随着软件开发规模的迅速扩大,目前流行的软件开发方法(包括当前的软件工程法)已难以满足开发实践的要求,实践要求在软件开发方法学上能有新的进展。鉴于此,在面向对象及形式化方法的基础上,系统地提出了一种严格的软件开发方法,力图使开发者的创造性及开发环境的自动化能力都得到充分发挥。

作者付亚荣杨海鹏柏洁宋增珍

机构地区华北石油管理局第五采油厂

出处《石油工业计算机应用》 1999年第1期27-30,共4页 Computer Applications Of Petroleum

关键词软件开发面向对象形式化方法框架式开发

分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献9

1冯玉林钟萃豪等.程序设计方法学[M].北京:科学技术出版社,1989..
2陈晓桦陈火旺.从自然语言描述的需求提取形式规范.中国计算机学会第八届年会论文集[M].,1992,3..
3李师贤,乔琳.面向对象软件工程开发的管理[J].计算机工程与应用,1995,31(2):19-22. 被引量：8
4费翔林,张帆.面向对象分析方法综述[J].小型微型计算机系统,1995,16(9):14-20. 被引量：21
5罗铁根,齐治昌.PC/CASE:支持软件开发过程的CASE工具[J].计算机科学,1994,21(6):74-77. 被引量：1
6谭庆平,陈火旺.基于类型理论的递旧元程序设计[J].软件学报,1994,5(8):30-35. 被引量：1
7王献昌,陈火旺.真值维护系统的语义研究[J].中国科学（A辑）,1993,23(11):1212-1218. 被引量：1
8杜海传,刘春辉,张宏霞.面向对象的应用程序生成器[J].东北大学学报（自然科学版）,1995,16(2):175-178. 被引量：1
9毛新军,齐治昌.软件重用研究与应用[J].计算机科学,1994,21(4):65-68. 被引量：13

二级参考文献7

1谭庆平，博士学位论文，1992年
2谭庆平，1991年
3汪成为，面向对象分析、设计及应用，1992年
4仲萃豪，计算机科学，1988年，15卷，4期，37页
5王珊，软件产业，1988年，2期，34页
6李晋蓉，计算机研究与发展，1986年，23卷，8期，23页
7李干生,王华民.面向对象的程序开发方法[J].中国计算机用户,1991(7):34-36. 被引量：1

共引文献33

1黄明,唐焕文.决策支持系统中模型表示法的研究进展[J].管理工程学报,1999,13(2):59-62. 被引量：10
2李南方.软件工程的新途径——面向对象的系统分析[J].武汉工程职业技术学院学报,1998,11(1):25-31.
3赵毅,胡丹.FODA:一种面向特征的领域分析方法[J].重庆工学院学报,2004,18(5):45-47. 被引量：3
4左照环.万里长江第一古镇——李庄[J].小城镇建设,2006,24(9):44-46.
5吴会松.与功能化开发方法相结合的、以细化为基础的对象分析及设计方法[J].上海工程技术大学学报,1997,11(2):43-47. 被引量：1
6吴会松.试论面向对象软件的维护[J].江汉大学学报,1997,14(6):24-28.
7江宗,陈笑蓉,夏芸.基于面向对象的心电监护系统的研制[J].河北师范大学学报（自然科学版）,2008,32(4):449-452.
8吴会松.试论面向对象软件的维护[J].河海大学机械学院学报,1997,11(3):12-16.
9赵韩,田杰.一种基于面向对象的永磁材料数据库管理系统[J].合肥工业大学学报（自然科学版）,1997,20(1):10-15.
10吴会松.面向对象与原型法相结合的一种模式[J].九江师专学报,1997,16(6):4-7.

同被引文献4

1吴会松.一种结合传统技术的对象分析及设计方法[J].西安石油学院学报,1998,13(3):47-49. 被引量：1
2吴会松,吴庆松,张艳玲.试论面向对象软件的维护[J].计算机与数字工程,1998,26(5):41-44. 被引量：1
3吴会松,吴庆松,张艳玲.面向对象软件的维护[J].电子工程师,1999(1):16-18. 被引量：1
4吴会松,吴庆松,张艳玲.试论面向对象软件的维护[J].电脑开发与应用,1999,12(5):2-4. 被引量：1

引证文献1

1李霞,范文杰.软件工程开发的组织规划工作[J].科技风,2012(24):38-38.

1王春波,邢薇,马立和.框架式开发在电信项目中的应用[J].信息技术,2009,33(9):156-159.
2吴会松.一种以面向对象及形式化技术为基础的严格的软件开发方法[J].郑州工业大学学报,1997,18(1):95-100. 被引量：3
3从LAMP到框架式开发的SOA[J].电脑编程技巧与维护,2016(18):4-5.
4吴会松.面向对象结合形式化技术的框架式开发方法[J].河北师范大学学报（自然科学版）,1997,21(3):250-254.
5马海云,张少刚.IDS模型的设计与研究[J].自动化与仪器仪表,2008(4):28-30.
6Henry Canaday,孙立.IT系统的连通性[J].航空维修与工程,2012(1):38-39.
7李翔,陈前军.数据库在测试管理中的运用[J].通讯世界,2003,9(2):54-55.
8王冬.软件测试:保障软件质量的关键性关口——记中国工商银行软件开发中心北京研发部的测试工作[J].中国金融电脑,2007(8):7-9.
9吴明晖,应昌,何志均.基于构件的框架式开发方法及其重用库系统[J].计算机工程与应用,2000,36(9):93-94. 被引量：8
10张博,范国勇.基于萤火虫算法的炉温控制系统参数自整定PID控制[J].河北农机,2015,0(11):54-55. 被引量：1

石油工业计算机应用

1999年第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部