Index
A, B
ARP4754A
assertion
assumption
semantic
behavior
actual
expected
observable
really possible
the
theoritical model
belief
C
concept
designation
meaning
configuration management
contract theorem
D
design
choice
error
model
a goal
of means
process
reasoning
reliability design model (RDM)
solution
verification
development
error
E
EASA
Certification Review Item
ED12C/DO-178C
ED79A/ARP4754A
EIA
EIA
engineering
MBSE
process
systems
error
F
FAA
issue paper
fact
statement
failure
tree
faulty
faulty state
function
according to ARP4754A
analysis
Behavior-Structure
G, I
genders
species and types
general system theory (GST)
IEEE
IEEE 1220
implementation
verification
installation
integration
ISO
ISO15288
K, L
knowledge
applied science
body of
conceptual
falsifiable
intersubjective
objective
procedural
scientific
subjective
system
technological
truth
unverifiable
language
expressiveness
SA-RT
SYSML
VHDL
law
as property
statement
M, N, O
mode
commutation
model
object
representativeness
symbolic
theoretical
no-function-in-structure
object
abstract
denotation
ontology
P
PBR
assumption
comparaison
conjonction
objectivization
obligation or prohibition
type
predicate
process
production
property
accidental
actualisation
class
concomitance
conjonction
disposition
emergent
essential
formal
generic
intrinsic
material
precedence
quantitative
specific
structural
proposition
meaning
meaningful
meaningless
nomological
scientific
truth
comparaison
requirement
derivation and assignation
derivation ...