首页> 外文OA文献 >A Compositional Formalization of Connector Wrappers

【2h】

A Compositional Formalization of Connector Wrappers

机译：连接器封装器的组合形式化

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bridget Spitznagelcarnegie;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Simulation semantics can revitalize the formalization of meaning:. Reply to comments on "Embodied language, best-fit analysis, and formal compositionality" [J] . Feldman J. Physics of life reviews . 2010,第4期

机译：模拟语义可以使意义的形式化：回复有关“体现语言，最适合分析和正式组成”的评论
2. Secure composition of untrusted code: box π, wrappers, and causality types [J] . Peter Sewell, Jan Vitek Journal of computer security . 2003,第2期

机译：安全组成不受信任的代码：框π，包装和因果关系类型
3. Implementation of the Composition-nominative Approach to Program Formalization in Mizar [J] . Ievgen Ivanov, Artur Kornilowicz, Mykola Nikitchenko Computer science journal of Moldova . 2018,第1期

机译：在Mizar中采用组合命名方法进行程序形式化
4. A compositional formalization of connector wrappers [C] . Bridget Spitznagel, David Garlan International Conference on Software Engineering . 2003

机译：连接器包装的组成形式化
5. Smart compositional wrappers. [D] . Al-Hatali, Saleh Matar Mohammed. 2002

机译：智能成分包装器。
6. Connecting EEG signal decomposition and response selection processes using the theory of event coding framework [O] . Adam Takacs, Nicolas Zink, Nicole Wolff, 2020

机译：使用事件编码框架理论连接脑电信号分解和响应选择过程
7. A Compositional Formalization of Connector Wrappers [O] . Spitznagel Bridget, Garlan David 2003

机译：连接器包装的组成形式化

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号