软件工程及软件方法学
-
SolidWorks快速入门教程北京兆迪科技有限公司本书是学习SolidWorks 2022 中文版的快速入门教程,内容包括SolidWorks简介、SolidWorks 2022 软件的安装、软件的工作界面与基本设置、二维草图的绘制、零件设计、曲面设计、装配设计、模型的测量与分析、工程图制作、钣金设计和动画与机构运动仿真。为了使读者更快地掌握该软件的基本功能,本书在内容安排上结合大量实例对SolidWorks 2022 软件中一些抽象的概念、命令和功能进行了讲解。另外,书中通过范例讲述了一些生产一线产品的设计过程,这样安排能使读者较快地进入设计实战状态,书中讲解所选用的范例、实例或应用案例覆盖了不同行业,具有很强的实用性和广泛的适用性。本书在主要章节中还安排了习题,便于读者进一步巩固所学的知识。在写作方式上,本书紧贴软件的实际操作界面,使初学者能够尽快地上手,提高学习效率。本书附赠学习资源,学习资源中有大量SolidWorks 应用技巧和具有针对性的范例教学视频,并进行了详细的语音讲解。另外,学习资源内还包含书中所有的素材模型、练习模型、范例模型的原始文件,以及SolidWorks 2022 配置文件,方便读者学习。本书可作为工程技术人员的SolidWorks 快速自学教程和参考书,也可作为大中专院校学生和各类培训学校学员的SolidWorks 课程上课或上机练习教材。本书适用于零基础读者,也可作为中高级读者查阅SolidWorks 2022 新功能、新操作之用,或者作为工具书放在手边以供查询之用。
-
软件简史张银奎探索软件的起源与演进,呈现软件发展史上的重要人物和事件。按软件的孕育、诞生、发展、改进、壮大过程分为六篇。第一篇 潜龙勿用 追溯二进制数与中国文化的渊源、莱布尼茨发明二进制算术的动机和背景、穿孔卡片与二进制数的结合、穿孔卡片在自动提花机和自动计算中的应用、巴贝奇制作分析引擎的艰辛历程、世界上第一个计算机程序的诞生过程。第二篇 见龙在田 1936年图灵机模型横空出世。世界各地的发明家陆续开始制作计算机,世界上第一台可编程计算机在德国诞生,第一台电子数字计算机ABC在美国诞生,随后为曼哈顿项目做出重要贡献的机械式通用计算机马克一号悄悄登场,第一台通用数字计算机ENIAC问世。冯?诺依曼完成在计算机历史上具有里程碑意义的《第一草稿》。第三篇 终日乾乾 1945年图灵提出ACE提案,着手制造电子计算机,同时构思了广阔的软件蓝图。1946年,威廉姆斯和基尔伯恩发明了用电子方式访问的CRT内存,为实现存储程序计算机铺平了道路。英国国家物理实验室、曼彻斯特大学、剑桥大学和费兰蒂公司纷纷加入制造电子计算机的行列。第四篇 或跃在渊 美洲大陆的商业化大型机纷纷出现,格蕾丝发明的编译器为软件大生产做好了准备。1952年IBM的第一台商业化的科学计算机IBM 701问世,开启了“蓝色巨人”的电子计算机征程。1956年第一台全晶体管的现代计算机TX-0在MIT诞生,从此晶体管取代电子管成为构建现代计算机的基本材料。1957年第一种被广泛使用的高级编程语言FORTRAN诞生。第五篇 飞龙在天 1960年DEC公司推出PDP-1小型机,进一步降低计算机的成本,向更多人展示了计算机和软件的魅力。MIT和BBN公司开始研发分时操作系统,IBM投入巨资打造的OS/360,贝尔实验室的UNIX操作系统问世,操作系统的功能日臻完善。系统软件和应用软件的分工逐步形成,软件的社会化大生产即将爆发。第六篇 亢龙有悔 集成电路技术逐渐成熟,硬件体积变得越来越小,价格越来越低。20世纪80年代个人计算机(PC)登上历史舞台。各种高级编程语言、应用软件纷纷出现。互联网走上前台,自由软件运动和开源软件大放光彩。
-
创新求索录李国杰本书收录了李国杰院士2018年至2022年五年间写的100余篇文章、报告、评语、新书序言等,反映了作者参与中央网信办、国家发展改革委、工业和信息化部、科技部、中国工程院和中国科学院的咨询课题的成果。内容包括科技自立自强、理解人工智能、做强先进计算、展望新兴技术、战略咨询建议、人才培养教育等。既有宏观的政策建议,又有关键的技术研究;既高屋建瓴,又落到实处。适合相关领域的科研人员、高校老师和学生、立志科研的青少年、信息产业的高管以及制定政策方针的政府工作人员。
-
新媒体电商内容制作常用工具文杰书院《新媒体电商内容制作常用工具(微视频版)》以通俗易懂的语言、精挑细选的实用技巧、翔实生动的案例分析,图文并茂地介绍了新媒体电商内容制作常用工具的操作方法和使用技巧,主要包括新媒体技术应用概述、快捷高效的图片处理工具、简单好用的图文排版工具、炫酷短视频的剪辑与制作、音频制作与特效处理、微场景设计与辅助运营等内容。 《新媒体电商内容制作常用工具(微视频版)》既适合新媒体运营行业的从业人员,也适合对新媒体感兴趣准备从事新媒体创业和应用的行业人士,同时还可以作为高等院校和社会培训班的教材与辅导用书。
-
打造企业创新优势孙琳琳本书在作者多年企业实践的基础上,论述了企业运营的基本原理,深入阐述了企业生存与发展的行为与底层逻辑,包括企业的转型与升级、目标驱动的企业运营管理、持续创新,以及创新人才需求与培养、创新人才的评价和智能制造背景下人才培养的特点等。本书还介绍了我国制造业的发展过程、特点和优势,强调了在充满机遇与挑战的市场环境下我国企业应对如何发展进行深入思考和正确规划。本书有助于读者深入了解我国制造业取得的成就和尚存的不足,并为有志投身于使我国制造业早日迈入世界制造业先进行列的读者指明了方向。
-
群落化生存吴占勇本书作者对于现代人使用网络群组的情景现象进行了敏锐洞察,提出“群落化生存”概念,以学术研究中的陌生化视角对我们习以为常的网络实践进行再度省思。本书不仅从移动传播的技术角度剖析群落化生存的型构机制,还深入到移动互联时代出现的新型网络社群,以及相比有线网络时代具有显著变化的在线社群,通过实证研究探索移动传播生态下网络社群的生成逻辑以及传播特征,以此探查人类交往结构如何伴随技术的变化而衍进。
-
ToB营销增长邹杨 著这是一部面向所有ToB从业者的营销增长标准性著作,不仅浓缩了作者在创蓝云智、明源云等知名企业10余年的ToB从业经验,而且还融合了作者为100余位市场人员提供咨询以及与200余家企业的创始人和高管深度交流后的所获、所思和所感。本书内容得到了10余位高校教授、20余位机构投资人、50余位行业专家、200余位CEO和创始人、500余位CMO和COO的高度评价。 本书将ToB从业者需要掌握的营销增长方法论,该方法论包含ToB营销增长的正确认知、营销策略、品牌营销、数字化营销、内容营销、活动营销、私域营销、营销数字化、增长型组织搭建9大主题。根据不同行业、不同阶段的企业的需求,提供了针对性的营销增长方法和建议,能帮助读者升维认知、建立体系化思维、构建完整知识架构、掌握经验证的方法论、找到疑难问题的解决方案。为了提升这本书的实操性,全书总结了大量的工具、方法、步骤、模板、模型,比如品牌战略工具、内容营销体系规划、用户画像5步法、ToB-O6A品牌关系资产模型、内容创作模板、ToB私域营销模型等,其中很多都是整个ToB行业的经验总结,非常有价值,能确保读者看了就能懂,懂了就会用。此外,书中分析了大量来自华为、神策、创蓝云智、明源云等企业的案例。每一章结尾都有思考和练习题,既能帮助读者检验阅读和学习的成果,又能帮助读者检阅自身企业的现状,边阅读、边思考、边事件,学以致用。
-
软件工程中的求精技术Ana Cavalcanti 著This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004).The 7 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering such as concurrency, probability, real time, model checking, and object orientation. Apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.
-
软件重用Cristina Gacek 著The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science research forum available.The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.—proceedings (published in time for the respective conference)—post-proceedings (consisting of thoroughly revised final full papers)—research monographs(which may be based on outstanding PhD work,research projects,technical reports,etc.).
-
软件生产线Gary J. Chastek 著This book constitutes the refereed proceedings of the Second Software Product Line Conference SPLC2, held in San Diego, Ca, USA in August 2002.The 24 revised full papers presented were carefully reviewed and selected for inclusion in the book. Among the topics addressed are the introduction of product lines and the dynamics of organizations attempting to introduce product lines; it is evaluated how to choose, which products to produce, and how to model the features of those products.