程序开发与程序错误分类

本文结合程序开发和程序设计的基本方法,分析程序错误存在的种种不同背景,形式及一些有代表性的观点,对程序错误和程序进行分类,提供了对程序科学地进行直觉分析的若干依据和方法。     

UNIX的C程序生成程序

<正> 已经叙述过作为UNIX的一个指导思想,有这样的一种观点,即程序要尽量编成已有模块的集合作为用少的工夫编写正确程序的一种手段,UNIX中已备有若干个,这个生成程序是要按照人们给出的规格,自动地给生成用C语言写出的程序。但是,要被生成的程序不一定是整体的程序,而是零件式的模块。所以要用     

向程序员开展程序表示法、程序证明和程序研制的教育

本文介绍了程序设计技术的现状,认为有效的程序设计需要大多数程序员具有更多的“数学素养。”由于形式逻辑往往用于非形式地思考程序和规范,因此开展形式逻辑和程序设计理论方面的教育就可以大大提高程序员的能力。这样的教育能使程序设计成为一门科学,而不只是一种技巧。这一观点通过举例可得到充分证实。     

一个基于程序变换的制表程序

本文介绍了一种报表打印程序生成系统的设计思想和实现方法。系统采用程序变换的思想,设计使用一种用来描述报表格式的报表描述语句对报表结构进行描述,由微机自动生成报表打印程序。     

趣味程序

三个不同颜色的环套在一起,圆心在正三角形的三个顶点长。上面的环为绿色,左面的环为红色,右面的环则为黄色。为了叙述方便,上面的环叫A环,左面的环叫B环,右面环叫C环。A环压B环,B环压C环,C环压A环,,一环扣一环。     

程序天下事

主持人:Kaneboy涂曙光,微软(中国)有限公司产品技术专家,博客堂成员。专注于.NET开发,从事Office System、SharePoint等产品相关的技术支持。经过一段时间的准备,微软正式发布了如何在Visual Studio 2008中查看和调试.NET Framework源代码的方法。现在已经公布的基础类库包括     

程序天下事

通往J2SE1.5的捷径Java语言的新变化,可能是在这一版本中被讨论最多的细节。最近一些Java Pro的文章中,已经详细阐述过这些变化。不过,主要是在讨论开发环境中给人带来的舒适感,而不是Java语言本身的改动。另外还有一些变化可以使开发工具更容易在Java平台上工作,以及搭建一个锁定的、思路清晰的全新框架结构。Take the Fast Track to J2SE 1.5     

程序天下事

企业门户开发企业门户已经超越其基于角色的内容管理的源头,变成了软件架构的核心组件——企业应用的通用界面。这使得门户开发计划成了总体的企业技术策略的中心阶段,并且增加了软件供应商通过基于标准的表示层扩展部署及集成平台的困难。门户已不再被视为是要集成在企业系统之上的用户界面。它现在是技术基础设施的组成部分、一个可以无限定制的、企业机构的实时信息、应用及过程的视图。它也不再被视为是单个软件,而是一个完整的环境:用于构建门户的絮构框絮、一组提供特定功能的易扩展的门户服务、一组开发工具,以及一个管理控制台。为了帮助企业架构师和开发者对门户技术和供应商解决方案进行评估,我们将考察12个门户技术提供商的工具和策略。本文将描述每个供应商的技术,进行批判的评定,并在相应的工具箱中给出深入的技术信息,为读者提供进一步探索的充足机会。     

程序天下事

《程序员》杂志每月在“程序天下事”栏目报道当月的重要技术新闻,直击最新技术动态。欢迎读者提供新闻线索,投稿信箱:editor@csdn.netRed Hat率先通过美国国防部关键认证最近,Red Hat的Linux高级服务器版本通过了美国国防部的“通用操作环境”(COE)认证(运行在Intel芯片的IBM服务器上)。这是第一个通过该项认证的Linux版本。Red Hat正在致力于促使它的用户尽快从较廉价的低端产品转移到支持更好的高级服务器版本上。 COE认证是从1993年开始的,测试的方式是在不同的操作系统上构造特定的功能和接口。该项认证的目的是让军方的软件能够运行在多种计算机系统上,并训练相关人员使用这些系统。     

基准程序

3D Mark 2000：我们所做的第一次测试是通过该软件进行的，因为实际上它是最有资格成为基准测试标准的。这个经久不衰的应用程序的最新版本能够在Windows 2000中运行。3D Mark 2000的得分几乎无法与其早期版本相比较，明显低了许多。     

程序天下事

GotDotNet Workspaces是一个在线协作开发环境,NET开发者可以在其中协作开发软件项目,而不必再受地理或网络条件的约束。GotDotNet Workspaces为.NET开发者提供了很多免费的服务,包括在线版本控制、错误跟踪、消息板等等。目前GotDotNet Workspaces正处于Beta测试阶段,欢迎全世界的NET开发者在其中创建新的协作项目工作区,或者参与     

程序天下事

数据库安全:防范SOL注入攻击 拥有像ASPNET这样高级的web开发枝术和SQL server这样强人的数据库支持、开发数据驱动的动态wcbJ‘;/J11程序变得前所未有的简单快速。但是黑客们却叮以利川这些强人的特性来攻击你多数时候f划义足使川址常’枯的SQL注人漏洞。 SQL注入攻.h的基本原理是:你的Web应用程序中提供f文本框一类的东西,允许川户输入内官井使川这岭内容进行数据库操作。黑客们通过输入非正常形式的表达式来破坏原本的SQL查询字符串,用达此特殊的SQL语句来攻.杆后台数据库。文章随后列举了详细的代码示例演,」又了SQL料人攻…     

程序天下事

永中Office2003作为具有自主知识产权的中文Office的代表,在逐渐成熟的过程中,今年下半年市场表现非常抢眼。作为目前Linux下办公软件,永中希望能在即将到来的Linux大潮中取得更大发展,因此,公司将继续加强产品研发,希望能够保持领先优势。     

程序天下事

动态地构建菜单使用继承和反射、根据运行情况确定WinForms应用的行为。你可以在设计时或运行时确定你的程序行为。随着控件的放置和代码的编写、在设计时确定行为,你对此很熟悉。如果你在运行时定义行为,你是在进行动态编程。动态编程有许多用途。我将向你说明,怎样根据运行时情况构建多文档界面(MDI)菜单。聪明地使用继承,通过组织代码并提供一致的界面,能够增强这一技术。你还将看到怎样通过动态技术使用各种资源,以便为随后的本地化做准备。     

ANGLE程序

以 H_2O_2分子为例(见图1),对其确定的构型,通常我们只知道 r_(12)(原子1和2的核间距),r_(23),r_(34),∠123(原子1,2核连线和原子3,2核连线的夹角),∠234,和二面角θ_(1234)(原子1,2,3构成的平面与原子2,3,4构成的平面的夹角)。但如果要想知道另外一些参数如,r_(13),r_(14),∠134,θ_(4123)等,原则上可从前面一套参数换算得到,但其中包含的数学运算很复杂,手工计算极不方便,且易出差错,然而这种计算在分子的构型、构象以及反应历程研究中经常用到,本程序就是针对解决这类问题而编制的。     

程序天下事

从本月开始,《程序员》杂志将在“程序天下事”栏目报道当月的重要技术新闻,直击最新技术动态。欢迎读者提供新闻线索,投稿信箱:editor@csdn.net。     

通过抽象程序证明复杂具体程序

本文描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构（ADTs）如set、list、map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系,抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.     

FORTRAN程序对汇编语言程序的调用

本文介绍了IBM PC及其兼容机FORTRAN程序对汇编语言子程序的调用方法。讨论了二者间的接口和程序设计时需注意之处。介绍了子程序调用方法和函数调用方法。并举几个典型例子说明。