论文部分内容阅读
形式化方法能精确、无二义地描述软件规范，但其可读性、可理解性差以及缺乏有效的自动测试工具．鉴于此，提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机，从而改善其可读性与可理解性．实际应用表明，这种方法可以提高形式化规范的可读性与可理解性．
从形式化规范自动生成系统级状态机
【摘 要】
：
形式化方法能精确、无二义地描述软件规范，但其可读性、可理解性差以及缺乏有效的自动测试工具．鉴于此，提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地
【机 构】
：
中国科学技术大学计算机科学与技术系,中国科学技术大学安徽省计算与通讯软件重点实验室
【出 处】
：
中国科学技术大学学报
【发表日期】
：
2006年11期
【基金项目】
：
中国科学技术大学与日本富士施乐公司合作项目（FXVFP2003）资助.
其他文献
传闻：易华录刚设立的养老公司即将开展经营活动。 记者求证：记者致电公司证券部，电话一直无人接听。 日前，网传易华录（300212）刚设立不久的养老公司即将开展经营活动。公司在投资者互动平台上明确回应了此事。据悉，养老公司将以试点城市作为平台，通过可穿戴设备及无创体检检测设备等服务收集中老年人健康养老数据，对接第三方服务开展运营。 2015年5月15日，易华录公告称，公司与全国老龄工作委员会办
自2010年华商基金“三剑客”击败王亚伟携手问鼎股票型基金业绩冠军宝座后，梁永强这个名字开始被投资者熟知。作为华商基金“年轻的老人”梁永强，目前担任华商基金管理有限公司量化投资部总经理，华商动态阿尔法混合基金、华商主题精选股票基金基金经理。 用坚持长期投资的方式来做产业投资 面对媒体采访，梁永强曾表示，目前市场都在学习西方的投资经验和投资方式，这些投资策略是基于西方文化得来。他希望能从中国传统
对于中学生学习美术来说,兴趣是最好的前提。在教学中,我们常常感到,当学生对美术产生浓厚的兴趣时,会引发深入探究的热情和不断持久学习的强烈愿望,这种兴趣和愿望,对学习美
随着2014年的钟声敲响，2013年已经成为历史，不过纵观2013年，一些数据仍值得投资者回味。尽管2013年最后一个交易日A股市场以0.88%的涨幅报红收官，但依然难改其连续四年熊冠全球的颓势：2013年全年上证指数下跌6.75%，深证成指下跌10.91%，1849点“清朝底”一度让市场人心惶惶；但与此同时，在成长与改革逻辑的极致演绎下，2013年A股走出了罕见的结构牛途，中小板指整体上涨17.
作为新中国自主创办的以培养前沿科学技术高层次人才为目标的研究型大学，中国科学技术大学从1958年建校至今，一直充分发挥依托中国科学院的独特优势，在注重教书育人的同时，努力探
自6月中旬以来，A股市场遭到惨烈调整。相关统计显示，6月15日至9月15日，上证指数从高点5174点下跌至3005点，累计跌幅达到41.92%。同期沪深300指数、中证500和创业板指的跌幅分别达到41.12%、50.75%和54.14%。 在此背景下，偏股型基金的投资收益也迅速缩水。基金的平均净值增长率已经6月底的52.11%下滑至9月18日的13.53%。同时，年内收益超过100%的基金数量
正邦科技（002157）：公司是一家在农业产业领域不断拓展的农牧企业，其主营业务为饲料生产以及畜禽、水产品的养殖、加工和销售。作为一家以养殖为主的企业，公司的经营极易受行业景气度的影响。伴随今年猪价的快速上涨，公司有望迎来行业与经营业绩双拐点。 行业周期拐点：猪价是衡量养殖行业景气程度的重要指标。全国生猪出栏均价自4月起开始加速上涨，到8月达到18.7元/公斤，年内最高涨幅约50%。虽然近期价格
<正>特变电工(600089):2015年前三季度公司实现营业收入274.2亿元,同比微增3.58%,不过由于期内毛利润达到47.88%,同比增长10.77%,使得归属上市公司净利润同比增长17.07%至16.
根据以前所建立的高压LDMOS宏模型，分析了用阱作为高阻漂移区的LDMOS组成的反相器，提出了计算其功耗的公式，从而解决了在高压LDMOS组成的功率集成电路设计中功耗无法估算的难题．