网上购物 货比三家
女用仿真 戏曲 惠氏 复印机 牛仔裤 等离子电视 明治 国产表店 数码伴侣 男根套环 充气娃娃 女鞋 电影/戏剧 电池/充电器 扫描仪/扫描枪 液晶电视

全部商品分类

热搜：
保湿加湿器诺基亚
您现在的位置：快乐比价网 > 图书 > 教育/科技 > 科学与研究 > 商品详情

模型、转换与工具Scenarios: Models, Transformations and Tools Scenarios

分享到：
模型、转换与工具Scenarios: Models, Transformations and Tools Scenarios

最 低 价：￥406.80

定 价：￥508.50

作 者：StefanLeue，Tarja J. Systä 著 著

出 版 社：Oversea Publishing House

出版时间：2005-8-1

I S B N：9783540261896

  • 价格比较
  • 商品详情
  • 商品评论(0条)

    • 商品详情

    编辑推荐

    内容简介
    This volume is a post-event proceedings volume and contains selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. It was organized as a continuation of a series of workshops that have been co-located with larger conferences such as the International Conference on Software Engineering (ICSE) and the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) since 2000. The 14 included papers were thoroughly peer-reviewed in two rounds of reviewing and are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, analysis of scenario-based specifications, abstion, refinement, and synthesis for scenario-based notations, non-functional properties and data in scenario notations, synthesis of executable models from scenario descriptions, tool support for scenario-based notations, domain and application specific dialects of scenario notations, scenario-based modelling patterns, integration of scenarios and implied behaviour.

    作者简介

    目录
    Scenarios: Models, Transformations and Tools
    Why Timed Sequence Diagrams Require Three-Event Semantics
    Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach
    Deciding Properties of Message Sequence Charts
    Operational Semantics of Security Protocols
    Autonomous Shuttle System Case Study
    Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity
    Applying Story Driven Modeling to the Paderborn Shuttle System Case Study
    Traceability and Evaluation in Scenario Analysis by Use Case Maps
    Scenario-Based Statistical Testing of Quality of Service Requirements
    Lightweight Formal Methods for Scenario-Based Software Engineering
    Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
    Partial Order Semantics of Sequence Diagrams for Mobility
    From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System
    Component Synthesis from Service Specifications
    Author Index

    商品评论（0条）

    暂无评论！

    相关新品推荐

    浏览更多同类商品

    您的浏览历史

    loading 内容加载中，请稍后...
    免责声明:

    本网站为购物搜索引擎,只提供各网站商品及服务信息链接,以商家实际信息为准!

    关于比价网 | 合作网站 | 免责声明 | 联系我们 (京ICP备13007221号-2)
    © 2008-2012 Bijia123.cn. All rights reserved.