| 
|
Quote: writing a good formal specification is difficult and time consuming; the hardest parts are understanding the object to be specified and developing the mathematical abstractions
topics >
all references >
references a-b >
Group:
requirement specification
Topic:
specification and design of distributed systems
Quotation Skeleton
Our experience with the Thread specification indicates that … about the ease with which they can be … writing formal specifications. Writing good specifications is difficult … object to be specified and then to choosing … [Writing the specification itself takes much less time.] Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: systems programmers find formal specifications of concurrent programs helpful
Group: requirement specification (11 topics, 306 quotes)
Topic: specification and design of distributed systems (14 items)