< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间： 2014-01-25
上传用户：坏坏的华仔
全新的B/S结构开发方式,用纯JS+HTML实现了类似C/S的强大浏览器交互,查询及分页浏览速度提高几倍,可以成批录入数据,有完整的数据库表访问和纯web打印
上传时间： 2014-01-20
上传用户：lacsx
大部分功能模块可以方便快捷地建立多个频道、栏目、二/三级栏目，有以下功能模块： 1.单页内容系统：如公司简介、联系我们的单面内容，后台可图文编排内容，自定义字体、颜色、插图等 2.文章/新闻系统：自由建立新闻栏目、文章栏目。如公司网站常用的技术支持等 3.产品展示系统：产品分类级别无限级分类；多种产品列出显示方式； 4.网上购物/询价系统：可以实现网上商城功能，或询价功能，集成多种在线支付（支付宝、网银在线、财付通等）。 5.下载系统：如驱动和技术文档等文件的下载。 6.会员系统：会员注册、查看修改删除会员资料，会员个人留言，查询订单。可配合中网景论坛用户管理，管理会员。 7.留言系统：管理信息反馈及所有访客的留言，管理员在后台回复留言问题 8.图片展示系统：可用于公司形象图片展示，荣誉证书等栏目 9.人才招聘系统：发布修改招聘信息，人才策略栏目管理，应聘管理。 10.公布网点系统：在地图上分地区显示各地网点公布，如营销网络栏目的信息。 11.友情链接系统：可选择文字或图片链接或下拉菜单显示方式
上传时间： 2016-04-20
上传用户：wfeel
QTP全名Quick Test Professional,是MI公司出品的一款测试工具.它的优点是使用方便,功能强大并且可以通过与测试管理工具的互连达到自动化功能测试的目的. QTP是专门针对B/S模式的测试工具.它具有:识别能力强,回放精确等优点,是进行B/S模式下功能测试的首选工具
标签： Professional QTP Quick Test
上传时间： 2016-04-21
上传用户：tyler
用java编写的标准化考试系统 (B/S网络版)
上传时间： 2013-12-18
上传用户：qoovoop
用java编写的 图书查询系统 (B/S网络版)
上传时间： 2013-12-18
上传用户：三人用菜
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间： 2014-10-14
上传用户：Shaikh
