Highly Flexible Object-Oriented Software Development ---Methodology and Supporting Environment

软件工程中传统的瀑布模型是建立在每个开发阶段被明确分开的前提下的。然而，它涉及一个基本问题，即信息往往在每个阶段之间错误地传播。本研究提出了一个集成的框架和系统开发支持工具。此外，还提出了开发方法论，对系统的时态知识进行表达和推理是非常重要的。所提出的集成框架基于扩展的时态逻辑。已经实施了以下几项措施。扩展的状态转换图编辑器可以表示具有持续时间的事件，称为非即时事件。另一种工具是基于动态故障树的安全验证器。它验证安全需求是否满足信息系统的功能规范。使用该工具，不熟悉功能规范的安全专家可以参与信息系统的开发。在开发方法学领域，准确评估规范的每个部分的确定性是很重要的。在实际的系统开发中，规范不断变化，甚至在开始开发之后也是如此。在开发的早期阶段，开发商必须考虑客户公司每个职位的稳定性和权力关系。通过评估“需求不会被取消的可能性”来确定优先级是有效的。

The conventional water fall model in software engineering is based on the premise that each development phase is separated clearly. However, it involves an essential problem that that information tend to be propagated erroneously between each stage. This research has proposed an integrated framework and system development support tools. In addition, development methodology has been also proposed.It is important to express and reason temporal knowledge about a system. The proposed integrated framework is based on the extended temporal logic. The following took have been implemented. An extended state transition diagram editor can express the event which has time duration called "non-instant" event. Another tool is a safely verifier based on dynamic Fault Tree. It verifies whether the safety requirement satisfies the functional specification of an information system. Using this tool, a safety specialist, who is not familiar with functional specification, can participate in the development of an information system.In the field of development methodology, it turned out that it is important to exactly evaluate the certainty of each portion of specification. In actual systems development, specification changes continuously, even after starting development. In early stages of development, the developer has to take into consideration to the stability and the power relationship of each post of the client company. It is effective to put priority by evaluating "a possibility that a demand will not be canceled."