一个新的结构化程序设计工具WPADT系统的设计实现及其评价

<正> 一、前言 MPADT(Wuham University problemAnalysis Diagram Translator)系统是一种以PAD(Problem Analysis Diagram)图式为主导的、可适用于多种程序设计语言的软件实现工具系统。该系统能支持软件生命周期的详细设计和编码、排错阶段。采用该系统开发软件,可同时输出PAD图和相应的源程序,     

使用基于进程代数的方法建立软件体系结构的安全模型

安全体系结构集成了软件体系结构与信息安全两大领域的研究,基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模,形成安全的软件体系结构。     

代码组件的组合重用是一种新的程序设计范型

本文在描述了程序设计范型的特性之后,详细地介绍了代码组件的组合重用方法,提出并论述了代码组件的组合重用是一种新程序设计范型的观点.本文还详细地描述了这种新程序设计范型的特点,同时也指出了应当解决的一些课题.     

从状态图到规则的转换

本文指出了在一个面向嵌入式实时系统软件的需求定义环境中,系统如何将可视的分层状态图转换为形式化规则的方法,以及转换后的规则如何存放于模板中和被显示,最后,本文也阐述了此工作的作用和意义。     

这时控制系统需求描述方法及其应用

1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并发处理;(4)系统具有特定的性能要求,甚至是严格或苛刻的;(5)高可靠性;(6)系统十分复杂;(7)难以测试,在单个操作环境下无法测试。这些     

从需求到体系结构的设计

目前还没有一个好的方法能够将需求过渡到软件体系结构,其部分原因是由于它们二者所涵盖的概念和术语各不相同。讨论了一种基于目标和场景的方法来实现从需求到体系结构的设计。     

综合知识表示模型MAS的属性文法推理机制

根据文献［２］中提出了的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文提出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明，最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的解是完全的结论。     

软件工具与软件开发环境

本文简略介绍了软件工具和开发环境的发展。对比了“以图表为主导”和“以高级语言为主导”的两大流派,主张当前我国应大力开发以图表为主导的软件工具和环境。本文第一位作者参加了今年的第七届软件工程国际会议(7-ICSE),参观了会议期间的工具和环境展览,并访问了几个有关单位。     

面向行为的需求建模研究及实现

需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具BRMT),以辅助开发人员从行为的角度进行需求建模。     

一种实时系统软件体系结构风格:NewRob

该文分析了现有的软件体系结构风格描述语言的特点,并结合嵌入式实时系统的领域特征,提出了一个面向嵌入式实时系统的软件体系结构风格:NewRob。NewRob所生成的一个基本说明书,由一个同步控制任务组成,它负责将系统作为包含各类异步组件的集合,进行动态重构。控制任务通过对各组成元件逐级细化、分解,得到进化后的低级控制任务,每个低级任务也都管理一个新的组件集合。采用时序逻辑描述和验证不同抽象级别的软件体系结构的一致性。