Cleanroom Software Engineering
Information on this methodology aimed at zero software defects. Includes education, literature, experts and tools. By Data and Analysis Center for Software (DACS).
Cleanroom Software Development Methodology
Introduction, overview, and examples; by John W. Shipman.
Another B Tools
Present a formal method for incremental development. Includes documentation, tools, examples, and a forum.
Alexandria
Composition-based product line methodology supports the flexible development based on product lines.
[ 1 ] [ 2 ]
|
