1
0
Fork 0
Commit Graph

24 Commits (9145cde8608ccb0c791c23dde208f017dabcc7fc)

Author SHA1 Message Date
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