 Mike Gerwitz
|
d57cfeff86
|
Added AOP and cause of loss to ins dfns
|
2014-01-08 13:38:57 -05:00 |
|
Mike Gerwitz
|
635630c9ea
|
Added ceiling notation to definitions
|
2013-10-10 16:09:45 -04:00 |
|
Mike Gerwitz
|
5df58dad94
|
Added Nicole signoff on spec terms
|
2013-09-11 08:54:19 -04:00 |
|
Mike Gerwitz
|
ba34ca18fa
|
Nicole signed off on a number of terms
|
2013-09-09 11:41:34 -04:00 |
|
Mike Gerwitz
|
d5dc7c76d8
|
Added EIFS and DEFS to insurance terms
|
2013-09-04 13:49:13 -04:00 |
|
Mike Gerwitz
|
b0d1076a47
|
Added TRIA to insurance terms
|
2013-08-27 14:57:31 -04:00 |
|
Mike Gerwitz
|
66ae22f5f3
|
Added LRO to insurance terms
|
2013-08-26 13:46:37 -04:00 |
|
Mike Gerwitz
|
574bfe3785
|
Added NOC acronym to insurance dfns
|
2013-08-26 11:58:48 -04:00 |
|
Mike Gerwitz
|
be01faa756
|
Specification terminology clarification
|
2013-08-22 13:48:59 -04:00 |
|
Mike Gerwitz
|
d478cfbff7
|
Added definition details to lvspec.tex
|
2013-08-22 11:13:12 -04:00 |
|
Mike Gerwitz
|
9e8be87dcd
|
Added insurance terminology
|
2013-08-21 13:45:41 -04:00 |
|
Mike Gerwitz
|
8ae5475f2d
|
Added bug and regression terms
|
2013-08-20 14:54:18 -04:00 |
|
Mike Gerwitz
|
6e80dace89
|
Added monoline and package definitions
|
2013-08-20 14:54:16 -04:00 |
|
Mike Gerwitz
|
4dc612b545
|
Added abstract with copyright notice
|
2013-08-20 14:54:12 -04:00 |
|
Mike Gerwitz
|
14c6e8e6d3
|
Added square and left arrow symbols to spec definitions
|
2013-08-20 14:54:10 -04:00 |
|
Mike Gerwitz
|
14b760a1d6
|
Added authorization parties for all existing spec content
|
2013-08-20 14:54:10 -04:00 |
|
Mike Gerwitz
|
281055327f
|
Added support for \dept and authorized parties section
|
2013-08-20 14:54:10 -04:00 |
|
Mike Gerwitz
|
4f9679c6e3
|
Added \top and \bot to definitions
|
2013-08-20 14:54:08 -04:00 |
|
Mike Gerwitz
|
b1b8e91d11
|
Clarified shall and shall not definitions to state that the results are undefined if the requirement is not obeyed
|
2013-08-20 14:54:08 -04:00 |
|
Mike Gerwitz
|
1db8d756bb
|
dw* types that use ISO class codes in specs now use \classcode macro
|
2013-08-20 14:54:07 -04:00 |
|
Mike Gerwitz
|
002d1d5daf
|
Added ISO class codes to insurance definitions
|
2013-08-20 14:54:07 -04:00 |
|
Mike Gerwitz
|
6d3ee9dd9f
|
Added index entries for the majority of the text thusfar
|
2013-08-20 14:54:07 -04:00 |
|
Mike Gerwitz
|
9b4cae6930
|
Resolved overflow with associative array definition
|
2013-08-20 14:54:06 -04:00 |
|
Mike Gerwitz
|
82363d59be
|
Added symbols to term list for section and paragraph references
|
2013-08-20 14:54:06 -04:00 |
|
Mike Gerwitz
|
52804e5c6e
|
Added "section" term
|
2013-08-20 14:54:05 -04:00 |
|
Mike Gerwitz
|
5fb3554f26
|
Sorted spec.tex terms
|
2013-08-20 14:54:05 -04:00 |
|
Mike Gerwitz
|
9d7f89fdd8
|
Added Exempt definition to specs
|
2013-08-20 14:54:04 -04:00 |
|
Mike Gerwitz
|
b925d2e7e0
|
Added "associative array" definition
|
2013-08-20 14:54:04 -04:00 |
|
Mike Gerwitz
|
04e28f3a4a
|
Spec "Software" => "implementation"
|
2013-08-20 14:54:04 -04:00 |
|
Mike Gerwitz
|
86e9bcdc4c
|
Refactored definition lists into their own files; moved output to dwspec package
|
2013-08-20 14:54:04 -04:00 |