本位田 真一

教授(任期付)

  • 1716 引用
  • 19 h指数
1984 …2019
Pureに変更を加えた場合、すぐここに表示されます。

Fingerprint Shinichi Honidenが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

  • 3 同様のプロファイル
Mobile agents Engineering & Materials Science
Wireless sensor networks Engineering & Materials Science
Multi agent systems Engineering & Materials Science
Specifications Engineering & Materials Science
Mobile Agent Mathematics
Software engineering Engineering & Materials Science
Web services Engineering & Materials Science
Quality of service Engineering & Materials Science

ネットワーク 最近の共同研究。丸をクリックして詳細を確認しましょう。

研究成果 1984 2019

Change impact analysis for refinement-based formal specification

Saruwatari, S., Ishikawa, F., Kobayashi, T. & Honiden, S., 2019 1 1, : : IEICE Transactions on Information and Systems. E102D, 8, p. 1462-1477 16 p.

研究成果: Article

公開
Formal methods
Large scale systems
Labels
Engineers
Formal specification
Event-B
Refactoring
Refinement
Model
Predicate
2 引用 (Scopus)

Modelling and Analysing Resilient Cyber-Physical Systems

Bennaceur, A., Ghezzi, C., Tei, K., Kehrer, T., Weyns, D., Calinescu, R., Dustdar, S., Hu, Z., Honiden, S., Ishikawa, F., Jin, Z., Kramer, J., Litoiu, M., Loreti, M., Moreno, G., Muller, H., Nenzi, L., Nuseibeh, B., Pasquale, L., Reisig, W. および3人, Schmidt, H., Tsigkanos, C. & Zhao, H., 2019 5 1, Proceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019. IEEE Computer Society, p. 70-76 7 p. 8787077. (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems; 巻数 2019-May).

研究成果: Conference contribution

Intelligent buildings
Open systems
Technical presentations
Cyber Physical System
1 引用 (Scopus)

Applicability of earned value management for deadline energy constrained applications

Suenaga, S., Tei, K. & Honiden, S., 2018 2 9, 2017 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2017. IEEE Computer Society, 巻 2017-December. p. 691-695 5 p.

研究成果: Conference contribution

Project management
Unmanned aerial vehicles (UAV)
Value management
Earned value
Deadline

AutoPUT: An automated technique for retrofitting closed unit tests into parameterized unit tests

Tsukamoto, K., Maezawa, Y. & Honiden, S., 2018 4 9, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, 巻 Part F137816. p. 1944-1951 8 p.

研究成果: Conference contribution

Retrofitting
Degradation
Testing
Experiments