Shinichi Honiden

教授(任期付)

  • 1651 Citations
  • 19 h-Index
1984 …2019
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Mobile agents Engineering & Materials Science
Wireless sensor networks Engineering & Materials Science
Multi agent systems Engineering & Materials Science
Specifications Engineering & Materials Science
Mobile Agent Mathematics
Web services Engineering & Materials Science
Quality of service Engineering & Materials Science
Software engineering Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1984 2019

Consistency-preserving refactoring of refinement structures in Event-B models

Kobayashi, T., Ishikawa, F. & Honiden, S., 2019 Jan 1, In : Formal Aspects of Computing.

Research output: Contribution to journalArticle

Event-B
Refactoring
Refinement
Model
Predicate

Applicability of earned value management for deadline energy constrained applications

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

Research output: Chapter in Book/Report/Conference proceedingConference 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 Apr 9, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, Vol. Part F137816. p. 1944-1951 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Retrofitting
Degradation
Testing
Experiments

Dynamic Update of Discrete Event Controllers

Nahabedian, L., Braberman, V., DIppolito, N., Honiden, S., Kramer, J., Tei, K. & Uchitel, S., 2018 Jan 1, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

Controllers
Specifications

Extracting Traceability between Predicates in Event-B Refinement

Saruwatari, S., Ishikawa, F., Kobayashi, T. & Honiden, S., 2018 Mar 1, Proceedings - 24th Asia-Pacific Software Engineering Conference, APSEC 2017. IEEE Computer Society, Vol. 2017-December. p. 61-70 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Engineers
Reverse engineering
Refining
Concretes