用户名  找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Concise Guide to Software Engineering; From Fundamentals to Gerard O‘Regan Textbook 20171st edition Springer International Publishing AG 20

[复制链接]
查看: 49821|回复: 64
发表于 2025-3-21 16:29:55 | 显示全部楼层 |阅读模式
书目名称Concise Guide to Software Engineering
副标题From Fundamentals to
编辑Gerard O‘Regan
视频videohttp://file.papertrans.cn/236/235113/235113.mp4
概述Describes the fundamental principles of software engineering.Provides guidance on how to apply the theory in an industrial environment.Offers such pedagogical features as key topics, chapter summaries
丛书名称Undergraduate Topics in Computer Science
图书封面Titlebook: Concise Guide to Software Engineering; From Fundamentals to Gerard O‘Regan Textbook 20171st edition Springer International Publishing AG 20
描述This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment. The wide-ranging coverage encompasses all areas of software design, management, and quality..Topics and features: presents a broad overview of software engineering, including software lifecycles and phases in software development, and project management for software engineering; examines the areas of requirements engineering, software configuration management, software inspections, software testing, software quality assurance, and process quality; covers topics on software metrics and problem solving, software reliability and dependability, and software design and development, including Agile approaches; explains formal methods, a set of mathematical techniques to specify and derive a program from its specification, introducing the Z specification language; discusses software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems; reviews a range of tools to support various activities in software engineering, and
出版日期Textbook 20171st edition
关键词Software management; Project management; Requirements analysis; Software engineering; Reliability and te
版次1
doihttps://doi.org/10.1007/978-3-319-57750-0
isbn_ebook978-3-319-57750-0Series ISSN 1863-7310 Series E-ISSN 2197-1781
issn_series 1863-7310
copyrightSpringer International Publishing AG 2017
The information of publication is updating

书目名称Concise Guide to Software Engineering影响因子(影响力)




书目名称Concise Guide to Software Engineering影响因子(影响力)学科排名




书目名称Concise Guide to Software Engineering网络公开度




书目名称Concise Guide to Software Engineering网络公开度学科排名




书目名称Concise Guide to Software Engineering被引频次




书目名称Concise Guide to Software Engineering被引频次学科排名




书目名称Concise Guide to Software Engineering年度引用




书目名称Concise Guide to Software Engineering年度引用学科排名




书目名称Concise Guide to Software Engineering读者反馈




书目名称Concise Guide to Software Engineering读者反馈学科排名




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

0票 0.00%

Perfect with Aesthetics

 

1票 100.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 23:48:37 | 显示全部楼层
发表于 2025-3-22 01:40:31 | 显示全部楼层
发表于 2025-3-22 04:58:44 | 显示全部楼层
Pierre Legendre,H. John B. Birks employ a classical two-valued logic. The use of mathematics ensures precision and allows inconsistencies and gaps in the specification to be identified. Theorem provers may be employed to demonstrate that the software implementation meets its specification.
发表于 2025-3-22 10:12:13 | 显示全部楼层
发表于 2025-3-22 14:56:39 | 显示全部楼层
发表于 2025-3-22 18:52:37 | 显示全部楼层
Background,ced, and it has become very popular in industry. Mathematics may potentially assist software engineers in delivering high-quality software products that are safe to use and the extent to which mathematics should be employed remains a topic of active debate.
发表于 2025-3-22 23:12:33 | 显示全部楼层
发表于 2025-3-23 02:09:48 | 显示全部楼层
Z Formal Specification Language, employ a classical two-valued logic. The use of mathematics ensures precision and allows inconsistencies and gaps in the specification to be identified. Theorem provers may be employed to demonstrate that the software implementation meets its specification.
发表于 2025-3-23 06:24:19 | 显示全部楼层
Exploratory Data Analysis and Data Displayn, and they may be employed to formally state the requirements of the proposed system and to derive a program from its mathematical specification. They may be employed to provide a rigorous proof that the implemented program satisfies its specification, and they have been applied mainly to the safety-critical field.
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 吾爱论文网 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
QQ|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-7-12 15:15
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表