Map
Index
Random
Help
th

QuoteRef: silvBA_1981

topics > all references > ThesaHelp: references sa-sz



ThesaHelp:
references sa-sz
Topic:
design documentation
Group:
requirement specification
Topic:
security by secure domains

Reference

Silverberg, B.A. , "An overview of the SRI hierarchical development methodology", in Hunke H. (ed.), Software Engineering environments , North-Holland, pp. 235-252, 1981. Google

Quotations
240 ;;Quote: when designing a system should record every decision, minimize dependencies between decisions, and record shared decisions
245 ;;Quote: used HDM to check system specifications, multilevel security, and implementation correctness
246 ;;Quote: multilevel security verifier for verifying that information flows do not violate the security model


Related Topics up

ThesaHelp: references sa-sz (237 items)
Topic: design documentation (43 items)
Group: requirement specification   (11 topics, 306 quotes)
Topic: security by secure domains (42 items)

Collected barberCB
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.