Specware is a next-generation environment supporting the design, development and automated synthesis of scalable, correct-by-construction software. It represents the confluence of capabilities and lessons learned from our earlier prototype systems (KIDS, REACTO, DTRE), grounded on a strong mathematical foundation (SLANG, based on category theory). The current version of Specware is a robust implementation of this foundation.