タグ

2022年6月13日のブックマーク (2件)

  • Microsoft PowerPoint - オブジェクト倶楽部2007クリスマス公開.ppt

    (C) 2007, Sako Hiroshi. all rights reserved. 1 形式仕様記述を巡る話題 酒匂 寛 オブジェクト倶楽部 2007 クリスマス (C) 2007, Sako Hiroshi. all rights reserved. 2 日の結論 • いますぐ試してみよう – 形式手法は明日の技術ではなく、いまそこにある 技術。活用すれば仕事を劇的に楽にする • 形式手法はコミュニケーションを助ける – 怠惰な技術者は「形式手法」で楽をしよう、他者と の対話自分との対話の基礎を固めて、「質的 に考えるべきこと」に時間を割こう (C) 2007, Sako Hiroshi. all rights reserved. 3 日の話題 • 形式仕様とは • 仕様書の性質 • モデルベースの形式仕様記述 – 契約による設計 • 現場での事例二つ • 仕様記述の例二つ

  • GitHub ActionsにおけるStep/Job/Workflow設計論

    この記事について GitHub Actionsには、以下3つの実行単位が存在します。 Workflow Job Step パイプラインを組む中で出てくる複数個の処理を、1つの実行単位でまとめてしまうか、それとも分割するのかというのは悩むポイントかと思います。 一つのstepのrunフィールドにコマンドを詰め込む?それともstepを分けた方がいい? 一つのJobの中のstepとして記述した方がいい?それとも別のJobに定義した方がいい? 一つのWorkflowの中にJobをたくさん定義する?それともWorkflowを別にする? この記事では、Workflow・Job・Stepそれぞれの性質を踏まえた上で、ベストな処理単位の選び方を考察します。 使用する環境・バージョン GitHub Actions: 2022/5/15時点での機能をもとに考察 読者に要求する前提知識 GitHub Actio

    GitHub ActionsにおけるStep/Job/Workflow設計論