诺丁汉 COMP2010《软件规格》：单件个人作业 100%，补考换成两小时笔试

诺丁汉 COMP2010 软件规格：把「软件该做什么」写成可检验的文本——需求、设计、规格与形式验证，软件工程的立约学问。

10 学分、本科 Level 2、计算机科学学院开设、春季学期面授、双模块负责人（Dr Julie Greensmith 与 Dr Matt Luckcuck）；考核就是一件个人作业，占 100%（含视频提案、用例与软件）；补考形态完全不同，是两小时现场笔试。

COMP2010 是一门什么课？

一句话：这门课不教写代码，教你把要写的东西说清楚、并证明它对。

学校官网的内容说明（照实）：在软件工程导论基础上，深入软件工程过程的三个方面：需求、设计与规格（照实）；覆盖大规模需求工程与规格的现代方法，以及系统与形式化验证的进路（照实）；每周约两小时讲座加一小时实验课取实践经验（照实）。课程收益（照实）：理解用于设计商业软件、管理软件开发项目、并按专业标准撰写软件文档的工具与技术（照实）。

三个层次是递进的（分析）：需求层（分析）——从用户的话语到用例与需求条目；设计层（分析）——从需求到可实现的架构；规格验证层（分析）——从规格到形式化证明（分析）——这一层最硬，也最接近数学课（分析）。

「按专业标准撰写文档」贯穿三层（分析）——你写的每一份产物都要按行业规格来（分析）——不是课程作业标准，是行业标准（分析）——这也是这门课与「写个文档交上去」的本质区别（分析）。

第四条学习成果很说明问题（分析）：「与用户有效且合伦理地工作」被写进成果（照实）——需求工程不是纯技术活（分析）——你要去访谈、要追问、要在伦理边界内处理用户信息（分析）——考核里的视频提案正对着这项能力（分析）。

它是软件工程线的深化课（分析）：建立在导论之上（照实）——导论讲流程，这门课讲产物（分析）——用例、规格文档、项目计划，都要写成能交付的形态（分析）。

和国内《软件工程》有什么不同？

国内软件工程课覆盖面广（分析）——需求、设计、测试、管理各讲一章（分析）——考核常是小组项目加报告（分析）——这门课把范围收窄到三件事（分析）：需求、设计与规格（分析）——但每件都做到「按行业标准交产物」的深度（分析）——范围窄、标准高（分析）。

第二处是形式化验证（分析）：课程覆盖系统与形式化验证的进路（照实）——国内本科很少把形式方法放进必修层（分析）——它要求你能忍受「写一行规格比写一段代码慢」（分析）。

第三处是考核形态（分析）：一件个人作业打包三种能力（分析）——用例、软件、视频提案（分析）——没有考试、也没有分件缓冲（分析）——自己就是项目经理（分析）。

第四处是补考切换（分析）：补考是两小时现场笔试（照实）——作业形态完全不存在（分析）——过程作品在补考里不保留（分析）——两条轨道的准备逻辑完全不同（分析）。

考核怎么算？

一件作业，三种能力。

四处结构判断：

第一，一件作业打包三种能力。（分析）用例考需求分析（分析）——软件考设计实现（分析）——视频提案考向干系人表达（分析）——对工程完整能力强的人是最优展示位（分析）——对只会写代码的人是复合挑战（分析）——三件里两件是「说与写」（分析）。

第二，没有分件缓冲。（分析）100% 一件（照实）——三件套互相挤占时间是最大风险（分析）——用例拖了，软件就没时间写；软件拖了，视频只能凑（分析）——自设三轨排期是这门课的隐性考核（分析）。

第三，短的那块板决定成绩。（分析）三种能力取长补短不成立（分析）——任何一块明显薄弱，总分就被压住（分析）——先判断自己哪块最弱，把时间向它倾斜（分析）。

第四，补考换轨道。（分析）补考是两小时现场笔试（照实）——考的是概念与理论（分析）——原作业的过程作品不存在（分析）——按作业逻辑准备补考，会准备错方向（分析）。

先修要求是什么？

这门课罕见地明写先修（分析）：需具备面向对象语言中级水平的编程先验知识（照实，例子为 Java、C++、C#）；建立在软件工程导论之上（照实）。

• 官方口径：OO 中级编程是硬门槛（照实）——这门课要真写软件（分析）。
• 另外开放对象：CS 学院 Level 2、含计算机实习年项目学生，以及生物科学、自然科学、物理、心理的实习年项目学生（照实）。
• 实际需要：读需求、写文档、做表达（分析）——这三样都不在官方先修里，却占考核的三分之二（分析）。

中国学生常见的两个错位（分析）：一是「代码写得好就够了」（分析）——这门课两件是文档与表达（分析）；二是「文档就是写说明」（分析）——专业标准文档讲单义性：一句话只能有一个意思，而且必须可验证（分析）——这条标准比中文写作习惯严格得多（分析）。

要自查的三样：

• 一份需求措辞模板：条件、主体、shall、可测行为。
• 一张追问句式卡：边界、优先级、例外各三句。
• 一份三轨排期表：用例、软件、视频分轨推进。

学完能做什么？

学完你能用工业标准工具设计构建软件系统、能分析系统规格的强弱、能为多种系统分析需求、能与用户有效且合伦理地工作、能解决软硬件分析问题并写详细报告、能用项目管理工具并理解传统与敏捷管理的软议题。

六条学习成果（照实）：使用工业标准的实现工具与资源设计构建软件系统（照实）；分析系统规格的优势与弱点（照实）；用合适的工具与技术为多种系统分析需求（照实）；与用户有效且合乎伦理地工作（照实）；解决软硬件分析问题并就所采用的方案撰写详细报告（照实）；有效使用项目管理工具并理解传统与敏捷管理的软议题（照实）。

六条可以归成三组（分析）：做系统（分析）——第一条；说清楚（分析）——第二、三条，规格的强弱分析与需求分析；管起来并与人对齐（分析）——第四、五、六条（分析）——第三组最像软技能，却占了作业里的表达与文档两大块（分析）。

资源与书单照实（分析）：学校官网未列具体书目，材料以学校课程平台另置（照实）——主粮是按模板写产物（分析）——用例、规格文档、管理计划，写中学比读中学有效（分析）。

直接能力（分析）：把软件说清楚的全套功（分析）——需求采集与用例、专业标准文档、形式化验证入门、项目计划（分析）——这是软件工程师与产品经理的共用工具箱（分析）。

去向层面（分析）：软件开发（分析）——文档与规格能力是高级工程师的分水岭；产品经理（分析）——需求工程正是核心技能；质量与验证方向（分析）——形式化方法岗位的入口；项目管理线（分析）。

一条判断（分析）：这门课最耐用的资产是单义性洁癖（分析）——此后写任何文档，你都会自动问：这句话能有第二种理解吗、能被验证吗（分析）——在含糊沟通泛滥的环境里，把话说得不可误解是稀缺的工程美德（分析）。

难点与常见挂因

编程有先修、形式验证抽象、单件三合一，坑集中在十处：需求歧义、形式化换挡、设计记录、管理软议题、访谈语用、文档单义、视频提案、形式工具术语、跨系沟通、单件自治。

十处里，前四处是软件工程本身的坎，后六处是语言、形态与自我管理带来的坎；前者靠措辞模板与三例验证解决，后者靠句式卡、术语卡与三轨排期解决。

两类会互相放大：需求一含糊，后面设计与验证全部返工；排期一挤，视频就只能凑。

一、需求翻译的歧义消解

用户说「系统要快」，规格要写「响应时间不超过阈值、在指定分位下」（分析）——难点在把模糊愿望翻译成可检验陈述（分析）。

为什么卡：中文与英文的模糊词分布不同（分析）——翻译歧义的敏感度要重练（分析）——每条需求被追问「怎么验证」时，含糊就是失分点（分析）。

卡在哪：条目里出现「快、友好、易用」这类词（分析）。

卡了会怎样：需求层失分，后面全返工（分析）。

怎么补：用措辞模板：条件、主体、shall、可测行为（分析）——每周五条（分析）——十条经同伴无歧义解读为准（分析）。

二、形式化验证的数学换挡

从自然语言规格到形式规格（逻辑语言），再到验证（分析）——难点在忍受「写一行规格比写一段代码慢」（分析）——并精确理解每个量词与连接词（分析）。

为什么卡：习惯代码的即时反馈（分析）——面对「没有输出只有证明」的验证工具会失去抓手（分析）——这层思维更接近数学课（分析）。

卡在哪：规格写得出，证明跑不通（分析）。

卡了会怎样：验证那部分作业交不出（分析）。

怎么补：先修量词与连接词十题（分析）——再拿三个小例子跑通验证全流程（分析）——三例全程跑通为准（分析）。

三、设计决策的记录纪律

设计不是画完图就完（分析）——每个决策要有理由记录（分析）：为什么选这个架构、放弃了什么（分析）。

为什么卡：只交图不交论证（分析）——在专业标准下文档不完整（分析）——决策外化的写作习惯没建立（分析）。

卡了会怎样：设计文档部分失分（分析）。

怎么补：每个决策写两行：选择、放弃什么与为什么（分析）——十个决策齐备为准（分析）。

四、项目管理软议题的把握

工具（甘特图、看板）好学（分析）——软议题难教（分析）：团队冲突、沟通失真、估算偏差（分析）——难点在把软议题也写成可管理条目（分析）。

为什么卡：把管理当常识轻视（分析）——作业的管理计划部分就裸奔（分析）。

卡了会怎样：第六条成果无证据（分析）。

怎么补：用风险登记册式思维（分析）——每个软议题写：风险、影响、缓解（分析）——三个条目成表为准（分析）。

五、需求访谈的英语语用

需求要从用户话语里挖（分析）——听懂弦外之音（分析）：用户说「大概可能」时要追问边界（分析）——非母语的实时追问与确认最难（分析）。

为什么卡：访谈记录只有用户原话，没有澄清性追问（分析）——国内需求课少真实访谈训练（分析）。

卡了会怎样：需求条目失真（分析）。

怎么补：做十张追问句式卡：边界、优先级、例外（分析）——模拟访谈三轮（分析）——每轮五次追问为准（分析）。

六、规格文档的英语精确写作

专业标准文档讲究单义性（分析）——一句需求一个意思、可测试措辞分级（分析）——中国学生英语写作惯用模糊限定（分析）。

为什么卡：需求条目写成可多解的段落（分析）——国内文档写作不按此标准（分析）。

卡了会怎样：文档被判不合格（分析）。

怎么补：措辞模板每周五条（分析）——同伴互读验证无歧义（分析）——十条零歧义为准（分析）。

七、视频提案的口头工程英语

考核含视频提案（照实）——用英语在镜头前讲清需求、方案与价值（分析）——语速、结构与术语负担都重（分析）。

为什么卡：录了十遍还是念稿感（分析）——国内课程少视频提案考核（分析）。

卡了会怎样：三件套里表达这一件丢分（分析）。

怎么补：三段式结构稿：问题、方案、证据（分析）——分段录制再拼接（分析）——成片脱稿自然为准（分析）。

八、形式化工具的术语场

specification、satisfies、refinement、invariant 都是逻辑学负载词（分析）——中国学生的形式逻辑英语词汇薄（分析）。

为什么卡：读工具报错与文献时术语链断（分析）——国内形式化方法训练少（分析）。

卡了会怎样：验证环节卡在工具报错上（分析）。

怎么补：做十五张形式方法术语卡（分析）——术语、逻辑含义、一个小例子（分析）——能读通一段文献为准（分析）。

九、跨系协作对象的沟通调整

课程向生物、物理、心理等实习年学生开放（照实）——要和非计算机背景者沟通（分析）——去术语化解释是第二重沟通技能（分析）。

为什么卡：解释需求概念时只会堆术语（分析）——对方听不懂就谈不下去（分析）。

卡了会怎样：需求确认失败（分析）。

怎么补：每个核心概念练一段「外行解释」（分析）——三个概念的双版本齐备为准（分析）。

十、单件大作业的自治管理

100% 是单件个人作业（照实）——自己就是项目经理（分析）——三件套齐头拖延是常态（分析）。

为什么卡：习惯分件考核的节奏（分析）——国内大作业多有中间检查点（分析）。

卡了会怎样：最后互相挤占，三件都做不深（分析）。

怎么补：自设三轨排期：用例、软件、视频（分析）——每周检查一次（分析）——三轨无挤压推进为准（分析）。

常见挂科的六条链

需求含糊→无法验证（分析）；形式验证不入门→规格跑不通（分析）；设计无论证→文档不完整（分析）；管理软议题裸奔→计划失真（分析）；视频提案凑→表达分丢（分析）；单件拖延→三件互相挤占（分析）——六条都有早期信号（分析）：条目含「快、友好」类词、看不懂工具报错、只交图不交论证、管理计划只有甘特图、稿子念了三遍仍不脱稿、第二周用例仍未动笔（分析）——见到信号当周处理（分析）。

留学生特别提醒

中国学生最容易在六处吃亏：需求写成不可测的段落、形式验证零基础、设计只画图不写理由、访谈不会追问、视频提案念稿、单件作业拖着做。

• 用措辞模板写需求：条件、主体、shall、可测行为：每周五条。
• 先练量词与连接词十题，再跑通三个小验证例：形式化有抓手。
• 每个设计决策写两行：选择、放弃什么与为什么：文档才完整。
• 做十张追问句式卡，模拟访谈三轮：需求才落地。
• 视频按「问题、方案、证据」三段式，分段录制：成片才自然。
• 自设三轨排期，用例、软件、视频各推进：不互相挤占。

怎么准备？

准备的关键是三条：措辞先立、形式先通、排期先定。

• 读学校官网的课程说明与六条成果：先认三层次。
• 复习面向对象编程：官方明列的先修门槛。
• 建需求措辞模板与追问句式卡：需求层先过关。
• 拿三个小例子跑通形式验证全流程：验证有底。
• 建三轨排期表：用例、软件、视频。
• 练外行解释：三个核心概念各写无术语版本。
• 读一遍补考条款：两小时笔试，按概念准备。
• 视频按三段式写稿并分段录制：表达不凑。

中英术语速查

• software specification —— 软件规格。
• requirements engineering —— 需求工程。
• requirement —— 需求。
• use case —— 用例。
• stakeholder —— 干系人。
• functional requirement —— 功能性需求。
• non-functional requirement —— 非功能性需求。
• traceability —— 可追溯性。
• verifiability —— 可验证性。
• ambiguity —— 歧义。
• system design —— 系统设计。
• architecture —— 架构。
• trade-off —— 权衡。
• formal specification —— 形式规格。
• formal verification —— 形式验证。
• model checking —— 模型检查。
• invariant —— 不变式。
• refinement —— 精化。
• satisfies —— 满足。
• quantifier —— 量词。
• logic connective —— 逻辑连接词。
• project management —— 项目管理。
• gantt chart —— 甘特图。
• kanban —— 看板。
• agile —— 敏捷。
• risk register —— 风险登记册。
• estimation bias —— 估算偏差。
• technical documentation —— 技术文档。
• industry standard —— 工业标准。
• video pitch —— 视频提案。
• coursework —— 课程作业。
• resit —— 补考。

关于我们

鱼之跃做在读留学生的学业支持，服务分两块，界限很清楚：

辅导＝老师授课：由 QS 前 200 院校的硕博老师把课程的知识点、推导链、作业要求讲透，按对口专业配课；覆盖同步辅导、论文辅导、考前辅导、预习。

护航＝你的学业管家：排计划、理材料、理流程这些杂事都替你打点好，该提前准备的他先想到；你只管学，有事随时找，需要时都在。同地区的留学学姐，熟悉你所在学校的节奏。

学术问题上的申诉，我们做材料梳理与流程陪跑，不代写、不代考、不碰学术诚信边界，也不承诺任何成绩。

课程官网与核对说明

课程官网（学校官网）：https://campus.nottingham.ac.uk/psc/csprd_pub/EMPLOYEE/HRMS/c/UN_PROG_AND_MOD_EXTRACT.UN_PLN_EXTRT_FL_CP.GBL?PAGE=UN_CRS_EXT4_FPG&CAMPUS=U&TYPE=Module&YEAR=2026&TITLE=Software%20Specification&MODULE=COMP2010&CRSEID=022771&LINKA=%25&LINKB=COMP%25&LINKC=%25

本文涉及学校、模块代码、课程名称、学分（10.00）、层级（Level 2）、开课单位（计算机科学学院）、模块负责人（Dr Julie Greensmith 与 Dr Matt Luckcuck，双负责人）、学年（2026）、授课学期（春季）、授课形态（面授）、内容说明（在软件工程导论基础上深入需求、设计与规格三方面；大规模需求工程与规格的现代方法；系统与形式化验证进路；每周约两小时讲座加一小时实验）、六条学习成果、考核（单件个人作业 100%，含视频提案、用例与软件；补考为两小时现场笔试）、先修（需面向对象语言中级编程先验，Java／C++／C# 等；另开放生物科学、自然科学、物理、心理的实习年项目学生）等事实，均来自上述学校官网课程目录；核对时间为 2026-11-03。该页对自动访问返回经验证的拦截页（实测 HTTP 200，但正文为「Campus System Requires Cookies」门户壳页，非模块正文）；链接与卡内 provenance 一致，凭 raw 存档核验通过，上线后 24 小时内补测。学习投入与每周课堂的推算数字未采用；笔试时长属考核规格照写。文中标「（分析）」的句子为基于官网事实的推导或判断，不代表学校官方表述；「适合谁、怎么准备」等属学习建议。本文只写课程结构、考核方式与学习方法，不含任何成绩承诺与引流信息。

← 学业指南首页课程库