全文获取类型
收费全文 | 418篇 |
免费 | 14篇 |
国内免费 | 22篇 |
专业分类
系统科学 | 29篇 |
丛书文集 | 6篇 |
教育与普及 | 5篇 |
理论与方法论 | 3篇 |
现状及发展 | 5篇 |
综合类 | 406篇 |
出版年
2023年 | 1篇 |
2022年 | 4篇 |
2021年 | 1篇 |
2020年 | 3篇 |
2018年 | 2篇 |
2017年 | 5篇 |
2016年 | 4篇 |
2015年 | 5篇 |
2014年 | 18篇 |
2013年 | 16篇 |
2012年 | 13篇 |
2011年 | 17篇 |
2010年 | 17篇 |
2009年 | 24篇 |
2008年 | 15篇 |
2007年 | 22篇 |
2006年 | 29篇 |
2005年 | 31篇 |
2004年 | 29篇 |
2003年 | 16篇 |
2002年 | 18篇 |
2001年 | 13篇 |
2000年 | 18篇 |
1999年 | 21篇 |
1998年 | 18篇 |
1997年 | 21篇 |
1996年 | 16篇 |
1995年 | 14篇 |
1994年 | 14篇 |
1993年 | 8篇 |
1992年 | 5篇 |
1991年 | 4篇 |
1990年 | 3篇 |
1989年 | 2篇 |
1988年 | 2篇 |
1987年 | 5篇 |
排序方式: 共有454条查询结果,搜索用时 15 毫秒
1.
结构化面向对象形式规格说明语言OOZS——设计原理 总被引:1,自引:0,他引:1
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现:形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然.本文讨论了Z规格说明语言的应用限制,并在Z语言的基础上介绍了结构化面向对象形式规格说明语言——OOZS的设计方法.该语言吸收了面向对象程序设计语言SmalTalk、C++以及形式规格说明语言VDM、Zc、Z.S等的优点,引入了类、继承、入口、出口、Pre谓词、Post谓词等机制,并对Z语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写 相似文献
2.
赵丽娟 《辽宁工程技术大学学报(自然科学版)》1998,17(3):308-310
本着操作简单、方便、实用、功能强的原则,开发了《互换性与测量技术基础题库系统》软件,用此软件,使略有Windows操作基础的教师,在不到一的时间内就可以自动生成一份试卷。 相似文献
3.
Delphi语言的菜单动态生成技术 总被引:1,自引:0,他引:1
介绍了用Delphi语言动态生成菜单的技术,这种技术编制的程序能依据控制文件中的一些数据,系统自动产生相应的菜单,并连接控制程序. 相似文献
4.
5.
本文设计了FORTRAN下拉式菜单。在TurboC环境下,根据面向对象(oop)的设计思想,进行设计。从原理菜单功能给出了详细的说明。 相似文献
6.
王延乔 《上海师范大学学报(自然科学版)》1997,(1)
叙述了DOS下如何实现图形窗口、菜单及下拉式菜单的生成、驱动与管理,提出了其构造的基本结构,解决了中西文环境下的全汉化、鼠标与键盘同时驱动、菜单位图显示、辅助工具支持等问题,实现了DOS图形方式下界面平台的仿Windows化操作. 相似文献
7.
郝桂芳 《科技情报开发与经济》1997,(6)
在有关Windows的一些文献中,一般不介绍随时屏幕保护的设置方法,只介绍定时屏幕保护的设置方法。本文介绍了在Windows3.2系统和Win-dows95系统下,如何利用快捷键随时对屏幕进行保护的方法,以弥补上述不足 相似文献
8.
杨建富 《集美大学学报(自然科学版)》1997,2(1):50-53
介绍利用Netware提供的MENU实用程序来创建用户自己的菜单的方法,并举例加以说明。 相似文献
9.
介绍了一种新的面向对象的形式化规范说明技术VDM++,它是VDM的一种扩充.并且通过一个实例说明如何应用VDM++技术对面向对象系统进行形式化规范说明. 相似文献
10.
基于通信顺序进程的计算机网络通信协议形式化描述 总被引:5,自引:0,他引:5
描述和设计计算机网络通信协议时,使用抽象的同步通信机制最为方便。但在实际中,使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果,本文提出一个形式化方法,这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性 相似文献