From d478cfbff7aa99f4b7ebe7b85f74de261af8ebd5 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <gerwitzm@lovullo.com>
Date: Thu, 22 Aug 2013 11:13:12 -0400
Subject: [PATCH] Added definition details to lvspec.tex

---
 dfn/spec.tex |  1 +
 lvspec.tex   | 33 +++++++++++++++++++++++++++++++++
 2 files changed, 34 insertions(+)

diff --git a/dfn/spec.tex b/dfn/spec.tex
index 222f2bc..4b81ad4 100644
--- a/dfn/spec.tex
+++ b/dfn/spec.tex
@@ -3,6 +3,7 @@
 % Intended to be included within its own section.
 
 \begindeptgroup{pm}
+\label{s:specdfn}
 
 Portions of this section conform to \rfc{2119}: ``Key words for use in RFCs to
 Indicate Requirement Levels''. Certain terms from the RFC have been expressly
diff --git a/lvspec.tex b/lvspec.tex
index 73cbcd6..04351cb 100644
--- a/lvspec.tex
+++ b/lvspec.tex
@@ -334,6 +334,39 @@ command \verb|\incompletei|, which also includes the name of the department.
 \end{ex}
 
 
+\section{Definitions}
+The formal language of the specification is important to resolve any
+ambiguities; part of such a resolution involves the formal and unambiguous
+definition of terms.
+
+By default, \cmd{lvspec} will \emph{always} include specification definitions
+(see~\sref{specdfn}).
+
+When the~\cmd{draft} option is provided, a~section describing authorization
+parties will also be added, which is linked to by the department in each
+signature line.
+
+Additionally, the following options may be provided via~\verb|\documentclass|:
+
+\begin{description}
+  \item[\cmd{devterms}]
+  Comprehensive developer terminology that covers specifications that deal with
+  software and/or~hardware details.
+
+  \item[\cmd{insuranceterms}]
+  General insurance terminology to be used in any specification that describes
+  an insurance-related implementation. Additional content can be added
+  immediately after the terms (e.g. to add a sub-section) by using the command
+  \verb|\insuranceterminology|, which is only available if
+  the~\cmd{insuranceterms} option is used.
+\end{description}
+
+Additional sections can be added before\footnote{Ensures that section numbers do
+not change by disabling \cmd{draft} mode.} the authorization party sub-section
+(or, if the~\cmd{draft} option is not provided, then at the end of the
+definitions section) by using the \verb|\terminology| command.
+
+
 \section{Miscellaneous}
 % text has been carefully added to this line; margin, font, etc changes will
 % ruin it!