| 
|
Quote: need tools for formal specifications; maintain consistency, browse, derive interactions and consequences, teach methodology
topics >
all references >
references g-h >
Group:
requirement specification
Topic:
programming environment
Quotation Skeleton
A serious bar to practical use of formal … substantial body of formal text. Tools can assist … and consequences, and in teaching a new methodology. … Google-1 Google-2
Copyright clearance needed for quotation.
Group: requirement specification (11 topics, 306 quotes)
Topic: programming environment (46 items)