面向对象软件开发方法与支持工具的研究

"该资源是一篇1999年的自然科学论文，主要讨论了一种改进的对象式软件开发方法及其配套工具。作者提出了一个全面的支持从概念建模到实现的软件开发流程，包括图形化需求描述、形式化需求规格说明以及转换机制。文章还提及了一个名为ＸＣＡＳＥ的软件工具，它能够实现模型的图形化建模和向形式化规格说明的转换。" 在面向对象（Object-Oriented, OO）软件开发领域，李频和董逸生在1999年的论文中介绍了一种创新的方法，旨在解决从需求分析到代码实现的关键问题。他们提出的方法特别关注如何通过概念建模和行为建模来更有效地定义系统需求，并将这些非形式化的模型转化为可执行的代码。 首先，论文强调了对非形式化建模工具的增强，目的是提高其在表达复杂系统语义方面的效率。这通常涉及到开发更为强大的图形化建模语言，使得开发者可以更直观地描绘系统结构和行为。 其次，他们探讨了形式化需求规格说明语言（SEURSL）的设计，这是一种用于精确表述软件需求的形式化语言。形式化规格说明有助于减少需求理解中的歧义，从而降低软件开发过程中的错误。 再者，论文中提到了从非形式化模型到形式化规格说明的转换过程，以及从规格说明到具体实现的转换。这是开发过程中的关键步骤，因为它们确保了从高层次的设计概念到实际代码的准确转换。 最后，作者介绍了一个名为ＸＣＡＳＥ的CASE（Computer-Aided Software Engineering）工具，它实现了上述方法。该工具提供图形化界面，支持改进的建模方法，能够接受用户创建的模型，并自动或交互式地将其转换为形式化需求规格。一旦规格说明被生成，转换驱动器会进一步将其转化为特定编程环境下的实现代码。 这篇论文提出的是一种集成的OO开发方法，涵盖了从需求分析到实现的完整生命周期，并通过专门的工具（如ＸＣＡＳＥ）提供了强大的支持。这种方法和工具的结合旨在提高软件开发的效率和质量，减少因需求理解和转化过程中的不准确而导致的问题。