描述
研讨会
我们的目标是通过探索最近的研究论文来加深需求工程的基础知识。通过搜索和总结与该主题相关的出版物，鼓励学生与最先进的需求工程技术互动，并熟悉实际的开放研究问题。
普罗塞米纳
Ziel der Veranstaltung is，die Teilnehmer in die wissenschaftliche Arbeitsweise beim Erstellen von Texten und Vorträgen einzuführen。Gleichzeitig soll ein Grundverständnis des Themengebiets“Anforderungsanalyse in der Softwaretechnik”erarbeitet werden公司。所有Aufgaben、dazu dienen、Ziele、Bedürfnisse和Voraussetzungen都是最好的软件产品（vgl.auch“需求工程”）。
新闻
- 2012年4月25日：更新高级研讨会的要求
- 2012年4月23日：更新高级研讨会的说明和主题。
- 2012年4月16日：我们的网站已上线。
福尔马利亚
研讨会
每个学生应提交一份10页的报告，其中包含所选主题的介绍，以及使用以下论文对最新技术的总结和评论。此外，与所选主题相关的其中一篇论文应在学期末的模块研讨会上以30分钟的演讲形式提交。
普罗塞米纳
每个学生应提交一份4页的所选主题摘要，并在学期末的模块研讨会上进行30分钟的演讲。
截止日期
- 2012年5月25日：摘要
- 2012年6月22日：纸张
- 2012年7月6日：幻灯片
- 2012年7月30日-2012年7月31日：区块研讨会
话题
研讨会
您可以选择以下主题之一：
- 需求诱导和分析
- [12] N.Niu和S.Easterbrook，“提取和建模产品线路功能要求”工程，2008年。2008年。第16届IEEE，2008年。
- [20] D.Jackson和M.Jackson，“分离需求中的关注点分析：“复杂容错的严格开发”示例《系统》，第210-225页，2006年。
- [31]E.Boutkova和F.Houdek，“半自动识别需求工程中的“需求规范中的特性”会议（RE），2011年第19届IEEE国际会议，2011年。
- [32]E.Bjarnason、K.Wnuk和B.Regnell，“要求是跨越鸿沟——关于大规模软件开发中的通信缺口”工程会议（RE），2011年第19届IEEE国际，2011年。
- 需求验证
- [10] A.Post、J.Hoenicke和A.Podelski，“虚拟实时需求”，2011年第19届需求工程会议IEEE国际，2011年。
- 需求管理
- [4] T.Tun、T.Trew、M.Jackson、R.Laney和B.Nuseibeh，“指定不断发展的软件系统的功能”，软件：实践和《经验》，第39卷，第11期，第973-1002页，2009年。
- [6] P.Sampath、S.Arora和S.Ramesh，“不断演变的规范在2011年第19届IEEE需求工程会议（RE）上国际，2011年。
- [7] R.Rauf、M.Antkiewicz和K.Czarnecki，“逻辑结构从软件需求文档中提取”工程会议（RE），2011年第19届IEEE国际，2011年。
- [24]O.Gotel和S.Morris，“走出迷宫：利用他人需求工程中的“需求跟踪规程”2011年第19届IEEE国际会议（RE），2011年。
- [29]A.Dekhtyar、O.Dekhtyer、J.Holden、J.Hayes、D.Cuddeback和W.Kong，“关于辅助需求中的人类分析师绩效追踪：统计分析”，需求工程会议（RE），2011年第19届IEEE国际，2011年。
- 需求工程方法
- [1] S.Yeganefard和M.Butler，“结构化功能促进基于精炼的控制系统要求正式化”，2011年。
- [2] B.Waldmann，“时间永远不够：做要求在资源约束下，以及需求工程可以学习什么来自敏捷开发”，RE，2011年。
- [3] V.Veerappa和E.Letier，“理解最优集群多目标决策问题的解决方案”工程会议（RE），2011年第19届IEEE国际，2011年。
- [13] N.Niu和S.Easterbrook，“利用基于COTS的RE方法：经验报告“大型系统中的高可信度软件重用，第212-216页，2008年。
- [14] A.Mavin和P.Wilkinson，“大耳朵（轻松回归需求工程方法），“在需求工程中2010年第18届IEEE国际会议（RE），2010年。
- [16] S.Konrad和M.Gall，“国际要求中的“大型系统开发”工程，2008年。2008年。第16届IEEE，2008年。
- [17] M.Jackson，“我们能从程序验证中得到什么？”，《计算机》，第39卷，第10期，第65-712006页。
- [22]M.Hinchey、M.Jackson、P.Cousot、B.Cook、J.Bowen和T。Margaria，“软件工程和形式化方法”ACM，第51卷，第9期，第54-59页，2008年。
- 非功能性要求
- [5] R.Svensson、T.Gorschek、B.Regnell、R.Torkar、A.Shahrokini、，R.Feldt和A.Aurum，“质量要求的优先级：状态在11家公司的实践，”在需求工程会议上（RE），2011年第19届IEEE国际，2011年。
- 相关主题
- [8] M.Raatikainen、T.Mannisto、T.Tommila和J.Valkonen，“需求工程的挑战——核能领域的案例研究”，需求工程会议（RE），2011年第19届IEEE国际，2011年。
- [9] S.Puhl和R.Fahney，“如何将成本分配给“可避免的需求蠕变”：迈向瀑布式敏捷化的一步”，需求工程会议（RE），2011年第19届IEEE国际，2011年。
- [11] A.Nolan、S.Abrahao、P.Clements和A.Pickard，“发动机控制系统开发中的需求不确定性管理”，需求工程会议（RE），2011年第19届IEEE国际，2011年。
- [15] J.Lung、J.Aranda、S.Easterbrook和G.Wilson，“软件工程中复制人类受试者研究的困难”，《软件工程》，2008年。2008年ICSE。ACM/IEEE第30届国际会议，2008年。
- [18] M.Jackson，“软件工程的名称和性质”，《软件工程进展》，第1-38页，2008年。
- [19] M.Jackson，“在世界上测试机器”，《硬件和软件，验证和测试》，第198-203页，2007年。
- [21]D.Jackson，“可靠软件的直接途径”，《ACM通信》，第52卷，第4期，第78-88页，2009年。
- [23]J.Hall，L.Rapanotti和M.Jackson，“面向问题的软件工程：软件工程的设计理论框架”，载于《软件工程与形式化方法》，2007年。SEFM 2007。2007年第五届IEEE国际会议。
- [25]C.Fitzgerald、E.Letier和A.Finkelstein，“功能请求管理系统中的早期故障预测”，需求工程会议（RE），2011年第19届IEEE国际，2011年。
- [26]N.Ernst、S.Easterbrook和J.Mylopoulos，“开源软件中的代码分叉：需求视角”，Arxiv预印本Arxiv:1004.28892010。
- [27]M.Dwyer、G.Avrunin和J.Corbett，“有限状态验证的属性规范模式”，《软件工程》，1999年。1999年国际会议记录，1999年。
- [28]D.Dietsch、B.Westphal和A.Podelski，“通过程序验证进行系统验证”，FM 2011:形式方法，第27-41页，2011年。
- [30]B.Cheng，P.Sawyer，N.Bencomo和J.Whittle，“开发具有环境不确定性的自适应系统需求的基于目标的建模方法”，模型驱动工程语言和系统，第468-483页，2009年。
普罗塞米纳
Folgende Themen aus[0]können gewählt werden：
- Anforderungsanalyse项目（Kap.2）
- Anforderungserhebung与分析（Kap.3）
- Anforderungen的有效性（Kap.4）
- Anforderungs管理（Kap.5）
- Anforderungsanalyse方法（Kap.6）
- Nichtfunktionale Anforderungen（Kap.8）
工具书类
[0]科托尼亚，G.，索默维尔，I。 、、需求工程：过程和技术“约翰·威利父子公司。1998
