《 软件产品线科学 》
- 可组合编程软件产品线模型驱动工程流应用Linux内核Unix管道过滤器Java编程软件工程形式化方法数据库
- #科普学术混合 #现代可组合范式 #软件工程实践 #历史案例解析 #专家独到见解 #高等教育资源 #研究挑战探讨
- 选题分类:程序设计 软件工程
- 原版语种:英语(可提供图书翻译服务)
- 原出版地:美国
- 出版日期:2025年12月
- 页数:277页
- 图书定价:(不详)
- 开本:(不详)
- 内文印刷:(不详)
- 字数:(不详)
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过,您将可以在线对本作品的电子样书进行查看。
特别提示:
1、一旦提交本申请,则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权,并承诺在申请日起18个月内,不会向任何第三方(包括但不限于图书作者、出版方及其他代理商等)申请或联系上述图书的中文简体版权。否则,我公司有权关闭您在本网站的使用权限,且不再与您进行任何业务合作,并有权要求您支付不低于人民币5000元/本的违约金,或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用,不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况,否则无论最终是否与您达成中文版权的交易合作,该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过,您将可以在线对本作品的翻译样章进行查看。
特别提示:
1、一旦提交本申请,则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权,并承诺在申请日起18个月内,不会向任何第三方(包括但不限于图书作者、出版方及其他代理商等)申请或联系上述图书的中文简体版权。否则,我公司有权关闭您在本网站的使用权限,且不再与您进行任何业务合作,并有权要求您支付不低于人民币5000元/本的违约金,或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用,不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况,否则无论最终是否与您达成中文版权的交易合作,该费用概不退还。
版权推荐
★作者拥有四十余年学术研究与一线开发双重经验,书中融入大量独到见解。
★以Linux内核、Unix管道过滤器等经典案例为佐证,将抽象技术原理具象化,降低专业知识的理解门槛。
内容简介
软件产品线是针对一类程序的设计方案。该类程序中的每一款程序,均由预先定义的程序功能增量组合而成。Linux内核是目前已知规模最大的软件产品线,其衍生出的不同程序数量已超过102000种。
模型驱动工程是一种通用工程方法论,可支持系统的设计、分析、构建与演化。软件设计以模型的形式呈现,通过组合一系列转换操作,将模型转化为其他用于分析的模型,或是生成相关文档及源代码。
流应用是一种数据流图,其节点(称为功能盒)是具备输入输出数据流的计算单元;这些功能盒相互连接、组合,进而形成定制化程序(又称软件电路)。Unix管道过滤器与分布式流处理都属于流应用的典型案例。
本书的目标读者涵盖软件工程从业者与高等院校相关专业高年级学生,阅读本书需要读者具备一定的Java编程基础。书中融入了作者的独到见解,这些见解源于其四十余年的从业经历——他不仅是顶尖研究型大学的学者,同时也是一名深耕一线的软件工具开发者。
本书叙述风格生动易懂,着重介绍了来自形式化方法、编程语言、软件系统开发、测试与部署、数据库及网络等多个领域的研究者,在规范化软件工程与可组合设计方面作出的重要贡献。
本书部分章节可作为技术发展史叙事内容轻松品读,其余章节则可作为深度研究材料,引发读者对当下开放的研究挑战与机遇进行思考。在人工智能与机器学习为软件自动生成开辟诱人前景却尚未充分挖掘的当下,本书提醒着人们,软件构建的数学基础依旧至关重要,以及其重要性背后的深层原因。
作者介绍
美国计算机科学家,目前是德克萨斯大学奥斯汀分校的David Bruton,Jr. Centennial教授。
多恩·巴托里是第一个获得由软件产品线大会于2016年设立的最具影响力论文奖的人 他获得了B.S.和M.Sc.获得了凯斯技术学院的博士学位和博士学位。来自多伦多大学。
★作者拥有四十余年学术研究与一线开发双重经验,书中融入大量独到见解。
★以Linux内核、Unix管道过滤器等经典案例为佐证,将抽象技术原理具象化,降低专业知识的理解门槛。
