Database Theory for Supporting Specification-Based Database Systems Development.

David W. Stemple, Tim Sheard

Browse the full ICSE paper archive.