◼ knowledge of a basic formalism for modeling timed systems ◼ basic understanding of verification algorithms for timed systems (useful for practical modeling and verification)

第1章 Visual Basic的基础知识 Visual Basic的版本 1.学习版:是 Visual Basic的基础版本,用来开发 Windows应用程序,包括所有的内部控件、网格控件、tab对象和数据绑定控件。 2.专业版:该版本为专业的编程人员提供了功能完备的用于软件开发的一整套工具,包括学习版的全部功能,还包括 ActiveX控件、 Internet控件等一些控件。 3.企业版:供专业编程人员开发功能强大的组内分布式应用程序。包括了专业版的全部功能,还包括了一些数据库访问控制等功能

数据控件和文本框控件进行数据库操作 Visual Basic提供了两种与Jet数据库引擎接口的方法:数据控件和数据访问对象。数据控件给 出了一些几乎不需要编程的访问现存数据的功能,允许用户将 Visual Basic的窗体与数据库方便 地进行连接。 Visual Basic的数据对象能够轻易地访问 Access、 dBase、 FoxPro、 ParADOx等数据 库中的数据,而且不需要程序员写程序

2.1 Visual Basic的基本数据类型 数据的类型是指数据在计算机内部的表述和 存储形式。 Visual Basic提供了11种基本数据 类型和一种用户自定义数据类型

第1章 Visual Basic概 本章的学习要点 一、了解 Visual Basic的产生和发展 二、熟悉 Visual Basic的基本特点 三、掌握VB软硬件工作环境及安装步骤

第1章 Visual Basic程序设计概述 1.1 Visual basic 简介 1.2 VB集成开发环境 1.3 建应用程序过程 1.4 VB帮助系统 第2章 VB可视化编程基础 2.1 VB对象概念 2.2 窗体和基本控件 2.3 综合应用 第三章 VB语言基础 3.1 数据类型 3.2 变量和常量 3.3 运算符和表达式 3.4 程序结构和编码规则 3.5 综合应用

Visual Basic(简称VB)是一种功能强大的新一代高级程序设计语言。本章介绍程序设计语言的基础知识; Visual Basic集成开发环境;通过一个简单的实例说明设计 Visual Basic应用程序的步骤;最后阐述面向对象程序设计的一些重要概念

第三章VB语言基础 3.1编码规则 3.2数据类型 3.3变量与常量 3.4运算符和表达式 3.5常用函数 3.6常见错误

3.1 程序代码的组织方式 3.2 代码的书写规则 3.3 VB的数据类型 3.4 运算符与表达式 3.5 VB的公共函数

1.面向机器语言 机器语言和汇编语言 2.面向过程(数据加工过程)语言: $Ac, fortran, pascal, basic 3.面向对象语言:如c++ 4.智能化语言