CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 文档资料 软件工程

文件名称:SE1-Abstraction-and-Modelling

  • 所属分类:
  • 标签属性:
  • 上传时间:
    2012-11-16
  • 文件大小:
    50.22mb
  • 已下载:
    0次
  • 提 供 者:
  • 相关连接:
  • 下载说明:
    别用迅雷下载,失败请重下,重下不扣分!

介绍说明--下载内容来自于网络,使用问题请自行百度

第1卷,涵盖了基本的原则和技术,形式化方法和抽象造型。首先,这本书提供了一个良好的,但简单的基础上洞察离散数学:号码,电视机, cartesians ,类型,功能,的lambda演算,代数,数理逻辑。那么列车,其读者的基本财产和示范导向的规范原则和技巧。示范导向的观念,是共同的,如语言规范包括b , vdm的-晚上八时,和z是解释,在这里用提高规范语言(出rsl ) 。这本书则涵盖的基本原则的应用(功能) ,势在必行,并发(并行)的规格规划。最后,卷载有一个全面的词汇,软件工程等,以及大量的索引和参考作用。



这些卷是适合自我学习修炼了软件工程师和使用的大学本科和研究生课程,软件工程等。讲师将得到一个全面的指导,以设计单元的基础上,教科书,同解决很多的演习,并在同一套完整的演讲幻灯片。-Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.



These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported
(系统自动生成,下载前可以参看下载内容)

下载文件列表

文件名大小更新时间
Software Engineering 1 - Abstraction and Modelling (Springer 2006).pdf

相关说明

  • 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
  • 搜珍网是交换下载平台,只提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。更多...
  • 本站已设置防盗链,请勿用迅雷、QQ旋风等下载软件下载资源,下载后用WinRAR最新版进行解压.
  • 如果您发现内容无法下载,请稍后再次尝试;或换浏览器;或者到消费记录里找到下载记录反馈给我们.
  • 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
  • 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.

相关评论

暂无评论内容.

发表评论

*快速评论: 推荐 一般 有密码 和说明不符 不是源码或资料 文件不全 不能解压 纯粹是垃圾
*内  容:
*验 证 码:
搜珍网 www.dssz.com