检索结果-内蒙古大学图书馆

A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components

引用

Journal of Systems integration 1992年第2期2卷 169-180页

作者： Rine, David Department of Computer Science School of Information Technology and Engineering George Mason University Fairfax 22030-4444 Virginia United States

We investigate how a formalism known as a basis and common to many areas of applied mathematics and engineering can be applied to perfective maintenance and the integration of application systems in software engineering, using an object-oriented approach. It is concluded that this formalism serves as a mathematical model for perfective software maintenance and software systems integration activities under object-oriented development. Theorems and properties about the model are reported as guides to software maintenance. The model and formal maintenance techniques have been applied to a software system in the management information systems area to demonstrate this approach to perfective maintenance and to assist in validating the model. © 1992 Kluwer Academic Publishers.

关键词： baseline basis building common software systems configuration control formal methods integration of software components management information systems object-oriented development object-oriented inheritance as an integration function Perfective maintenance software system assembly

来源：评论

学校读者我要写书评

暂无评论

A formal approach to perfective software maintenance: integration using a basis

引用

Journal of software Maintenance: Research and Practice 1992年第3期4卷 119-128页

作者： Rine, David Department of Computer Science School of Information Technology and Engineering George Mason University Fairfax Virginia 22030-4444 United States

We investigate how a formalism, common to many areas of applied mathematics and engineering, known as a basis can be applied to perfective maintenance and integration in software engineering, using an object‐oriented approach. It is concluded that this formalism serves as a mathematical model for perfective software maintenance and integration activities. Theorems and properties about the model are reported as guides to software maintenance. The model and formal maintenance techniques have been applied to a software system in the management information systems area to demonstrate this approach to perfective maintenance and to assist in validating the model. Copyright © 1992 John Wiley & Sons, Ltd

关键词： Basis Baseline Configuration control Formal methods integration of software components Object‐oriented development Perfective maintenance

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：