Sentence examples for formally grounded from inspiring English sources

Following last month's fatal crash near Paris, Britain and France formally grounded the Concorde after investigators determined that a problem with its tires made the world's only commercial supersonic airliner unsafe.

Model based safety analysis is a formally grounded approach to compute reliable safety properties from system models.

Being formally grounded in deontic logic and informally inspired by social role theory, RNS2 shows several useful features which together make it unique and distinct from related approaches.

For BCS modelling we encourage the use of graphical languages, where prime examples that are also formally grounded include the statecharts [78, 79] and the live sequence charts [80], which were intended for describing concurrent and reactive systems.

In this paper, we introduce IRM-SA (Invariant Refinement Method for Self-Adaptation)—a design method and associated formally grounded model targeting siCPS that addresses self-adaptivity and supports dependability by providing traceability between system requirements, distinct situations in the environment, and predefined configurations of system architecture.

It was angular yet bluesy, formally adventurous but grounded in hooks.

Models in computer science should be understood in a general and inclusive manner, as any formally or mathematically grounded models useful in some way for building IT systems.

Further, an assessment of local impact probability can be formally validated through experiments or be grounded on commonsense.

Data were formally analysed using an inductive approach aligned to grounded theory.

The survey questionnaire was not formally tested for validity and reliability, although it was grounded on relevant literature and underwent pilot testing to enhance its utility.

An important part of the training required participants to complete between-session "assignments," or implementation plans, grounded in specific problems from participants' work environments and formally presented at course completion.