ソフトウェア品質を支える技術~形式手法とモデル検査~

勉強会概要

勉強会内容

形式手法について知ることで、高品質なソフトウェアの開発を意識できるようになりましょう。

開催日程

9月7日(土) 14:00 〜 15:30(学生勉強会①)

開催場所

京都リサーチパーク4号館 – B1F

登壇者

京都工芸繊維大学 あくあたん工房
蒼百合さん

必要なもの

  • PC(Win/Macは問わない)があれば望ましい。

参加条件

  • 条件分岐や繰り返しを使ったプログラミングの経験(言語不問)。
  • テストについて知識または経験があれば望ましい。

登壇者コメント

気付いたら登壇者になっていました。
LT(Long Talk)は初めてなので緊張していますが、わかりやすく伝えられるように努めます。

参加者の方へ

個人開発では実装が注目されがちで、仕様は見慣れないという方も多いと思います。
そんな仕様の世界に少しでも触れてもらえたらなと思っているので、
あまり身構えずに聞きに来てください。

イベント概要

KC3 2024は、関西の情報系学生のための交流・技術学習のイベントです!

15の学生による勉強会と、今年初開催となるテクニカルセッションを2日間で集中的に受講でき、更に学生間や企業との交流も楽しめます。

1日のみでの参加ももちろん可能です!詳細やお申し込みは以下のページをご覧ください!