Text this: An approach to support incremental software construction and verification in component-based system development