ホーム

検索結果

"category:/Research"

<< 前へ 1 2 3 4 5 6

タイトルと要約 日付/時間
101
On the Semantics of Software Adaptation
10 日前の A Formal Approach to Component Adaptation の理論面について議論している…ことになっ... 		2006/11/17
21:04:45
102
muABC: A Minimal Aspect Calculus
アスペクト指向を形式的に扱うための体系の... 		2006/11/14
0:32:26
103
A Formal Approach to Component Adaptation
これも形式手法を用いた component adaptation ... 		2006/11/07
22:01:45
104
A Calculus of Untyped Aspect-Oriented Programs
アスペクト指向プログラミングを形式化した... 		2006/10/31
17:25:20
105
Component Adaptation through Flexible Subservicing
Component adaptation の話をプロセス代数の世界で展開している。... 		2006/10/30
21:17:04
106
Towards a Semantic-Based Verification Environment for the pi-calculus
π計算のインタプリタと双模倣関係の判定器... 		2006/08/28
15:40:08
107
Using CafeOBJ to Mechanise Refactoring Proofs and Application
リファクタリングのルールが正しいことの証... 		2006/07/14
20:55:46
108
A Theorem Proving Approach to Analysis of Secure Information Flow
定理証明器を使って情報流解析しようという... 		2006/07/13
2:43:34
109
Changing Programs Correctly: Refactoring with Specifications
リファクタリング操作がプログラムの振舞い... 		2006/07/08
19:13:56
110
Downgrading Policies and Relaxed Noninterference
機密度を下げる仕組みを導入した情報流解析... 		2006/07/04
0:39:18
111
Challenges for Information-flow Security
情報流解析に関する研究は数多くなされてい... 		2006/06/22
0:13:43
112
Deriving an Information Flow Checker and Certifying Compiler for Java
高レベル言語（Java ... 		2006/06/15
14:22:18

<< 前へ 1 2 3 4 5 6