スポンサーリンク
日本ソフトウェア科学会 | 論文
- 枝刈り機構とメモ化機構をもつ言語
- Introduction to the Special Issue on Software Papers
- 受託開発ソフトウェアの保守における作業効率の要因
- A Creative Environment for Developing Interactive Systems with Living Plants
- Extraction of the Related Parts of Documents based on Sample Application for Platform Learning
- ファイル移送に基づく分散ファイルシステムの設計と実装
- 直接操作を用いたグラフィカルな図形文法編集システム
- 静的型システムによるJVMアクセス制御の実現
- Improving the Efficiency of Bug Localization in Systematic Debugging Method for Attribute Grammars
- Event-B : リファインメントに基づくシステム・モデリング
- Alloy : Model-Oriented Specification Language with Automated Analysis Tool
- Introduction to Advanced Software Tools
- 自己適応Webアプリケーションシステム：概念アーキテクチャと実現フレームワーク
- 新しいソフトウェアの実現 モデル検査法のソフトウェアデザイン検証への応用
- ソフトウェアシステム ＶＰＮとホストの実行環境を統合するパーソナルネットワーク
- Alloy Analyzerを用いた表明に関する欠陥の検出手法 —JMLによる表明記述に対して—
- Ｂｌｕｅｔｏｏｔｈによる位置検出
- Case study: A Tool "Dr. simple #include checker"
- 整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価
- テキスト情報を考慮した企業コミュニティの獲得