设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Wiley电子期刊(1)
Springer电子图书(43)
SpringerLink电子期刊(33)
Elsevier电子期刊(4)
在“
Elsevier电子期刊
”中,
命中:
4
条,耗时:小于0.01 秒
在所有数据库中总计命中:
81
条
1.
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
作者:
Imen Loulou
;
Mohamed
Jmaiel
;
Khalil Drira
;
Ahmed Hadj Kacem
关键词:
Software architecture
;
Publish/Subscribe style
;
Event-based communication
;
Formal specification
;
Reconfiguration modeling
;
Graph rewriting
刊名:Journal of Systems and Software
出版年:2010
2.
Using Aspects for Enforcing Formal Architectural Invariants
作者:
Slim Kallel
;
Anis Charfi
;
Mohamed
Jmaiel
关键词:
Software architecture
;
Z notation
;
Petri nets
;
Aspect-Oriented Programming
刊名:Electronic Notes in Theoretical Computer Science
出版年:2008
3.
Development of communication protocols using algebraic and temporal specifications
作者:
Jmaiel
;
Mohamed
;
Pepper
;
Peter
关键词:
Communication protocols
;
Formal development
;
Temporal logic
;
Algebraic specification
;
Stepwise refinement
刊名:Computer Networks
出版年:2003
4.
Specification of Communication Protocols Using Temporal Logic
作者:
Jmaiel
;
Mohamed
刊名:Journal of Systems and Software
出版年:1996
1
按检索点细分(4)
作者(4)
按出版年细分(4)
2010年(1)
2008年(1)
2003年(1)
2000年及以前(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.