教学课程资源库 更多>>

关键词： 程序分析系统   OOPSE   C^++   Jave   面向对象   软件开  

摘要： 1 引言 面向对象技术自八十年代以来,在软件的各个领域得到了广泛应用,基于对象技术的面向对象软件开发方法也随之兴起,并被广泛采用.面向对象软件开发方法强调采用面向对象的观点认识客观世界,采用面向对象的方法模拟客观世界,使得软件结构和问题结构相一致,相对降低了软件的复杂性,方便了软件的设计、编程、维护和使用,从而特别适合于大型的、复杂的软件系统的开发.尽管面向对象的软件开发方法具有很多优点,但也存在着一些问题.例如,语言的灵活性、描述能力和程序的可靠性、功能之间难以统一,多态性和动态定连使得运行时很难确定在给定的程序点对象的动态类型,封装与继承的矛盾,以及多继承机制复杂的语义等使得人工管理面向对象的软件开发过程变得困难,同时,这也会导致软件开发效率的降低.

关键词： 面向对象语言-程序设计-英文  

关键词： JAVA语言   程序设计   教材   CT   S903476   JAVA语言   CT   S008424   程序设计  

摘要： e时代网络学科推荐教程:本书共分18章，内容包括：Java应用程序简介、控制结构、面向对象程序设计、字符与字符串、图形接口元件等。

关键词： Java programming language  

摘要： The design of concurrent programs has a reputation for being difficult, and thus potentially dangerous in safety-critical real-time and embedded systems. The recent appearance of Java, while cleaning up many insecure aspects of OO programming endemic in C++, suffers from a deceptively simple threads model that is an insecure variant of ideas that are over 25 years old. Consequently, we cannot directly exploit a range of new CASE tools - based on modern developments in parallel computing theory - that can verify and check the design of concurrent systems for a variety of dangers such as deadlock and livelock that otherwise plague us during testing and maintenance and, more seriously, cause catastrophic failure in service. The approach proposed in this paper uses recently developed Java class libraries based on Hoare's Communicating Sequential Processes (CSP);the use of CSP greatly simplifies the design of concurrent systems and, in many cases, a parallel approach often significantly simplifies systems originally approached sequentially. New CSP CASE tools permit designs to be verified against formal specifications and checked for deadlock and livelock. We introduce CSP and its implementation in Java and develop a small concurrent application. The formal CSP description of the application is provided, as well as that of an equivalent sequential version. FDR is used to verify the correctness of both implementations, their equivalence, and their freedom from deadlock and livelock.

ISBN: (纸本)7505369229

关键词： JAVA语言   程序设计   CT   S903476   S008424  

摘要： 北京科海培训中心:本书主要内容包括：JavaBeans、Java安全技术、Java命名与目录服务、RMI(远程方法调用)、CORBA、RMI-IIOP、Serve(服务器小程序)、JSP网页技术和其他主题。

关键词： JAVA语言   程序设计  

ISBN: (纸本)7030073754

摘要： 本书紧扣Java编程语言的特点，从平“台独”立性、面向对象、安全性、多线程和网络编程等多个方面逐一展开。

关键词： UML   ALSD   类图   抽象逻辑视图   可视化建模  

摘要： 统一建模语言UML（Unify Modeling Language）是面向对象软件 建模的国际标准，但是UML中缺乏对过程的可视化静态建模部分。抽 象逻辑结构图ALSD（Abstract Logical Structure Diagrams）是过 程建模的有效表示工具。本文以程序代码的生成为目标，以UML的静 态类图和ALSD为基础，结合UML的静态类图与ALSD，探讨了有关的 代码生成机制，设计和实现了一个软件开发环境。它填补了类图中方 法的可视化描述，实现建模和编码的有机统一，使整个程序设计的完 全可视化。 文章首先介绍了系统实现的理论基础，它包括与系统有关的UML 的类图部分、ALSD的Java理论部分、系统选择的合理性及代码生成 机制。在分析了系统存在的合理性的基础上，我们分析了从UML类图 到程序代码的生成机制，并且给出一个映射规则。 在系统的设计与实现中，我们给出了系统的设计方案及有关实现 细节。在系统的设计中，我们对系统进行了模块划分，提出了功能要 求，系统界面的设计及重要算法的设计。在实现部分，我们给出了在 Visual J++6.0开发环境中的实现细节问题。 在文章的最后，我们提出了本系统支持的程序开发方法。

ISBN: (纸本)7302042209