Glossary

MBSE

Model Based Systems Engineering, set of systems engineering methodology promoting the use of abstract representations “models” to describe the expectation and behavior of a system

EARS

Easy Approach to Requirements Syntax, one of the most popular requirements boilerplates set

IDE

Integrated Development Environment, software providing general utilities for developers

ontology

The hierarchical structure of Part entities in a req specification, representing a structured decomposition of the SOI and its environment into named concepts and their attributes.

SOI

System Of Interest, system to be designed, developed and deployed, can be interfaced with other systems and is subject to an environment

LTL

Linear Temporal Logic, logic useful to define properties on the timing of a sequence of boolean values https://en.wikipedia.org/wiki/Linear_temporal_logic

FOL

First Order Logic, logic introducing existential and universal quantifiers, widely used in maths https://en.wikipedia.org/wiki/First-order_logic

ReqIF

Requirements Interchange Format, an OMG standard for exchanging requirements data between tools such as DOORS, Polarion, and Jama https://www.omg.org/spec/ReqIF