Pureに変更を加えた場合、すぐここに表示されます。

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

  • 6 同様のプロファイル
Model checking Engineering & Materials Science
Higher Order Mathematics
Software engineering Engineering & Materials Science
Acoustic waves Engineering & Materials Science
Refinement Mathematics
Horn clause Mathematics
Recursive functions Engineering & Materials Science
Program Verification Mathematics

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

研究成果 2011 2019

  • 157 引用
  • 6 h指数
  • 16 会議での発言
  • 6 記事

Combining higher-order model checking with refinement type inference

Sato, R., Iwayama, N. & Kobayashi, N., 1 14 2019, PEPM 2019 - Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2019. Hermenegildo, M. & Igarashi, A. (版). Association for Computing Machinery, Inc, p. 47-53 7 p. (PEPM 2019 - Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2019).

研究成果: 著書/レポートタイプへの貢献会議での発言

Model checking

Git-based integrated uncertainty manager

Ubayashi, N., Watanabe, T., Kamei, Y. & Sato, R., 5 1 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019. Institute of Electrical and Electronics Engineers Inc., p. 95-98 4 p. 8802863. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019).

研究成果: 著書/レポートタイプへの貢献会議での発言

Managers
uncertainty
manager
software development
Software engineering

IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns

Ubayashi, N., Kamei, Y. & Sato, R., 1 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., van Sinderen, M. & Maciaszek, L. (版). SciTePress, p. 176-184 9 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

研究成果: 著書/レポートタイプへの貢献会議での発言

Software engineering
Uncertainty

Modular Programming and Reasoning for Living with Uncertainty

Ubayashi, N., Kamei, Y. & Sato, R., 1 1 2019, Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers. Maciaszek, L. A., Maciaszek, L. A. & van Sinderen, M. (版). Springer Verlag, p. 220-244 25 p. (Communications in Computer and Information Science; 巻数 1077).

研究成果: 著書/レポートタイプへの貢献会議での発言

Programming
Reasoning
Uncertainty
Software engineering
Software Development

When and Why Do Software Developers Face Uncertainty?

Ubayashi, N., Kamei, Y. & Sato, R., 7 2019, Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019. Institute of Electrical and Electronics Engineers Inc., p. 288-299 12 p. 8854688. (Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019).

研究成果: 著書/レポートタイプへの貢献会議での発言

Uncertainty
Software engineering
Defects