Carl,
When you speak of formal methods, which of the following do you
refer to?
1. Formal specification languages, such as the Z notation and
VDM-SL (Vienna Definition Method - Specification Language)
2. Formal development processes, such as CMM (Capability Maturity
Model)and PSP (Personal Software Process)
3. Formalized techniques, such as Fagan's Inspection for detect
detection.
----------------------------------------------------------------------
PPIG Discuss List ([EMAIL PROTECTED])
Discuss admin: http://limitlessmail.net/mailman/listinfo/discuss
Announce admin: http://limitlessmail.net/mailman/listinfo/announce
PPIG Discuss archive: http://www.mail-archive.com/discuss%40ppig.org/
