目前,已经出现了很多基于Linux的嵌入式系统,但适合于嵌入式系统的GUI却很少,MiniGUI则是其中比较出色的一个GUI系统,能够为嵌入式......

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得......

为了实现利用C++Builder编程语言开发DirectX程序的目的,本文通过对C++Builder及DirectX的相应特点介绍分析,提出和实现了用该语言......

为了实现利用Visual Basic编程语言开发DirectX程序的目的,通过对Visual Basic及DirectX的相应特点介绍分析,提出和实现了用该语言......

通过对"天气在线"网页结构及内容的分析,阐述了如何运用VB语言及其控件对网页进行自动拆分,并下载气象数据及合成程序开发方法.......

提出了一种从ＶＤＭ－ＳＬ规约到并发面向对象程序的开发方法，这种方法基于ＤＤ－ＶＤＭ在此基础上提出了虚拟原子，服务并行和内部并行等概念，继而提出一种嵌套......