OO-Method: An Object-Oriented Methodology for Software Production

OO-Method: An Object-Oriented Methodology for Software Production
复制标题

OO-Method：面向对象的软件生产方法

DOI：
10.1007/978-3-7091-7557-6_21
复制
发表时间：
1992
期刊：
--
影响因子：
--
通讯作者：
Arturo González del Río
Arturo González del Río
中科院分区：
--
文献类型：
--
作者：
Ó. Pastor;Arturo González del Río

文献摘要

被引文献

相似文献

自动化编程范式出现于八十年代，作为可靠软件生产的替代方案。我们在本文中提出了一种方法（OO-方法），涵盖了分析、设计和实现的经典开发阶段，使用面向对象模型在基于自动编程范式提案的工作环境中正确表达信息系统概念。使用Oasis [Ram2，Pas2]作为规范语言，从分析结果中获得正式的规范。作为Oasis中的规范相当于正式的一阶理论，我们可以自动生成相应的逻辑程序（等式或子句），并具有可执行的系统原型。我们以这种方式提供软件开发生命周期，从精确的信息系统描述开始，根据系统的属性引导我们得到最终的软件产品。
The Automated Programming Paradigm appears in the eighties as an alternative for the production of reliable Software. We present in this paper a Methodology (OO-Method) that covers the classical development phases of Analysis, Design and Implementation using an Object-Oriented Model to express properly Information System concepts within a working environment based on the Automated Programming Paradigm proposal. A formal Specification is obtained from the Analysis results, using Oasis [Ram2, Pas2] as Specification Language.Being a Specification in Oasis equivalent to a formal First Order Theory, we can generate in an automated way the corresponding Logic Program (equational or clausal), having an executable System Prototype.We provide in this way a Software Development Life Cycle that, starting from a precise Information System description, lead us to a final Software Product according to the System’s properties.