An Integrated System Design Methodology and Environments with Unified Generalized Security Requirements

本项目进行了如下研究，得到如下结果：构造了一个原型，以从源代码和执行观察（日志）中提取用Java编写的程序模块的规范。构造一个界面，以用户友好的方式向用户显示上述结果。构建模块搜索系统，查找适合特定规格的模块。搜索是基于模块之间的关系和使用实例。构建了一个用户界面，以帮助使用日语进行上述搜索。这减少了用户正式编写规范的负担

This project conducted the following research and obtained the results shown.1. constructed a prototype to extract the specification of a program module written in Java from its source code and execution observations(log)2. constructed an interface to show the above result to users in a user-friendly manner.3. constructed a module search system to help find modules suitable to particular specifications. The search is based on the relationships of modules and usage examples.4. constructed a user interface to help the above search using a Japanese. This reduces the burden of a user to write specifications formally