Glossary
======================

.. 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 :ref:`reference-part-label` entities in a req specification, representing a structured decomposition of the :term:`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