Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures.

Dines Bjrner

Browse the full APSEC paper archive.