位置：成果数据库 > 会议 > 会议详情页
基于 UML 扩展的无线传感器网络应用程序建模
  • 所属机构名称：中山大学
  • 会议名称：第一届中国传感器网络学术会议(CWSN 2007)
  • 成果类型：会议
  • 相关项目：基于双代数的对象行为规范及其应用研究
作者： 周晓聪|潘子圆|
关于周晓聪：

共代数方法及其在形式化描述和验证软件体系结构中的应用
期刊论文 7 会议论文 1
基于双代数的对象行为规范及其应用研究
期刊论文 9 会议论文 10
同会议论文项目
基于双代数的对象行为规范及其应用研究
期刊论文 9 会议论文 10
同项目会议论文
Bisimulation proof methods in a path-based specification language for polynomial coalgebras
Towards context modeling for algorithm animation
ePet: A physical game based on wireless sensor networks
Shifting from a computer game to a physical game: A case study of ePet
FRASCS: A framework supporting context sharing
QoS-driven service composition modeling with extended hierarchical CPN
QoS specification in software architecture for QoS-aware applications
Testing and proving distributed algorithms in constructive type theory
Towards a framework of aspect-oriented modeling with UML