TAILIEUCHUNG - Lecture Software requirements engineering - Lecture­ 31: Methods for requirements engineering

After this chapter the student should have acquired the following knowledge and skills: State activities: entry, do, and exit activities; composite states and nested states; concurrency; OCL syntax; OCL constraints and contracts. | Methods for Requirements Engineering Lecture-31 Recap No ideal requirements method System models can be considerably enriched by combining different techniques Data-flow model is based on the notion that systems can be modelled as a set of interacting functions The object-oriented approach is based on the notion that systems can be modelled as a set of interacting objects Formal methods are based on mathematical principles and are intended to achieve a high degree of confidence that a system will conform to its specifications Library Management System Using Structured Method 3 Library Management System using Object Oriented Method 4 Library Management System using Formal Method 5 Today’s lecture 6 Formal methods for requirement engineering Why we need formal methods? Current methods of software development involves only combination of diagrams, text, tables etc. No methods are used to test the correctness of the end result in each of stages of software development for . requirement

• Kỹ thuật lập trình
• Requirement engineering
• Requirement engineering process
• Software requirements engineering
• Lecture Software requirements engineering
• Software engineering
• Requirements engineering
• Lecture Requirement engineering
• Software requirement
• Requirement specification
• System requirement specification
• External interface requirement
• Requirement analysis
• Data flow diagram
• Use case modelling
• Requirement validation
• Requirements verification
• Requirement management
• Risks in requirements engineering
• Risks management
• Software life cycle process
• Types of requirements
• Structured design
• Product vision
• Project scope
• Problem analysis
• Business requirement
• Software elicitation
• Requirements elicitation
• Requirements elicitation techniques