Another B Tools
Present a formal method for incremental development. Includes documentation, tools, examples, and a forum.
Cleanroom software development methodology
Introduction, overview, and examples by John W. Shipman.
DSM Forum: Domain-Specific Modeling
Forum exists to spread the knowledge and know-how of Domain-Specific Modeling. Examples applying in industrial applications, events, publications, links.
Introduction to Thoughtful Programming and Forth Philosophy
By Michael Misamore; essay with text and references, on a flexible, proven, back-to-basics, minimalist philosophy that operates consistently from low to high abstraction levels; wi…
Lean Programming
Assembly-line production techniques applied to software programming, with recommendations. By Software Development Online.
Methodology.org
Provides general information and list of paper, books, forum, and links.
Select Business Solutions
Provide modeling tools, component reuse, and service oriented architecture tools.