By search term

By author

Articles

Showing 20 articles tagged with Modeling, ReqIF or Verification

  • Methods
A Finite State Machine Model for Requirements Engineering
How can the standard UML FSM be improved to better serve the requirements engineer?
  • Methods
  • Practice
A key technique
Delegation of requirement verification. A key technique for more mature requirements management.
  • Methods
Advance
Verification and Validation of System Requirements by Animation and Automated Formal Analysis.
  • Methods
  • Skills
Classical requirements and test analysis a discontinued model?
Endeavours to improve the situation are finally rewarded
  • Methods
  • Skills
Data Science – the expanding frontier for Business Analysts
Evaluating Business Analysts‘ role in the Data Driven Economy
  • Methods
Discovering System Requirements through SysML
An application of the IREB Handbook of Requirements Modeling
  • Methods
  • Cross-discipline
How Will It Work?
The Future How Viewpoint.
  • Methods
  • Practice
Inputs to requirements engineering in agile projects
How applying Lean Startup, Design Thinking, and others, impact the task of modeling requirements
  • Methods
  • Practice
Modeling Requirements and Context as a means for Automated Requirements Validation
An Example from the Automation Industry
  • Methods
  • Practice
Modeling Requirements with Constraints
Smart use of constraints leads to cleaner requirements that are easy to test
  • Methods
Modeling Requirements with SysML
How modeling can be useful to better define and trace requirements
  • Methods
Rigorous Verification
A new approach for requirements validation and rigorous verification.
  • Methods
  • Practice
Splitting Requirements at Scale
Strategies for building manageable requirements hierarchies in complex problem domains
  • Methods
The Recover Approach
Reverse Modeling and Up-To-Date Evolution of Functional Requirements in Alignment with Tests
  • Opinions
  • Cross-discipline
A General Systems Thinking Perspective on the CPRE
This system is your system. This system is my system.
  • Practice
  • Methods
Learning from history: The case of Software Requirements Engineering
‘A large elephant is in the room but we are not able or brave or willing enough to point at it’
  • Practice
  • Cross-discipline
Mission Possible
Concept for the successful handling of integral NFRs in Scaled Agile Environments.
  • Practice
Open Up
How the ReqIF Standard for Requirements Exchange Disrupts the Tool Market.
  • Practice
  • Methods
The Potential of User Tests for Requirements Engineering
It seems evident to test designs or prototypes of software with end-users. But what about requirements?
Title Topic Author Date Reading time

A Finite State Machine Model for Requirements Engineering

Methods
18 minutes

A key technique

Methods Practice
9 minutes

Advance

Methods
24 minutes

Classical requirements and test analysis a discontinued model?

Methods Skills
22 minutes

Data Science – the expanding frontier for Business Analysts

Methods Skills
18 minutes

Discovering System Requirements through SysML

Methods
9 minutes

How Will It Work?

Methods Cross-discipline
6 minutes

Inputs to requirements engineering in agile projects

Methods Practice
19 minutes

Modeling Requirements and Context as a means for Automated Requirements Validation

Methods Practice
27 minutes

Modeling Requirements with Constraints

Methods Practice
13 minutes

Modeling Requirements with SysML

Methods
13 minutes

Rigorous Verification

Methods
16 minutes

Splitting Requirements at Scale

Methods Practice
21 minutes

The Recover Approach

Methods
18 minutes

A General Systems Thinking Perspective on the CPRE

Opinions Cross-discipline
17 minutes

Interview with John Mylopoulos

Opinions
4 minutes

Learning from history: The case of Software Requirements Engineering

Practice Methods
58 minutes

Mission Possible

Practice Cross-discipline
11 minutes

Open Up

Practice
21 minutes

The Potential of User Tests for Requirements Engineering

Practice Methods
11 minutes