[要求仕様の美学]

システム仕様を数式に変換─Z言語で要求仕様を厳密に記述する:第13回

2009年10月2日(金)福田 修

Z言語をはじめとする要求仕様記述言語は、厳密さゆえに実用に適さないと言われる。何はともあれ、Z言語とはどんなものか。どのように厳密なのか。システム担当者なら、そのエッセンスを理解しておいたほうがよいだろう。

この記事の続きをお読みいただくには、
会員登録(無料)が必要です
  • 1
  • 2
バックナンバー
要求仕様の美学一覧へ
関連キーワード

UML / Z言語 / 要求仕様

関連記事

トピックス

[Sponsored]

システム仕様を数式に変換─Z言語で要求仕様を厳密に記述する:第13回 [ 2/2 ] Z言語をはじめとする要求仕様記述言語は、厳密さゆえに実用に適さないと言われる。何はともあれ、Z言語とはどんなものか。どのように厳密なのか。システム担当者なら、そのエッセンスを理解しておいたほうがよいだろう。

PAGE TOP