x76789の研究メモ

読者になる

x76789の研究メモ

この広告は、90日以上更新していないブログに表示しています。

Goal-Oriented Requirements Engineering: A Guided Tour

論文

Requirements engineers live in a world where conflicts are the rule, not the exception [Eas94].

x76789 2012-08-08 11:34 読者になる

広告を非表示にする

もっと読む

コメントを書く

« On the Adoption of Model Checking in Sa… ■ »

プロフィール

id:x76789

読者です読者をやめる読者になる読者になる

このブログについて

検索

リンク

はてなブログ
ブログをはじめる
週刊はてなブログ
はてなブログPro

Learning to Order BDD Variables in Verification
Choco solver download and example code
改行コードの確認
複数あるファイルの中から特定の文字列を検…
Why the model checking technique is successful for HW verification, and failing for SW verification?

月別アーカイブ

▼ ▶
2017
▼ ▶
2016
- 2016 / 3
▼ ▶
2015
- 2015 / 12
- 2015 / 9
- 2015 / 6
- 2015 / 5
- 2015 / 3
- 2015 / 1
▼ ▶
2014
- 2014 / 9
- 2014 / 7
- 2014 / 6
- 2014 / 5
- 2014 / 4
- 2014 / 2
- 2014 / 1
▼ ▶
2013
- 2013 / 10
- 2013 / 8
- 2013 / 6
- 2013 / 1
▼ ▶
2012
- 2012 / 11
- 2012 / 9
- 2012 / 8
- 2012 / 7
- 2012 / 6
- 2012 / 5
- 2012 / 4
- 2012 / 3
▼ ▶
2011
- 2011 / 12
- 2011 / 11
- 2011 / 8
- 2011 / 5
- 2011 / 4
- 2011 / 3
- 2011 / 2
- 2011 / 1
▼ ▶
2010
- 2010 / 12
- 2010 / 10
- 2010 / 9
- 2010 / 7
- 2010 / 6
- 2010 / 5
- 2010 / 4
- 2010 / 3
- 2010 / 2
▼ ▶
2009
- 2009 / 12
- 2009 / 11
- 2009 / 10
- 2009 / 9
- 2009 / 8
- 2009 / 7
- 2009 / 6
- 2009 / 4
- 2009 / 3
- 2009 / 2
- 2009 / 1

はてなブログをはじめよう！

x76789さんは、はてなブログを使っています。あなたもはてなブログをはじめてみませんか？

はてなブログをはじめる（無料）

はてなブログとは

x76789の研究メモ

Powered by Hatena Blog | ブログを報告する

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です読者をやめる読者になる読者になる