Quote: difficult to disentangle a concurrent program's behavior from the desired behavior for all implementations; requirement writers need the original designers

Quotation Skeleton

[In writing a formal specification,] Understanding systems with a high degree of … disentangle the behavior implied by a particular implementation … must have ready access to the designers of …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: specification and design of distributed systems (14 items)