科学网—赵也非的博客 - 赵也非

赵也非的博客分享 http://blog.sciencenet.cn/u/yfzhaoecnu 模型检测，进程代数，软件工程

赵也非

教育情况：
华东师范大学信息学院计算机系，博士

研究领域：
信息科学

扫一扫，分享此博客主页

留言板全部

leileiya 2013-10-11 06:09: 老师您好，我是南京理工大学经济管理学院管理科学与工程专业的一名博士生，最近想做一份用户打标签行为的调研（就是您在发表博文时会让您给博文添加标签），但是我缺少研究数据，恳请您在百忙中抽空帮我填写一份问卷，问卷大约需要您5分钟的时间，非常感谢您！！
问卷地址是：http://www.sojump.com/jq/2709468.aspx 将此链接复制进浏览器的地址栏，然后按回车键即可，非常感谢您！！！

查看全部

统计信息

已有 76017 人来访过

积分: 50
威望: --
金币: 50
活跃度: --
好友: --
主题: --
博文: 14
相册: --
分享: --

UML序列图的操作语义及其在模型精化中的一致性检查 2009-09-01: 标题： UML序列图的操作语义及其在模型精化中的一致性检查作者：赵也非杨宗源谢瑾奎刘强摘要：给UML赋予形式化的动 ...; (4696)次阅读|(0)个评论

基于扩展UML 状态图和Markov 过程的系统性能分析 2009-08-20: 基于扩展UML 状态图和Markov 过程的系统性能 ...; (5009)次阅读|(0)个评论

Formal semantics of UML state diagram and automatic verification Based on Kripke 2009-07-28: Paper: Formal semantics of UML state diagram and automatic verification Based on Kripke structure Author: Yefei Zhao, Zongyuan Yang, Jinkui Xie Abs ...; (4227)次阅读|(0)个评论

ISECS 2009的qq群 2009-05-01: 有中了ISECS 2009的同学，请加这个qq群： 78591015 一起讨论参加会议，发表论文等相关事宜，：）; (3928)次阅读|(0)个评论

Formal model and analysis of sliding window protocol based on NuSMV 2009-03-21: 论文名: Formal model and analysis of sliding window protocol based on NuSMV Abstract: System states spaces based on Kripke structure can be ...; (4738)次阅读|(0)个评论

有同学中了CCECE 2009么？ 2009-02-16: 这个会议的前几届被EI检索，从审稿意见看，感觉审稿还挺认真的，有没有同学中了CCECE 2009? 请和我联系， qq: 705236040 Dear: ...; (5233)次阅读|(1)个评论

蹦极的数学建模及其龙格-库塔法求解方法 2009-01-05: 论文: 蹦极的数学建模及其龙格-库塔法求解方法在“华东师范大学首届研究生数学建模竞赛”中，获得二等奖。发表日期： 2007年5月 ...; (8234)次阅读|(0)个评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-16 03:10

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部