|
公開日
|
登録日
|
発明名称／発明者
|
公開番号
|
登録番号
|
| 2014/12/08 |
|
製品資産管理装置、製品資産管理方法、及び、製品資産管理プログラム
野田 夏子
|
特開2014-229226 |
|
| 2014/12/08 |
|
製品資産管理装置、製品資産管理方法、及び、製品資産管理プログラム |
2014-229226 |
|
| 2014/06/26 |
|
検証装置、検証方法及び検証プログラム |
2014-115960 |
|
| 2014/06/26 |
|
検証装置、検証方法及び検証プログラム
野田 夏子
|
特開2014-115960 |
|
| 2012/04/19 |
|
モデル検査装置、方法及びプログラム |
2012-049816 |
|
| 2012/04/19 |
|
モデル検査装置、方法及びプログラム
野田 夏子
|
WO2012-049816 |
|
| 2012/11/15 |
|
資産管理システム、資産管理方法およびプログラム |
2012-226708 |
|
| 2012/11/15 |
|
資産管理システム、資産管理方法およびプログラム
野田 夏子
|
特開2012-226708 |
|
| 2011/06/23 |
2014/02/14 |
状態遷移表縮退装置、状態遷移表縮退方法およびプログラム |
|
5471385 |
| 2011/06/23 |
|
状態遷移表縮退装置、状態遷移表縮退方法およびプログラム
野田 夏子
|
特開2011-123588 |
|
| 2010/09/16 |
|
反例解析支援装置、反例解析支援システム、それらの反例解析支援方法及びプログラム |
2010-205066 |
|
| 2010/09/16 |
|
反例解析支援装置、反例解析支援システム、それらの反例解析支援方法及びプログラム
野田 夏子
|
特開2010-205066 |
|
| 2009/09/11 |
2012/12/21 |
シーケンス図再構成システム、シーケンス図再構成方法及び記録媒体
野田 夏子
|
？v？n？Q？O？O？X？^？P？P？O？R？O？V |
5158188 |
| 2010/07/08 |
|
時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム
野田 夏子
|
特開2010-152528 |
|
| 2010/07/08 |
|
時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム
野田 夏子
|
特開2010-152528 |
|
| 2008/10/16 |
|
論理式生成装置、及び論理式生成方法
野田 夏子
|
WO2008-123021 |
|
| 2008/10/16 |
|
論理式生成装置、及び論理式生成方法
野田 夏子
|
ＷＯ２００８／１２３０２１ |
|
| 2007/09/27 |
|
データ交換方式
野田 夏子
|
特開2007-249361 |
|
| 2007/09/27 |
|
データ交換方式
野田 夏子
|
特許公開２００７－２４９３６１ |
|
| 2001/12/07 |
|
委託荷物配送システム及び方法
野田 夏子
|
特開2001-338030 |
|
| 2000/11/07 |
|
コード生成システム
野田 夏子
|
特開2000-311081 |
|
| 2000/03/14 |
|
入力仕様が拡張可能であるコード自動生成システム
野田 夏子
|
特開2000-076056 |
|
| 1997/09/05 |
1999/09/24 |
プログラム自動生成装置
野田 夏子
|
特許公開平９－２３１０６３ |
特許2982725 |
| 1997/09/05 |
|
プログラム自動生成装置、およびプログラム自動生成方法
野田 夏子
|
特開平9-231063 |
|
| 1999/07/06 |
1999/07/06 |
Method and Apparatus for Automated Program-Generation
Noda Natsuko
|
|
米国特許第5920717号 |