"Automating Requirements Refinement with Cross-Domain Requirements ..."

Jacob L. Cybulski, Karl Reed (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics