U.S. flag   An unofficial archive of your favorite United States government website
This is an archive
(replace .gov by .rip)
A  |  B  |  C  |  D  |  E  |  F  |  G  |  H  |  I  |  J  |  K  |  L  |  M  |  N  |  O  |  P  |  Q  |  R  |  S  |  T  |  U  |  V  |  W  |  X  |  Y  |  Z

formal method

Definition(s):

  Software engineering method used to specify, develop, and verify the software through application of a rigorous mathematically based notation and language.
Source(s):
CNSSI 4009-2015 from Guide to the Software Engineering Body of Knowledge