| 
|
QuoteRef: silvBA_1981
topics >
all references >
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
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
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)