Elaborating Security Requirements by Construction of Intentional Anti-Models (2004)

by A van Lamsweerde
Venue:In Proceedings of the 26th International Conference on Software Engineering