| 
|
Quote: use a formal methods team with a traditional design team; catches specification errors early
topics >
all references >
references a-b >
Topic:
formal methods and languages
Quotation Skeleton
V Thou shalt not abandon thy traditional development … to replace them entirely with formal methods. … An alternative is to have a design team, … the design process. This effectively catches many errors … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)