You are here: Home Teaching Summer Term 2012 Seminar / Proseminar (Advanced) …

Seminar / Proseminar (Advanced) Topics in Requirements Engineering

Ziel der Veranstaltung ist, 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. Dieses umfasst alle Aufgaben, die dazu dienen, die Ziele, Bedürfnisse und Voraussetzungen für die Entwicklung eines Softwareprodukts zu bestimmen (vgl. auch "Requirements Engineering").
Course type Seminar / Proseminar
Instructors Daniel Dietsch, Sergio Feo-Arenis
Kick-Off Wednesday, 25.04.2012, 14:00-15:00, Room 52-00-016
Presentation TBA

Presentation language

English / German
Credits 4 ECTS for Seminar
3 ECTS for Proseminar (Bachelor students only)
Course Catalog

Topics in Requirements Engineering (Proseminar)

Advanced Topics in Requirements Engineering (Seminar)

Description

Seminar

We aim to deepen the basis knowledge of requirements engineering by exploring recent research papers. By searching and summarizing publications related to the subject, students are encouraged to interact with state-of-the-art requirements engineering techniques and to get acquainted with actual open research questions.


Proseminar

Ziel der Veranstaltung ist, 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. Dieses umfasst alle Aufgaben, die dazu dienen, die Ziele, Bedürfnisse und Voraussetzungen für die Entwicklung eines Softwareprodukts zu bestimmen (vgl. auch "Requirements Engineering").

 

News

  • 2012-04-25: Updated the requirements for the Advanced Seminar
  • 2012-04-23: Updated the description and topics for the advanced seminar.
  • 2012-04-16: Our website is online.

Formalia

Seminar

Each student should present a 10 page report containing an introduction on the topic selected plus a summary and a review on the state-of-the-art using the papers proposed below. Additionally, one of the papers related to the topic selected should be presented in a 30 minutes talk during our block seminar at the end of the semester.

Proseminar

Each student should present a 4-page summary of the topic selected and give a 30 minutes talk during our block seminar at the end of the semester.

Deadlines

  • 25.05.2012: Abstract
  • 22.06.2012: Paper
  • 06.07.2012: Slides
  • 30.07.2012 - 31.07.2012: Block-Seminar

Topics

Seminar

You can choose one of the following topics:

  • Requirements Elicitation and Analysis
    • [12]     N. Niu and S. Easterbrook, "Extracting and modeling product line functional requirements," in International Requirements Engineering, 2008. RE'08. 16th IEEE, 2008.
    • [20]     D. Jackson and M. Jackson, "Separating concerns in requirements analysis: An example," Rigorous Development of Complex Fault-Tolerant Systems, pp. 210--225, 2006.
    • [31]     E. Boutkova and F. Houdek, "Semi-automatic identification of features in requirement specifications," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
    • [32]     E. Bjarnason, K. Wnuk and B. Regnell, "Requirements are slipping through the gaps—A case study on causes \& effects of communication gaps in large-scale software development," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
  • Requirements Validation
    • [10]     A. Post, J. Hoenicke and A. Podelski, "Vacuous real-time requirements," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
  • Requirements Management
    • [4]     T. Tun, T. Trew, M. Jackson, R. Laney and B. Nuseibeh, "Specifying features of an evolving software system," Software: Practice and Experience, vol. 39, no. 11, pp. 973--1002, 2009.
    • [6]     P. Sampath, S. Arora and S. Ramesh, "Evolving specifications formally," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
    • [7]     R. Rauf, M. Antkiewicz and K. Czarnecki, "Logical structure extraction from software requirements documents," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
    • [24]     O. Gotel and S. Morris, "Out of the labyrinth: Leveraging other disciplines for requirements traceability," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
    • [29]     A. Dekhtyar, O. Dekhtyar, J. Holden, J. Hayes, D. Cuddeback and W. Kong, "On human analyst performance in assisted requirements tracing: Statistical analysis," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
  • Methods for Requirements Engineering
    • [1]     S. Yeganefard and M. Butler, "Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation," 2011.
    • [2]     B. Waldmann, "There's never enough time: Doing requirements under resource constraints, and what requirements engineering can learn from agile development," in RE, 2011.
    • [3]     V. Veerappa and E. Letier, "Understanding clusters of optimal solutions in multi-objective decision problems," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
    • [13]     N. Niu and S. Easterbrook, "Exploiting COTS-based RE methods: an experience report," High Confidence Software Reuse in Large Systems, pp. 212--216, 2008.
    • [14]     A. Mavin and P. Wilkinson, "Big ears (the return of easy approach to requirements engineering)," in Requirements Engineering Conference (RE), 2010 18th IEEE International, 2010.
    • [16]     S. Konrad and M. Gall, "Requirements engineering in the development of large-scale systems," in International Requirements Engineering, 2008. RE'08. 16th IEEE, 2008.
    • [17]     M. Jackson, "What can we expect from program verification?," Computer, vol. 39, no. 10, pp. 65--71, 2006.
    • [22]     M. Hinchey, M. Jackson, P. Cousot, B. Cook, J. Bowen and T. Margaria, "Software engineering and formal methods," Communications of the ACM, vol. 51, no. 9, pp. 54--59, 2008.
  • Non-functional Requirements
    • [5]     R. Svensson, T. Gorschek, B. Regnell, R. Torkar, A. Shahrokni, R. Feldt and A. Aurum, "Prioritization of quality requirements: State of practice in eleven companies," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
  • Related Topics
    • [8]     M. Raatikainen, T. Mannisto, T. Tommila and J. Valkonen, "Challenges of requirements engineering—A case study in nuclear energy domain," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
    • [9]     S. Puhl and R. Fahney, "How to assign cost to “avoidable requirements creep”: A step towards the waterfall's agilization," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
    • [11]     A. Nolan, S. Abrahao, P. Clements and A. Pickard, "Managing requirements uncertainty in engine control systems development," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
    • [15]     J. Lung, J. Aranda, S. Easterbrook and G. Wilson, "On the difficulty of replicating human subjects studies in software engineering," in Software Engineering, 2008. ICSE'08. ACM/IEEE 30th International Conference on, 2008.
    • [18]     M. Jackson, "The Name and Nature of Software Engineering," Advances in Software Engineering, pp. 1--38, 2008.
    • [19]     M. Jackson, "Testing the machine in the world," Hardware and Software, Verification and Testing, pp. 198--203, 2007.
    • [21]     D. Jackson, "A direct path to dependable software," Communications of the ACM, vol. 52, no. 4, pp. 78--88, 2009.
    • [23]     J. Hall, L. Rapanotti and M. Jackson, "Problem oriented software engineering: A design-theoretic framework for software engineering," in Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on, 2007.
    • [25]     C. Fitzgerald, E. Letier and A. Finkelstein, "Early failure prediction in feature request management systems," in Requirements Engineering Conference (RE), 2011 19th IEEE International, 2011.
    • [26]     N. Ernst, S. Easterbrook and J. Mylopoulos, "Code forking in open-source software: a requirements perspective," Arxiv preprint arXiv:1004.2889, 2010.
    • [27]     M. Dwyer, G. Avrunin and J. Corbett, "Patterns in property specifications for finite-state verification," in Software Engineering, 1999. Proceedings of the 1999 International Conference on, 1999.
    • [28]     D. Dietsch, B. Westphal and A. Podelski, "System verification through program verification," FM 2011: Formal Methods, pp. 27--41, 2011.
    • [30]     B. Cheng, P. Sawyer, N. Bencomo and J. Whittle, "A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty," Model Driven Engineering Languages and Systems, pp. 468--483, 2009.


Proseminar

Folgende Themen aus [0] können gewählt werden:

  • Prozesse der Anforderungsanalyse (Kap. 2)
  • Anforderungserhebung und Analyse (Kap. 3)
  • Validierung der Anforderungen (Kap. 4)
  • Anforderungsmanagement (Kap. 5)
  • Methoden zur Anforderungsanalyse (Kap. 6)
  • Nichtfunktionale Anforderungen (Kap. 8)

 

References

[0] Kotonya, G., Sommerville, I. ,,Requirements Engineering: Processes and Techniques". John Wiley & Sons. 1998