Software Development with Executable Functional Specifications.

Joseph E. Urban

Browse the full ICSE paper archive.