Sciweavers

FORTE
1996
14 years 27 days ago
Formal Description Techniques - How Formal and Descriptive are they?
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
Manfred Broy