University of Toronto University of Toronto Department of Computer Science Department of Computer Science Today s Menu CSC2106S Requirements Engineering This This Week Week Aims Aims of of the the course course Syllabus Syllabus Readings Readings Definitions Definitions Prof Steve Easterbrook sme cs toronto edu http www cs toronto edu sme CSC2106S Next Next Week Week Basics Basics of of RE RE Approaches Approaches to to RE RE Nature Nature of of Requirements Requirements Role of modeling Role of modeling 2000 2003 Steve Easterbrook 2 University of Toronto 2000 2003 Steve Easterbrook University of Toronto Department of Computer Science Course Objectives Understand the essential nature of RE Assessments 40 40 10 10 Gain a basic grounding for research in RE Methodological issues for RE research Current research issues direction of the field Awareness of the literature 2000 2003 Steve Easterbrook Weekly readings 1 or 2 papers per week plus various background reading Breadth of skills needed for RE and the many disciplines on which it draws Contextual factors practicalities 1 x 3 hour seminar per week 13 weeks Discussion of weekly reading material Student presentations No more than 1 hour of lecture material from me Role of RE in software and systems engineering Current techniques notations methods processes and tools used in RE Gain practical experience in selected RE techniques Department of Computer Science Teaching and Assessment Examine the state of the art for research practice in Requirements Engineering 3 4 literature survey on a topic of your choice practical project applying 1 or more RE techniques oral presentation on one or other of the above class discussion lead a discussion on weekly reading 2000 2003 Steve Easterbrook 5 1 University of Toronto University of Toronto Department of Computer Science Syllabus I Introductory Stuff Introductory stuff Foundations inter disciplinary aspects of RE Basic RE activities Eliciting Requirements Modelling and Analysing Requirements Communicating Requirements Agreeing Requirements Evolving Requirements RE in the engineering life cycle Dimensions of RE essential RE process What is RE Why is it important What is a requirement Importance of requirements The role of a specification Application Domains Processes Methods and Techniques RE groundwork Information systems vs embedded systems feasibility risk concept of operations human centred development Integrated Requirements Engineering Selecting RE methods RE tools not necessarily in this order 2000 2003 Steve Easterbrook 6 University of Toronto 2000 2003 Steve Easterbrook University of Toronto Department of Computer Science II Foundations Systems Theory What is a system Control and evolution of systems Systems Engineering Maths Logic Computer Science Automata Theory Abstraction Decomposition and Object Orientation Software Architecture Design Patterns 2000 2003 Steve Easterbrook Anthropology Ethnomethodology Organisational Behaviour Social psychology Political Science Department of Computer Science Things to elicit Cognitive Sciences Cognitive psychology Linguistics Knowledge Representation AI 7 III Eliciting Requirements Social Sciences Engineering lifecycles First order logic Modal temporal deontic and paraconsistent logics Algebraic and relational models Department of Computer Science Elicitation techniques Philosophy Empiricism and the philosophy of science Phenomenology epistemology ontology Semiotics and LitCrit System boundaries Stakeholders User Classes Viewpoints Goals and tasks Scenarios Use cases Interviews questionnaires surveys meetings Prototyping Ethnographic techniques Knowledge elicitation techniques Conversation Analysis Text Analysis The elicitation process Inquiry cycle Use case analysis 8 2000 2003 Steve Easterbrook 9 2 University of Toronto University of Toronto Department of Computer Science IV Modelling Analysing Requirements Enterprise Modelling Analysis Business rules and organisational structures Goals tasks and responsibilities Soft Systems analysis Data Modeling Entity Relationship Models Behavioural Modelling Analysis Domain Modelling Analysis Taxonomies of NFRs Performance modelling and analysis Usability modelling and analysis Safety security and reliability modelling and analysis Tools Traceability Requirements Documentation Tools 2000 2003 Steve Easterbrook University of Toronto Department of Computer Science VI Agreeing Requirements Validating Customer Requirements Requirements reviews Formal inspections and walkthroughs Conducting a review Prototyping Prioritising Requirements Package selection Contextual issues Negotiation and Validation Tools Impact analysis Baselines and change requests Configuration management and version control Requirements and software maintenance Managing Inconsistency On the inevitable intertwining of inconsistency and change Learning from inconsistency Feature interaction Living with inconsistency Product Families Reuse of requirements The role of COTS The role of software architectures Incremental Development Processes Quality Function Deployment QFD 2000 2003 Steve Easterbrook Department of Computer Science Managing Change Contractual issues Political and organisational issues Procurement and funding issues 11 VII Evolving Requirements The role of Commercial Off TheShelf COTS components Feature matching Negotiation and Conflict Computer supported negotiation Win Win Ontological approaches Pre and post requirements traceability Traceability matrices The role of hypermedia and electronic documents Design Rationale DOORS RTM Requisite Pro etc 10 University of Toronto Documentation Standards Validation and verification Consistency checking Animation Automated reasoning 2000 2003 Steve Easterbrook Documenting the requirements Specification languages Making requirements measurable Contractual issues The role of standards in requirements engineering Example standards IEEE DoD ESA ISO CASE and meta CASE Formal Analysis Tools Domain engineering and reuse Domain specific models Specifications Analysing Requirements Models Structured Analysis Objected oriented Analysis Formal Methods V Communicating the Requirements Modelling Non functional Requirements NFRs Department of Computer Science 12 Requirements Management Tools 2000 2003 Steve Easterbrook 13 3 University of Toronto University of Toronto Department of Computer Science VIII Integrated RE Processes Method Engineering Need for multiple Methods Method Design and Meta modelling