|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 软件工程论坛 』 (http://bbs.xml.org.cn/list.asp?boardid=48) ---- 请教UML 语义的形式化描述 (http://bbs.xml.org.cn/dispbbs.asp?boardid=48&rootid=&id=31884) |
|
-- 作者：guangjun_zeng -- 发布时间：5/8/2006 8:23:00 AM -- 请教UML 语义的形式化描述 有没有研究UML 语义的形式化的高手? 小弟系刚开始研究UML 语义的形式化之新手,不知该如何着手, 正处迷茫中,跪求各位高手指导! |
|
-- 作者：njty_lzy -- 发布时间：5/8/2006 9:42:00 PM -- UML标准文档里采用抽象语法，良式规则(ocl),以及自然语言描述其语义，不知道国内研究现状如何 |
|
-- 作者：pennyliang -- 发布时间：5/8/2006 10:02:00 PM -- 我们学校研究很多的,比如你说的OCL,形式化语言描述,正确性证明,程序切片,等等. |
|
-- 作者：guangjun_zeng -- 发布时间：5/9/2006 9:20:00 AM -- 请问3楼的兄台是哪个学校的?怎么联系?可有空和在下交流下? 我的邮箱是zengguangjun_001@163.com,QQ:289833302 |
|
-- 作者：xingshaomin -- 发布时间：10/13/2007 10:56:00 PM -- 同求 |
|
-- 作者：laurence_yu -- 发布时间：9/7/2008 9:00:00 PM -- 对这个话题感兴趣，qq：446008911 |
|
-- 作者：csjjd -- 发布时间：1/3/2009 10:52:00 AM -- 各位兄台，我是形式化语言描述初学者，请给些学习资料，谢谢。 我的邮箱是csjjd@126.com |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
4,859.375ms |