輪講資料

予定†

Perspectives on Software Engineering†

柏†

大平†

†

†

Testing1†

Modeling†

Configuration, Variability, and Clones†

Social Aspects of Software Engineering†

東†

†

Repair†

†

Formal Analysis†

Configuration Management†

大平†

大平†

久木田†

金城†

Software Understanding†

山谷†

Prediction†

Concurrency†

Apps and Energy†

Testing 2†

Code Contracts, Invariants, and Robustness†

Search and APIs†

Adaptive Systems†

Build and Package Management†

前田†

吉行†

†

山谷†

Mining†

Automated Bug Detection and Repair†

Requirements†

Testing and Conformance Verification†

Modeling and Interfaces†

Apps and Verification†

Symbolic Execution†

Refactoring and Reverse Engineering†

その他:SEIP†

松本†


トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS