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."