找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Contracts, Scenarios and Prototypes; An Integrated Approa Reinhold Plösch Book 2004 Springer-Verlag Berlin Heidelberg 2004 Behavioral Speci

[复制链接]
查看: 35107|回复: 46
发表于 2025-3-21 18:41:26 | 显示全部楼层 |阅读模式
书目名称Contracts, Scenarios and Prototypes
副标题An Integrated Approa
编辑Reinhold Plösch
视频video
概述Combination of process and programming methodologies into one cohesive framework.Scientifically solid, yet practically affordable and understandable approach.Appropriate for AVERAGE developers in AVER
图书封面Titlebook: Contracts, Scenarios and Prototypes; An Integrated Approa Reinhold Plösch Book 2004 Springer-Verlag Berlin Heidelberg 2004 Behavioral Speci
描述What is this Book About? At the beginning of the 21st century, computer systems—and especially so- ware—play an important role in our society. Software is contained in virtually every technical device that we use in everyday life (e.g., cellular phones and cars). Furthermore, computers and their software are used for leisure purposes at home (the Internet and computer games), at the office (e.g., writing letters and order processing), and for more complicated tasks such as controlling steel plants or insuring flight safety. Therefore, the quality of software (e.g., its correctness, re- ability, and efficiency) has become important not only in the context of critical systems (e.g., nuclear power plants) but also for our entire society, from business to leisure. Software engineering is the practical application of scientific knowledge for the economical production and use of high-quality software [Pomberger96]. The discipline aims at developing methods, techniques, tools, and standards to fulfill these aims. The number of methods and tools available to the software engineer nowadays is overwhelming; nevertheless, many software projects fail—that is, do not meet their schedules, are o
出版日期Book 2004
关键词Behavioral Specification; Contracts; OCL; Object Constraint Language; Scenarios; Software Architecture; So
版次1
doihttps://doi.org/10.1007/978-3-642-18564-9
isbn_softcover978-3-642-62160-4
isbn_ebook978-3-642-18564-9
copyrightSpringer-Verlag Berlin Heidelberg 2004
The information of publication is updating

书目名称Contracts, Scenarios and Prototypes影响因子(影响力)




书目名称Contracts, Scenarios and Prototypes影响因子(影响力)学科排名




书目名称Contracts, Scenarios and Prototypes网络公开度




书目名称Contracts, Scenarios and Prototypes网络公开度学科排名




书目名称Contracts, Scenarios and Prototypes被引频次




书目名称Contracts, Scenarios and Prototypes被引频次学科排名




书目名称Contracts, Scenarios and Prototypes年度引用




书目名称Contracts, Scenarios and Prototypes年度引用学科排名




书目名称Contracts, Scenarios and Prototypes读者反馈




书目名称Contracts, Scenarios and Prototypes读者反馈学科排名




单选投票, 共有 1 人参与投票
 

0票 0.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

1票 100.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 20:31:37 | 显示全部楼层
G. Faillon,G. Kornfeld,E. Bosch,M. K. ThummContract and OCL share many similarities. The main differences are (1) the possibility of imposing correctness conditions on collections by means of OCL language features, and (2) the lack of subcontracting in OCL, which is an important concept to ensure the conformance of derived classes with their
发表于 2025-3-22 01:08:35 | 显示全部楼层
G. Faillon,G. Kornfeld,E. Bosch,M. K. Thumms..The term “scenario” as used in this book is a synonym for the term “use case”. The term scenario is used throughout this book to indicate that the emphasis is on the concepts and ideas that underlie use cases, rather than on the specific use case approach as understood by the Unified Process or U
发表于 2025-3-22 06:40:44 | 显示全部楼层
发表于 2025-3-22 08:56:06 | 显示全部楼层
发表于 2025-3-22 14:14:41 | 显示全部楼层
发表于 2025-3-22 20:36:18 | 显示全部楼层
Contracts,-orientation is not only about information hiding and ADTs, but also about inheritance and associated concepts such as dynamic binding and polymorphism. Subcontracts guarantee the correctness of derived classes by insuring that assertions of superclasses are considered in all derived classes, and by
发表于 2025-3-23 00:58:38 | 显示全部楼层
发表于 2025-3-23 01:22:12 | 显示全部楼层
发表于 2025-3-23 06:14:22 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-21 20:46
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表